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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
Network-on-Chip (NoC) is the interconnection platform that answers the requirements of the modern on-Chip design. Small optimizations in NoC router architecture can show a significant improvement in the overall performance of NoC based systems. Power consumption, area overhead and the entire NoC performance is influenced by the router buffers. Resource sharing for on-chip network is critical to reduce the chip area and power consumption. Virtual channel buffer sharing by other router ports has been proposed to enhance the performance of on-chip communication. We approach the router architecture optimization by utilizing the idle buffers instead of increasing the number and size of buffers for desired throughput.
{"title":"Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers","authors":"Khalid Latif, T. Seceleanu, H. Tenhunen","doi":"10.1109/ECBS.2010.21","DOIUrl":"https://doi.org/10.1109/ECBS.2010.21","url":null,"abstract":"Network-on-Chip (NoC) is the interconnection platform that answers the requirements of the modern on-Chip design. Small optimizations in NoC router architecture can show a significant improvement in the overall performance of NoC based systems. Power consumption, area overhead and the entire NoC performance is influenced by the router buffers. Resource sharing for on-chip network is critical to reduce the chip area and power consumption. Virtual channel buffer sharing by other router ports has been proposed to enhance the performance of on-chip communication. We approach the router architecture optimization by utilizing the idle buffers instead of increasing the number and size of buffers for desired throughput.","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":"134532595","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}
The current SystemC modelling language lacks a standard framework that supports the modelling of wireless communication systems. This research investigates how wireless features can be incorporated into existing SystemC design methodology. The components to be investigated in order to achieve this target are divided into three parts: developing a system-level model of a digital wireless communication channel, creating a small library of dedicated elements at system level, and concluding with a case study on flocking behaviour system to validate the wireless extension methodology. In previous works, all these parts were successfully modelled and implemented. In this paper, the integration of communication modelling is introduced into design modelling during the early stages of system development. We use a flocking behaviour system to show how the stability of the system and converging point are measured and optimised in terms of system construction, using some important concepts of graph theory.
{"title":"Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC","authors":"I. Aref, N. Ahmed, F. Salazar, K. Elgaid","doi":"10.1109/ECBS.2010.36","DOIUrl":"https://doi.org/10.1109/ECBS.2010.36","url":null,"abstract":"The current SystemC modelling language lacks a standard framework that supports the modelling of wireless communication systems. This research investigates how wireless features can be incorporated into existing SystemC design methodology. The components to be investigated in order to achieve this target are divided into three parts: developing a system-level model of a digital wireless communication channel, creating a small library of dedicated elements at system level, and concluding with a case study on flocking behaviour system to validate the wireless extension methodology. In previous works, all these parts were successfully modelled and implemented. In this paper, the integration of communication modelling is introduced into design modelling during the early stages of system development. We use a flocking behaviour system to show how the stability of the system and converging point are measured and optimised in terms of system construction, using some important concepts of graph theory.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"55 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":"134175829","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：