Martial Chabot, L. Pierre, Alexandre Nabais-Moreno
{"title":"面向多学科系统设计的需求驱动测试方法","authors":"Martial Chabot, L. Pierre, Alexandre Nabais-Moreno","doi":"10.1145/2976767.2976795","DOIUrl":null,"url":null,"abstract":"In cyber-physical systems, the operations of various physical entities are controlled by computing cores. Therefore the design of these systems involves multi-disciplinary teams, for the development of the electronic devices and embedded firmware, but also for the design of the physical components (with mechanical, electrical, thermal, electromagnetic features). This intimate coupling of disparate elements makes correctness analysis very complex. Composite requirements have to be verified. In many application domains some of these requirements come from standardization documents, e.g., for systems that have to conform to IEC standards. One of the main challenges is to make the variety of experts coordinate towards the satisfaction of these requirements, in spite of the fact that they are accustomed to focusing on their domain-specific issues, with their specialized tools. The aim of the method proposed here is to provide a unified testing framework to enable the validation of cross-disciplinary requirements. Since we target a general-purpose solution, usable by all disciplines, the method is specified using an abstract modeling language, namely SysML.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A requirement driven testing method for multi-disciplinary system design\",\"authors\":\"Martial Chabot, L. Pierre, Alexandre Nabais-Moreno\",\"doi\":\"10.1145/2976767.2976795\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In cyber-physical systems, the operations of various physical entities are controlled by computing cores. Therefore the design of these systems involves multi-disciplinary teams, for the development of the electronic devices and embedded firmware, but also for the design of the physical components (with mechanical, electrical, thermal, electromagnetic features). This intimate coupling of disparate elements makes correctness analysis very complex. Composite requirements have to be verified. In many application domains some of these requirements come from standardization documents, e.g., for systems that have to conform to IEC standards. One of the main challenges is to make the variety of experts coordinate towards the satisfaction of these requirements, in spite of the fact that they are accustomed to focusing on their domain-specific issues, with their specialized tools. The aim of the method proposed here is to provide a unified testing framework to enable the validation of cross-disciplinary requirements. Since we target a general-purpose solution, usable by all disciplines, the method is specified using an abstract modeling language, namely SysML.\",\"PeriodicalId\":179690,\"journal\":{\"name\":\"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2976767.2976795\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2976767.2976795","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A requirement driven testing method for multi-disciplinary system design
In cyber-physical systems, the operations of various physical entities are controlled by computing cores. Therefore the design of these systems involves multi-disciplinary teams, for the development of the electronic devices and embedded firmware, but also for the design of the physical components (with mechanical, electrical, thermal, electromagnetic features). This intimate coupling of disparate elements makes correctness analysis very complex. Composite requirements have to be verified. In many application domains some of these requirements come from standardization documents, e.g., for systems that have to conform to IEC standards. One of the main challenges is to make the variety of experts coordinate towards the satisfaction of these requirements, in spite of the fact that they are accustomed to focusing on their domain-specific issues, with their specialized tools. The aim of the method proposed here is to provide a unified testing framework to enable the validation of cross-disciplinary requirements. Since we target a general-purpose solution, usable by all disciplines, the method is specified using an abstract modeling language, namely SysML.