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

来源 :重庆邮电大学学报(自然科学版) | 被引量 : 10次 | 上传用户：haq1227

【摘要】

：

OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用

【作者】

：

李银国叶家盛蒋建春

【机构】

：

重庆邮电大学重庆高校汽车电子与嵌入式系统工程研究中心

【出处】

：

重庆邮电大学学报(自然科学版)

【发表日期】

：

2010年06期

【关键词】

：

嵌入式实时操作系统 OSEK/VDX(open systems and the CORRESPONDING interfaces for AUTOMOBILE

【基金项目】

：

国家核高基重大专项（2009ZX01038-002-002）,重庆市科技攻关重点项目（CSTC2009AB2244）,重庆市科技攻关计划项目（CSTC2009AB6085）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

2003年省水电学会地勘专委会委员会议在蓉召开

期刊

完善质量管理体系，确保工程质量优良

工程质量必须要领导重视.介绍了作为电站业主的紫坪铺开发公司建立和完善质量管理体系、规范管理制度、巡视检查质量保证措施的落实,严格按质量标准进行检验评定,对施工质量

期刊

施工质量管理体系完善制度检验评定紫坪铺水利枢纽

改进的基于椭圆曲线的智能卡认证方案

分析了Wang等人基于智能卡的身份认证方案,指出方案中存在的安全性问题,提出了改进方案。与Wang等人的方案相比,改进方案可以抵抗密码猜测攻击和Denning-Sacco攻击,并且改进方案应用了椭圆曲线密码机制,对于存储空间与处理能力受限的智能卡有极大的帮助,证实了该方案是一个高效、安全的身份认证方案。

期刊

椭圆曲线智能卡离散对数安全性elliptic curves cryptography （ECC） smart card digital logari

世界最大换流容量联网工程动工

2006年12月23日，东北一华北联网高岭直流背靠背工程在辽宁省葫芦岛市正式开工建设。该工程本期换流容量为150万kW，远期换流容量为300万kW，为世界目前换流容量最大的联网工程。高

期刊

联网工程换流站容量世界直流背靠背国家电网公司葫芦岛市自主设计

水电十局中标桑坪电站厂房枢纽土建工程

近日，西部阳光电力开发有限公司将其所开发的桑坪水电站中的厂房枢纽土建工程以标价2100万元交由水电十局施工。

期刊

土建工程电站厂房枢纽中标桑有限公司电力开发水电站

ERP英汉词典

期刊

何首乌饮对衰老大鼠精子质量的影响

目的：探讨何首乌饮对衰老大鼠精子质量的影响.方法：荧光显微镜观察附睾尾精子质膜和DNA完整性、线粒体功能并计数200个精子中正常精子的百分数.生物化学发光法检测各组大鼠血清

期刊

自然衰老大鼠精子质量睾酮何首乌饮natural aging rat sperm quality testosterone heshouwuyin

一种新型无线Mesh网络高吞吐量路由判据

设计合理的路由判据对无线Mesh网络(WMN)的性能至关重要。提出了利用一种新的称做干扰期望数据速率(IEDR)作为路由判据,它考虑了路径内和路径间干扰、信道多样性。基于NS—2对传统的DSR进行扩展,与最小跳数、期望传输次数(ETX)、期望数据速率(EDR)等路由判据进行仿真比较。结果表明,新型路由判据能使系统性能得到明显提高,更加适用于WMN。

期刊

路由判据无线MESH网络路径间干扰routing metric wireless mesh networks （WMN） inter-path i

马其顿计划通过国际招标修建400个小水电站

据此间媒体报道，马其顿政府决定通过具有明确条件的国际招标的方式修建400个小型水电站。

期刊

国际招标小水电站修建小型水电站

中国三峡总公司2004年招标共99项，计划金额达105亿元

期刊

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

与本文相关的学术论文