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

Checking method of system service call conformance in OSEK/VDX OS

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

OSEK/VDX（ open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu- tive） OS standard specifies an embedded real-time operating system（RTOS） and contexts of system service calls in this RTOS are strictly limited. But the violation of System Service call conformance can not be detected by the compiler. The checking method of system service call conformance was proposed. This method described the functions and their call rela- tionships in users source codes by the forest graph and describes the system service call restrictions with a regulation matrix. Then all the function call paths in the forest graph were traversed and each function call path was judged whether the correct referring to the regulation matrix. Experiments and analysis demonstrate that this method can effectively detect the system service call conformance violations hidden in user＇s source codes.