摘要
通过设计规则,搭建OSEK操作系统逻辑仿真系统平台,克服了静态代码检测的不完备性,实现动态检测逻辑错误。通过测试,证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。
With designing rules, it conquered the integrity weakness of common static analysis methods, since researching the process of application code detecting which was according to the OSEK/VDX OS specification. This means realizes running time logic checking. Finally, it proves that this solution gets the advantages that traditional static analysis cant take. This re- sult provides the foundation of the future system monitoring with calibration technology.
出处
《计算机应用研究》
CSCD
北大核心
2013年第9期2722-2725,共4页
Application Research of Computers
基金
重庆高校优秀成果转换项目(Kjzh11207)
关键词
OSEK
汽车电子
操作系统
逻辑
仿真
OSEK
automotive electronic
operating system
logic
simulation
