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

作     者：蒋建春 黄伟 朱伟东 JIANG Jian-chun;HUANG Wei;ZHU Wei-dong

作者机构：重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心重庆400065 

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

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2013年第30卷第9期

页      码：2722-2725页

摘      要：通过设计规则,搭建OSEK操作系统逻辑仿真系统平台,克服了静态代码检测的不完备性,实现动态检测逻辑错误。通过测试,证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。

主 题 词：OSEK 汽车电子 操作系统 逻辑 仿真 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2013.09.041

馆 藏 号：203648953...