{"title":"使用图变换的Simulink模型中的数据类型传播","authors":"P. Fehér, T. Mészáros, L. Lengyel, P. Mosterman","doi":"10.1109/ECBS-EERC.2013.24","DOIUrl":null,"url":null,"abstract":"Embedded systems are usually modeled to simulate their behavior. Nowadays, this modeling is often implemented in the Simulink environment, which offers strong support for modeling complex systems. Moreover, via modeling, various analyses can be applied to the systems at design time. An important analysis is of the data types assigned to signal variables. Such analysis enables identification of potential problems during model compilation and so prevent runtime surprises. To assist the system designer, Simulink supports which includes a step for automatic data type inferencing (e.g., based on designed signal value ranges and on the connection structure of design elements). In contrast to the Simulink implementation of the inferencing in a code base, which favors efficiency, the work presented here raises the level of abstraction by explicitly modeling the inferencing logic. This unlocks benefits such as the ability to (i) reason about the logic, (ii) implement different logic by advanced users, and (iii) experiment with different ordering of other logic in the model compilation.","PeriodicalId":314029,"journal":{"name":"2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2013-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Data Type Propagation in Simulink Models with Graph Transformation\",\"authors\":\"P. Fehér, T. Mészáros, L. Lengyel, P. Mosterman\",\"doi\":\"10.1109/ECBS-EERC.2013.24\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Embedded systems are usually modeled to simulate their behavior. Nowadays, this modeling is often implemented in the Simulink environment, which offers strong support for modeling complex systems. Moreover, via modeling, various analyses can be applied to the systems at design time. An important analysis is of the data types assigned to signal variables. Such analysis enables identification of potential problems during model compilation and so prevent runtime surprises. To assist the system designer, Simulink supports which includes a step for automatic data type inferencing (e.g., based on designed signal value ranges and on the connection structure of design elements). In contrast to the Simulink implementation of the inferencing in a code base, which favors efficiency, the work presented here raises the level of abstraction by explicitly modeling the inferencing logic. This unlocks benefits such as the ability to (i) reason about the logic, (ii) implement different logic by advanced users, and (iii) experiment with different ordering of other logic in the model compilation.\",\"PeriodicalId\":314029,\"journal\":{\"name\":\"2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS-EERC.2013.24\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS-EERC.2013.24","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Data Type Propagation in Simulink Models with Graph Transformation
Embedded systems are usually modeled to simulate their behavior. Nowadays, this modeling is often implemented in the Simulink environment, which offers strong support for modeling complex systems. Moreover, via modeling, various analyses can be applied to the systems at design time. An important analysis is of the data types assigned to signal variables. Such analysis enables identification of potential problems during model compilation and so prevent runtime surprises. To assist the system designer, Simulink supports which includes a step for automatic data type inferencing (e.g., based on designed signal value ranges and on the connection structure of design elements). In contrast to the Simulink implementation of the inferencing in a code base, which favors efficiency, the work presented here raises the level of abstraction by explicitly modeling the inferencing logic. This unlocks benefits such as the ability to (i) reason about the logic, (ii) implement different logic by advanced users, and (iii) experiment with different ordering of other logic in the model compilation.