基于服务体/执行流模型的MiniOSEK操作系统

为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。