发布求助
文献互助 智能选刊 最新文献

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems最新文献

筛选
英文 中文
Design-Space Exploration through Constraint-Based Model-Transformation 基于约束的模型转换的设计空间探索
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.25
B. Schätz, F. Hölzl, Torbjörn Lundkvist
{"title":"Design-Space Exploration through Constraint-Based Model-Transformation","authors":"B. Schätz, F. Hölzl, Torbjörn Lundkvist","doi":"10.1109/ECBS.2010.25","DOIUrl":"https://doi.org/10.1109/ECBS.2010.25","url":null,"abstract":"Many design steps during system development - like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an exploration of the solution space. Each development step is characterized by design constraints, limiting the possible solution space. By using model transformations based on a declarative, relational approach, these constraints can be formalized as transformation rules guiding a mechanized exploration of possible design alternatives. The approach is demonstrated for the (semi-)automatic, incremental deployment of logical architectures to hardware platforms.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127274944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
Fault Management Driven Design with Safety and Security Requirements 故障管理驱动设计与安全和保障需求
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.19
M. Svéda
{"title":"Fault Management Driven Design with Safety and Security Requirements","authors":"M. Svéda","doi":"10.1109/ECBS.2010.19","DOIUrl":"https://doi.org/10.1109/ECBS.2010.19","url":null,"abstract":"This paper exemplifies principles of embedded system design that props safety and security using operational errors management in frame of a dedicated Computer-Based System architecture. After reviewing basic principles of Cyber-Physical Systems as a novel slant (or marker?) to modeling and design in this domain, attention is focused on a real-world solution of a safety and security critical embedded system application offering genuine demonstration of that approach. The contribution stresses those features that distinguish the real project from a demonstration case study.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114937649","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios 面向服务的MBT场景开发工具链的建立
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.47
Marc-Florian Wendland, J. Großmann, A. Hoffmann
{"title":"Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios","authors":"Marc-Florian Wendland, J. Großmann, A. Hoffmann","doi":"10.1109/ECBS.2010.47","DOIUrl":"https://doi.org/10.1109/ECBS.2010.47","url":null,"abstract":"Since software systems become more and more complex, the efforts for developing, documenting and executing meaningful test cases increases. Testing is a vital, but time- and resource-consuming activity. To avoid running out of time or budget, new test methodologies had to be established in order to increase reliable, yet maintainable test scenarios. In the last years the Model-Driven idea matures to the most promising approaches to solve current problems in the software development domain. Model-Based Testing adopts these concepts to exploit their benefits for testing area. In this paper an integrated tool chain (called FOKUS!MBT) is discussed, to enable a Model-based development of testing scenarios. It is based on a canonical metamodel for testing concerns and a service-oriented model storage and exchange infrastructure, that allows a flexible, yet extensible adaptation to different test process requirements. Its premise is to establish a tooling architecture for the specification and development of a domain-independent Model-based testing scenario.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122942680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Model Based Statistical Testing and Durations 基于模型的统计检验和持续时间
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.49
Frank Böhr
{"title":"Model Based Statistical Testing and Durations","authors":"Frank Böhr","doi":"10.1109/ECBS.2010.49","DOIUrl":"https://doi.org/10.1109/ECBS.2010.49","url":null,"abstract":"This paper focuses on the introduction of time durations to Model Based Statistical Testing. The concepts presented allow specifying durations of inputs and outputs within the test model. Three basic time restrictions are introduced: A stimulus must be shorter than a certain time, a stimulus must be longer than a certain time and a stimulus must have a duration within a given interval. The approach allows the generation of oracle information considering the introduced time information. This is necessary to test embedded real-time systems. However, as far as known to the author nothing has been published concerning the duration of stimuli and responses with respect to Model Based Statistical Testing.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"84 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114050553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems 面向数字电视系统验证的电视屏幕内容提取与识别算法
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.31
I. Kastelan, N. Teslic, V. Pekovic, T. Tekcan
{"title":"TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems","authors":"I. Kastelan, N. Teslic, V. Pekovic, T. Tekcan","doi":"10.1109/ECBS.2010.31","DOIUrl":"https://doi.org/10.1109/ECBS.2010.31","url":null,"abstract":"This paper presents an algorithm for detecting the TV screen content and comparing it with the referent contents. The TV screen content is extracted in two steps. The first step is the TV screen edge detection, performed with Scharr edge detection, detection of long lines and TV screen rectangle detection. The second step is the extraction of the TV screen content between the detected edges and scaling it to the dimensions of the referent image. The paper presents two methods for comparison of the detected content with the referent images: least-absolute-error method and normalized cross-correlation method. The methods were tested under constant and variable illumination conditions. The least-absolute-error method was successful under both conditions, while the normalized cross-correlation showed vulnerability for small differences under variable illumination. The algorithm can be used in test systems for digital television systems. After performance improvements it can also be used in consumer electronic industry.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124532862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures 元表结构中模糊概念集成的数据仓库模型
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.18
Daniel Fasel, K. Shahzad
{"title":"A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures","authors":"Daniel Fasel, K. Shahzad","doi":"10.1109/ECBS.2010.18","DOIUrl":"https://doi.org/10.1109/ECBS.2010.18","url":null,"abstract":"In classical data warehouses (DWH), classification of values takes place in a sharp manner, because of this true values cannot be measured and smooth transition between classes does not occur. In this paper, a fuzzy data ware- house (FDWH) modeling approach, which allows integration of fuzzy concepts without affecting the core of a DWH is presented. This is accomplished through the addition of a meta-table structure, which enables integration of fuzzy concepts on dimensions and facts, while preserving the time-invariability of the DWH and allowing analysis of data both sharp and fuzzy. A comparison to existing approaches for integrating fuzzy concepts in DWH is presented. Guide- lines for modeling the fuzzy meta-tables and a meta-model for the FDWH are also outlined in this paper. The use of the proposed approach is demonstrated by a retail company example. Finally, a comparison of fuzzy and classical data warehousing approaches is presented.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"49 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115970340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Using UML Models and Formal Verification in Model-Based Testing 在基于模型的测试中使用UML模型和形式化验证
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.13
Q. A. Malik, D. Truscan, J. Lilius
{"title":"Using UML Models and Formal Verification in Model-Based Testing","authors":"Q. A. Malik, D. Truscan, J. Lilius","doi":"10.1109/ECBS.2010.13","DOIUrl":"https://doi.org/10.1109/ECBS.2010.13","url":null,"abstract":"In this paper we present a model-based testing approach where we integrate UML, UML-B and the Qtronic test generator tool, with the purpose of increasing the quality of models used for test generation via formal verification. The architectural and behavioral models of the system under test (SUT) are specified in UML and UML-B, respectively. UMLB provides UML-like visualization with precise mathematical semantics. UML-B models are developed in a stepwise manner which are then automatically translated into Event-B specifications that can be proved using theorem provers. Once the formal models are proved, they are transformed into QML which is a modeling language used by the test generation tool.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115048507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces 基于模型的图形用户界面测试改进企业系统测试
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.59
S. Wieczorek, Alin Stefanescu
{"title":"Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces","authors":"S. Wieczorek, Alin Stefanescu","doi":"10.1109/ECBS.2010.59","DOIUrl":"https://doi.org/10.1109/ECBS.2010.59","url":null,"abstract":"Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematically test ERP systems due to the involved complexity, an efficient testing approach should be automatic. Since the underlying business processes of enterprise systems are realized at the level of the user interface (UI), system level testing is the dominant testing approach. The recent architectural shift to service-based enterprise systems demands to apply blackbox testing techniques. Model-based testing is a method that enables a high degree of automation for black-box testing, but the current research and practice usually does not address the UI. In this paper we describe the state of the art and state of the practice in order to motivate further research activities in this area.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132297333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Evolving Critical Systems 演化中的关键系统
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.62
M. Hinchey, Lorcan Coyle
{"title":"Evolving Critical Systems","authors":"M. Hinchey, Lorcan Coyle","doi":"10.1109/ECBS.2010.62","DOIUrl":"https://doi.org/10.1109/ECBS.2010.62","url":null,"abstract":"Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software that (a) is highly reliable and (b) retains this reliability as it evolves, either over time or at run-time. We propose Evolving Critical Systems as an area for research to tackle the challenge and outline a number of scenarios to highlight some of the important research questions that should be asked of the community. Given that software evolution can be seen as a compromise between cost and risk, the most pressing question to ask is which processes, techniques and tools are most cost-effective for evolving critical systems?","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121335442","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Fault Coverage Measurement of a Timed Test Case Generation Approach 一种定时测试用例生成方法的故障覆盖度量
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.22
Mohammad Saeed Abou Trab, S. Counsell
{"title":"Fault Coverage Measurement of a Timed Test Case Generation Approach","authors":"Mohammad Saeed Abou Trab, S. Counsell","doi":"10.1109/ECBS.2010.22","DOIUrl":"https://doi.org/10.1109/ECBS.2010.22","url":null,"abstract":"Ensuring that a Real-Time Embedded System(RTES) is absent of major faults that may affect the way it performs is a non-trivial task. RTES behaviour is based on the interactions with its surrounding environment and on the timing characteristics of that same environment. As a result, time poses a new dimension to the complexity of the testing process. In previous research, we introduced a ‘priority-based’ approach which tested the logical and timing behaviour of an RTES modeled formally as Uppaal automata. The ‘priority-based’ approach was based on producing sets of timed test traces by achieving timing constraints coverage according to three sets of priorities, namely boundary, out-boundary and in-boundary. In this paper, we extend that work by validating the ‘priority-based’ approach according to a well-known timed fault model. The validation process shows promising results, notably, that the ‘priority-based’ approach is capable of detecting all the fault types included in the proposed fault model.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132909086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信