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

摘要：

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

关键词：嵌入式实时操作系统、OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS规范、系统服务调用、一致性检测

所属期刊栏目：22

分类号：TP309(计算技术、计算机技术)

资助基金：国家核高基重大专项2009ZX01038-002-002;重庆市科技攻关重点项目CSTC 2009AB2244;重庆市科技攻关计划项目CSTC 2009AB6085

在线出版日期：2011-03-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：786-790