用混合存储器表示分析混合关键系统的嵌入式系统代码

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}
引用次数: 2

摘要

本文提出了一种适用于分析用C等高级语言编写的嵌入式系统软件的低级内存和硬件模型。该方法的主要特点是将从C代码本身可以发现的信息与可执行二进制程序的信息相结合。此外,它还集成了由硬件依赖性引起的影响。我们通过展示其对与软件划分相关的属性验证的适用性来描述该模型的好处,这对于混合临界性系统至关重要。此外,我们还证明了我们的模型可以很容易地集成到高级语言的抽象解释框架中,从而提高分析精度。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信