{"title":"A New Qualitative language for Qualitative Simulation","authors":"Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger","doi":"10.1145/3284557.3284697","DOIUrl":null,"url":null,"abstract":"Cyber physical systems are specified in a hybrid form, with discrete and continuous parts. Simulating such systems requires precise data and synchronization of continuous changes and discrete transitions. However, in the first design steps, missing information forbids numerical simulation. We present here a new qualitative language for qualitative simulation of cyber physical systems, which consists in computing the relationships between the system variables. This language is implemented in the Diversity symbolic execution engine to build the traces of the system. We apply this approach to the analysis of SysML models, using an M2M transformation from SysML to a pivot language, an M2T transformation from this language to Diversity and an analysis of the traces obtained by Diversity to build the qualitative behaviors of the system.","PeriodicalId":272487,"journal":{"name":"Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3284557.3284697","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Cyber physical systems are specified in a hybrid form, with discrete and continuous parts. Simulating such systems requires precise data and synchronization of continuous changes and discrete transitions. However, in the first design steps, missing information forbids numerical simulation. We present here a new qualitative language for qualitative simulation of cyber physical systems, which consists in computing the relationships between the system variables. This language is implemented in the Diversity symbolic execution engine to build the traces of the system. We apply this approach to the analysis of SysML models, using an M2M transformation from SysML to a pivot language, an M2T transformation from this language to Diversity and an analysis of the traces obtained by Diversity to build the qualitative behaviors of the system.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
