Eva Beckschulze, Jörg Brauer, André Stollenwerk, S. Kowalewski
{"title":"用混合存储器表示分析混合关键系统的嵌入式系统代码","authors":"Eva Beckschulze, Jörg Brauer, André Stollenwerk, S. Kowalewski","doi":"10.1109/ISORCW.2011.40","DOIUrl":null,"url":null,"abstract":"This paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code itself with information from the executable binary program. Further, it also integrates effects caused through hardware dependencies. We describe the benefits of this model by showing its applicability to thev erification of properties related to software partitioning, which is crucial for systems of mixed criticality. Furthermore, wede monstrate that our model can easily be integrated into abstract interpretation frameworks for high-level languages so as to increase analysis precision.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations\",\"authors\":\"Eva Beckschulze, Jörg Brauer, André Stollenwerk, S. Kowalewski\",\"doi\":\"10.1109/ISORCW.2011.40\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code itself with information from the executable binary program. Further, it also integrates effects caused through hardware dependencies. We describe the benefits of this model by showing its applicability to thev erification of properties related to software partitioning, which is crucial for systems of mixed criticality. Furthermore, wede monstrate that our model can easily be integrated into abstract interpretation frameworks for high-level languages so as to increase analysis precision.\",\"PeriodicalId\":126022,\"journal\":{\"name\":\"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-03-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORCW.2011.40\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORCW.2011.40","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
This paper presents a low-level memory and hardware model suitable for analyzing embedded systems software written in high-level languages such as C. The key feature of this approach is that it combines information that can be discovered from the C code itself with information from the executable binary program. Further, it also integrates effects caused through hardware dependencies. We describe the benefits of this model by showing its applicability to thev erification of properties related to software partitioning, which is crucial for systems of mixed criticality. Furthermore, wede monstrate that our model can easily be integrated into abstract interpretation frameworks for high-level languages so as to increase analysis precision.