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

• 作者: 朱伟东 蒋建春 黄伟
• 来源期刊: 计算机应用研究
• 关键词: OSEK 汽车电子 操作系统 逻辑 仿真
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 系统应用开发
• 页码范围: 2722-2725
• 页数: 4页
• 分类号: TP311.56
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.09.041

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋建春	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	41	313	10.0	15.0
2	黄伟	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	7	18	2.0	4.0
3	朱伟东	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	2	4	2.0	2.0