T-Minicore嵌入式时间可预测操作系统的设计与实现

T-Minicore:A Time Predictable Embedded Operating System

目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。

Evidence to date indicates that there is no set definition of time predictability in academia. Most researches on time predictability focus on architecture and programming language. In this paper, referring to the more recognized definition of time predictability, granularity division was applied to time predictable systems. And T-Minicore, a servicegrained operation system based on servant/exe-flow model, was proposed. T-Minicore meets the demand for time pre dictability in LET （Logical Execution Time） Model. Its time predictability in the communication module was justified by theory and experiments illustrate that applications running on T-Minicore operating system are time predictable.