| 符合OSEK/VDX规范的操作系统逻辑仿真研究 |
| |
| 引用本文： | 蒋建春,黄 伟,朱伟东. 符合OSEK/VDX规范的操作系统逻辑仿真研究[J]. 计算机应用研究, 2013, 30(9): 2722-2725 |
| |
| 作者姓名： | 蒋建春 黄 伟 朱伟东 |
| |
| 作者单位： | 重庆邮电大学 重庆高校汽车电子与嵌入式系统工程研究中心,重庆,400065 |
| |
| 基金项目： | 重庆高校优秀成果转换项目（Kjzh11207） |
| |
| 摘 要： | 通过设计规则, 搭建OSEK操作系统逻辑仿真系统平台, 克服了静态代码检测的不完备性, 实现动态检测逻辑错误。通过测试, 证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。
|
| 关 键 词： | OSEK 汽车电子 操作系统 逻辑 仿真 |
Logic simulation of correspond with OSEK/VDX OS specification |
| |
| JIANG Jian-chun,HUANG Wei,ZHU Wei-dong. Logic simulation of correspond with OSEK/VDX OS specification[J]. Application Research of Computers, 2013, 30(9): 2722-2725 |
| |
| Authors: | JIANG Jian-chun HUANG Wei ZHU Wei-dong |
| |
| Affiliation: | Engineering Research Center of Automotive Electron & Embedded System, Chongqing University of Posts & Telecommunications, Chongqing 400065, China |
| |
| Abstract: | 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 can't take. This result provides the foundation of the future system monitoring with calibration technology. |
| |
| Keywords: | OSEK automotive electronic operating system logic simulation |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
