符合OSEK/VDX规范的操作系统逻辑仿真研究  

Logic simulation of correspond with OSEK/VDX OS specification

作　　者：蒋建春[1] 黄伟[1] 朱伟东[1] 

机构地区：[1]重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心,重庆400065

出　　处：《计算机应用研究》2013年第9期2722-2725,共4页Application Research of Computers

基　　金：重庆高校优秀成果转换项目(Kjzh11207)

摘　　要：通过设计规则,搭建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.

关 键 词：OSEK 汽车电子 操作系统 逻辑 仿真 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]