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

来源 :重庆邮电大学学报(自然科学版) | 被引量 : 10次 | 上传用户:haq1227
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX O
其他文献
工程质量必须要领导重视.介绍了作为电站业主的紫坪铺开发公司建立和完善质量管理体系、规范管理制度、巡视检查质量保证措施的落实,严格按质量标准进行检验评定,对施工质量
期刊
目的:探讨何首乌饮对衰老大鼠精子质量的影响.方法:荧光显微镜观察附睾尾精子质膜和DNA完整性、线粒体功能并计数200个精子中正常精子的百分数.生物化学发光法检测各组大鼠血清
设计合理的路由判据对无线Mesh网络(WMN)的性能至关重要。提出了利用一种新的称做干扰期望数据速率(IEDR)作为路由判据,它考虑了路径内和路径间干扰、信道多样性。基于NS—2对传统的DSR进行扩展,与最小跳数、期望传输次数(ETX)、期望数据速率(EDR)等路由判据进行仿真比较。结果表明,新型路由判据能使系统性能得到明显提高,更加适用于WMN。