期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于OSEK/VDX规范的AutoOSEK移植和测试 被引量：1

Porting and Testing of AutoOSEK Based on OSEK/VDX Specifications
原文传递
导出
摘要 AutoOSEK是一种基OSEK/VDX规范的嵌入式实时操作系统,完全实现了该规范定义的所有应用程序接口。在给出系统硬件工作平台的基础上,介绍了AutoOSEK在C8051F120芯片上的移植要点,为验证移植的合理性,设计了任务级切换和中断级切换测试方法,该方法简洁直观,可有效加快开发进程。 AutoOSEK is an embedded real-time operating system based on OSEK/VDX specifications,which realizes the interfaces for application program..A hardware platform was proposed in this paper.And the key technology of porting was also introduced based on Soc of C8051F120.In order to validate the correctness of porting,corresponding test methods was given.The method was simple and intuitive,which could effectively speed up the development process.
作者 胡国珍
机构地区 黄石理工学院电气与电子信息工程学院
出处 《煤炭技术》 CAS 北大核心 2010年第11期150-152,共3页 Coal Technology
关键词 嵌入式实时操作系统 OSEK/VDX规范 移植 任务切换 embedded real-time operating system OSEK/VDX profile specifications task switch
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献5

二级参考文献14

  • 1周晓峰,李兴虎.车用实时操作系统OSEKkernel的开发[J].汽车工程,2005,27(5):607-611. 被引量：3
  • 2OSEK/VDX Group. OSEK/VDX Operating System v2. 2. 3. [ EB/ OL]. [2005 -2 - 17]. http://www.osek-vdx, org.
  • 3OSEK/VDX Group. OSEK/VDX System Generation OIL: OSEK Implementation Language v2. 5. [ EB/OL ]. [ 2004 - 7 - 1 ]. http://www. osek-vdx, org.
  • 4Lsbrosse J J.嵌入式实时操作系统μC/OS-Ⅱ[M].邵贝贝,等,译.北京:北京航空航天大学出版社,2003.
  • 5Zttberi K M, Pillai P, Shin K G, et al. EMERALDS-OSEK: A Small Real-Time Operating System for Automotive Control and Monitoring[ C ]. SAE International Congress & Exposition, 1999.
  • 6章亮飞,李银国.嵌入式实时操作系统AutoOSEK的设计[J].计算机工程,2007,33(16):53-55. 被引量：20
  • 7The OSEK/VDX Group. OSEK/VDX Operating System,version 2.2[ EB/OL]. http://www.osek-vdx.org,2001-O9-10/2002-10-15.
  • 8The OSEK/VDX Group. OSEK/VDX System Generation,OIL:OSEK Implementation Language, version 2.3 [ EB/OL]. http://www. osek- vdx. org, 2001-09-10/2003-10-15.
  • 9K M Zuberi. EMERALDS-OSEK: A Small Real-time Operating System for Automotive Control and Monitoring [ EB/OL]. http://www.sae.org, 1999-03/2003-10-15.
  • 10JEAN J LABROSSE.μC／OS-Ⅱ—源代码公开的实时嵌入式操作系统[M].北京:中国电力出版社,2001..

共引文献46

同被引文献12

  • 1钱培德,吕强,杨季文,朱巧明.论操作系统仿真器[J].计算机研究与发展,1997,34(7):507-512. 被引量：1
  • 2NIPKOW T, PAULSON L C, WENZEL M. A proof assistant for higher-order logic [ C ]//Lecture Notes in Computer Science, vol 2283.
  • 3KLEIN G, ELPHINSTONE K, HEISER G, et al. sel4 : formal verifica- tion of an OS kernel[ C ]//Proc of the 22rid ACM SIGOPS Symposium on Operating Systems Principles. New York : ACM Press, 2009 : 207- 220.
  • 4LEINENBACH D. Communicating virtual machines:a formal model for the specification and verification of operating system kernels, seIA [ R]. Germany : Saarland University,2009.
  • 5HALDENMAIR M. AutoFOCUS 3 the picture book[ M/OL]. (2011- 09- 06 ). https Berlin : Springer-Verlag,2012 : 205. ://al3. fortiss, org/projects/autofocus3/wiki/Picture _ Book.
  • 6The OSEK/VDX Group. OSEK/VDX system generation OIL, Ver- sion2.5 [ EB/OL ]. ( 2004- 07- 01 ). http ://www. osek-vdx, org.
  • 7The OSEK/VDX Group. OSEK/VDX operating system, Version2.2. 3 [ EB/OL ]. (2005- 02-17 ). http ://www. osek-vdx, org.
  • 8DELANEY A. Formal specification of a reliable operating system [ D ]. Maynooth : National" University of Ireland ,2004.
  • 9张志雄,李曦.基于分类树的OSEK/VDX操作系统一致性测试研究[J].计算机系统应用,2010,19(11):208-212. 被引量：3
  • 10李银国,叶家盛,蒋建春.OSEK/VDX OS服务调用的规范一致性检测方法[J].重庆邮电大学学报（自然科学版）,2010,22(6):786-790. 被引量：5

引证文献1

二级引证文献1

煤炭技术
2010年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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