期刊文献+

用于AUTOSAR模型验证的功能仿真器

Functional Simulator for AUTOSAR Models Verification
下载PDF
导出
摘要 AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前,需对该模型进行仿真验证。基于此,设计一个用于软件设计模型验证的仿真工具,采用虚拟功能总线追踪机制来收集仿真过程中的各种信息。仿真器在模型源码基础上进行仿真验证,结果表明,与传统的仿真工具相比,该仿真器能够最大化保证与模型在目标机上运行时的一致性,提高系统开发效率。 AUTomotive Open System ARchitecture(AUTOSAR) is an open and standardized automotive software architecture which is widely adopted by the automotive industry. This paper presents a simulation tool for AUTOSAR design models verification before deployment on the target hardware platform. The tool aims to ensure maximum faithfulness of the software by simulating software on the target electronic control unit at the source-code level. The results show that the simulator can give the developer more confidence on the correctness of the overall software stack than traditional simulation techniques, and improves the efficiency of system development.
出处 《计算机工程》 CAS CSCD 2013年第7期90-93,共4页 Computer Engineering
基金 国家自然科学基金资助面上项目(61070002) 国家"863"计划基金资助项目(2011AA010104)
关键词 嵌入式系统 实时操作系统 基于模型设计 汽车电子 功能仿真器 embedded system real-time operating system model-based design automotive electronic functional simulator
  • 相关文献

参考文献9

  • 1AUTOSAR[EB/OL]. (2011-06-12). http://www.autosar.org/.
  • 2Li Hong, Lu Pan, Yao Min, et al. SmartSAR: A Component- based Hierarchy Software Platform for Automotive Elec- tronics[C]//Proc. of the 6th International Conference on Embedded Software and Systems. Hangzhou, China: [s. n.], 2009: 164-170.
  • 3AUTOSAR Tools[EB/OL]. (2011-10-20). https://www.vector. com/vi_autosar_tools_en.html.
  • 4MIT Company. SystemDesk Simulation Module[EB/OL]. (2011-12-20). http://www.dspace.com/.
  • 5Geensoft Company. AUTOSAR Builder[EB/OL]. (2011-08- 20). http://www.geensoft.com/.
  • 6Krause M, Bringmann O, Hergenhan A. Timing Simulation of Interconnected AUTOSAR Software-components[C]//Proc. of Design, Automation and Test in Europe. Nice, France: [s. n.], 2007: 474-479.
  • 7张激,包晟临.OSEK操作系统定时机制优化设计[J].计算机工程,2010,36(17):252-254. 被引量:2
  • 8王林,佘庆,张激,母瑛,干鹤鸣.AUTOSAR OS调度表同步的优化设计[J].计算机工程,2011,37(9):35-37. 被引量:1
  • 9佘庆,张晓先,戴柔逸.AUTOSAR通信模块的设计与实现[J].计算机工程,2011,37(9):51-53. 被引量:9

二级参考文献16

  • 1OSEK Group.OSEK/VDX Operating System Specification[EB/OL].(2005-02-17).http://www.osek-vdx.org.
  • 2Carlini A,Buttazzo G.An Efficient Time Representation for Real-time Embedded Systems[C] //Proc.of ACM Symposium on Applied Computing.Melbourne,Florida,USA:[s.n.] ,2003.
  • 3Becheneec J,Briday M,Faucou S.Trampoline an OpenSource Implementation of the OSEK/VDX RTOS Specification[C] //Proc.of IEEE Conference on Emerging Technologies and Factory Automation.[S.1.] :IEEE Press,2006.
  • 4章亮飞,李银国.嵌入式实时操作系统AutoOSEK的设计[J].计算机工程,2007,33(16):53-55. 被引量:20
  • 5OSEK Group.OSEK/VDX Operating System Specification[EB/OL].(2005-02-17).http://www.osek-vdx.org.
  • 6AOTUSAR Group.AUTOSAR Operating System Specification[EB/OL].(2008-08-15).http://www.autosar.org.
  • 7Labrosse J J.嵌入式操作系统UC/OS Ⅱ[M].2版.邵贝贝,译.北京:北京航空航天大学出版社,2003.
  • 8张戟,孙泽昌.基于PowerPC的32位微控制器原理[M].北京:电子工业出版社,2010.
  • 9AUTOSar GbR.Layered Software Architecture[EB/OL].(2009-03-09).http://www.autosar.org/download/AUTOSAR_Layered SoftwareArchitecture.pdf.
  • 10AUTOSAR GbR.Specification of CAN Interface[EB/OL].(2009-03-09).http://www.autosar.org/download/R4.0/AUTOSAR_SWS_CANInterface.pdf.

共引文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部