OSEK/VDX OS服务调用的规范一致性检测方法

• 作者: 叶家盛 李银国 蒋建春
• 来源期刊: 重庆邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 嵌入式实时操作系统 OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS规范 系统服务调用 一致性检测
• 年，卷（期）: 2010,（6）
• 页码范围: 786-790
• 分类号: TP309
• 字数: 3982字
• 语种: 中文
• DOI: 10.3979/j.issn.1673-825X.2010.06.018

摘要

OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制.违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现.提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性.实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李银国	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	46	527	13.0	21.0
2	蒋建春	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	41	313	10.0	15.0
3	叶家盛	重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心	1	7	1.0	1.0