期刊文献+

基于服务体/执行流模型的MiniOSEK操作系统 被引量:1

MiniOSEK Operating System Based on Servent/exe-Flow Model
下载PDF
导出
摘要 为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。 To solve the problems existing in the OSEK operating systems, such as low real-time performance and efficiency, this thesis proposes a new OSEK operating system, namely, MiniOSEK, which is built on the servent/exe-flow model, and in accordance with the OSEK/VDX standard. The design idea of MiniOSEK is introduce message-driven idea into OSEK operating system. When a task needs to call an API function which conform OSEK OS standard, it just needs to send a message to this API function. In this way, the time required for context switch can be shortened and the real-time of the embedded system can be improved.
出处 《计算机系统应用》 2010年第12期24-28,5,共6页 Computer Systems & Applications
基金 电子信息产业发展基金(财建[2008]329工信部运[2008]97)
关键词 服务体/执行流模型 OSEK/VDX规范 嵌入式操作系统 消息驱动 应用程序编程接口 servent/exe-flow model OSEK/VDX standard embedded operating system message-driven application programming interface
  • 相关文献

参考文献7

二级参考文献10

  • 1The OSEK/VDX group. OSEK/VDX operating system, version 2.2 [EB/OL]. www. osek-vdx.org/mirror/os22.pdf.
  • 2The OSEK/VDX group. OSEK / VDX system generation,OIL: OSEK implementation language, version2.3[EB/OL].www. osek-vdx.org/mirror/oi123.pdf.
  • 3Zuberi K M.EMERALDS-OSEK: A small real-time operating system for automotive control and monitoring[EB/OL].http:∥www. eecs.umich.edu/~pillai/pillai_sae99.pdf.
  • 4刘杰.符合OSEK规范的嵌入式实时操作系统研究与实现[D].北京:清华大学,2003.
  • 5LABROSSEJJ 邵贝贝译.嵌入式实时操作系统μC/OS-Ⅱ(第2版)[M].北京:北京航天航空大学出版社,2003..
  • 6Motorola Ltd.MPC555/MPC556 User's Manual[S].Phoenix,USA,2000.
  • 7Wind River Systems Inc.Tornado for OSEKWorks 3.0.2 Online Documentation[S].Alameda,California,USA,2000.
  • 8The OSEK/VDX Group. OSEK/VDX Operation System, Version2.2.2[EB/OL]. http:// www.osek-vdx.org,2004-07-05.
  • 9Lemieux J.OSEK/VDX汽车电子嵌入式软件编程技术[M].罗克露译. 北京:航空航天大学出版社,2004.
  • 10张宝民,孙晓民.基于OSEK规范的嵌入式实时操作系统研究[J].计算机应用研究,2004,21(4):32-35. 被引量:21

共引文献10

同被引文献20

  • 1Forrai A.Introduction into embedded control system design[M]//Embedded control system design.Berlin Heidelberg:Springer,2013:21-54.
  • 2Lee I,Leung J,Son S H.Handbook of real-time and embedded systems[M].Florida:CRC Press,2007.
  • 3Lee E A.The problem with threads[J].Computer,2006,39(5):33-42.
  • 4Hahn S,Reineke J,Wilhelm R.Towards compositionality in execution time analysis-definition and challenges[C]//6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems,2013.
  • 5Potop-Butucaru D,Puaut I.Integrated worst-case execution time estimation of multicore applications[C]//WCET,2013:21-31.
  • 6Kopjak J,Kovács J.Timed cooperative multitask for tiny real-time embedded systems[C]//2012 IEEE 10th International Symposium on Applied Machine Intelligence and Informatics(SAMI).IEEE,2012:377-382.
  • 7Halbwachs N,Caspi Raymond P,Pilaud D.The synchronous dataflow programming language lustre[C]//Proceedings of the IEEE,1991,79(9).
  • 8Berry G.The esterel language primer,version v5 91[EB/OL].(1991).http://www.esterel-technologies.com/technology/scientific-papers/.
  • 9Henzinger T A,Horowitz B,Kirsch C M.Giotto:A timetriggered language for embedded programming[C]//Proceedings of the IEEE,2003,91(1):84-99.
  • 10Templ J.Tdl specification and report Tech Rep T004[R].University of Salzburg:Department of Computer Science,2004.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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