| OSEK/VDX OS服务调用的规范一致性检测方法 |
| |
| 引用本文： | 李银国,叶家盛,蒋建春.OSEK/VDX OS服务调用的规范一致性检测方法[J].重庆邮电学院学报(自然科学版),2010(6). |
| |
| 作者姓名： | 李银国 叶家盛 蒋建春 |
| |
| 作者单位： | 重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心; |
| |
| 基金项目： | 国家核高基重大专项(2009ZX01038-002-002); 重庆市科技攻关重点项目(CSTC 2009AB2244),重庆市科技攻关计划项目(CSTC 2009AB6085)~~ |
| |
| 摘 要： | 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 executive)OS规范 系统服务调用 一致性检测 |
Checking method of system service call conformance in OSEK/VDX OS |
| |
| LI Yin-guo,YE Jia-sheng,JIANG Jian-chun.Checking method of system service call conformance in OSEK/VDX OS[J].Journal of Chongqing University of Posts and Telecommunications(Natural Sciences Edition),2010(6). |
| |
| Authors: | LI Yin-guo YE Jia-sheng JIANG Jian-chun |
| |
| Institution: | LI Yin-guo,YE Jia-sheng,JIANG Jian-chun(Institute of Automotive Electronic , Embedded System,Chongqing University of Posts , Telecommunications,Chongqing 400065,P.R.China) |
| |
| Abstract: | OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) 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 relationships in users source codes by the forest graph... |
| |
| Keywords: | embedded real-time OS open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive(OSEK/VDX) OS system services conformance checking |
| 本文献已被 CNKI 等数据库收录！ |
