| OSEK/VDX OS服务调用的规范一致性检测方法 |
| |
| 引用本文： | 李银国,叶家盛,蒋建春. OSEK/VDX OS服务调用的规范一致性检测方法[J]. 重庆邮电大学学报(自然科学版), 2010, 22(6): 786-790. DOI: 10.3979/j.issn.1673-825X.2010.06.018 |
| |
| 作者姓名： | 李银国 叶家盛 蒋建春 |
| |
| 作者单位： | 重庆邮电大学,重庆高校汽车电子与嵌入式系统工程研究中心,重庆,400065 |
| |
| 基金项目： | 国家核高基重大专项（2009ZX01038-002-002）；重庆市科技攻关重点项目（CSTC 2009AB2244）；重庆市科技攻关计划项目（CSTC 2009AB6085） |
| |
| 摘 要： | 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规范；系统服务调用；一致性检测 |
| 收稿时间： | 2010-01-21 |
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, 2010, 22(6): 786-790. DOI: 10.3979/j.issn.1673-825X.2010.06.018 |
| |
| Authors: | LI Yin-guo YE Jia-sheng JIANG Jian-chun |
| |
| Affiliation: | Institute of Automotive Electronic and Embedded System, Chongqing University of Posts and Telecommunications, Chongqing 400065,P.R.China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《重庆邮电大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《重庆邮电大学学报(自然科学版)》下载全文 |
