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

T-Minicore:A Time Predictable Embedded Operating System

作　　者：李晓飞[1] 陈香兰[1] 刘杰[1] 李曦[1] 

机构地区：[1]中国科学技术大学计算机科学与技术学院,合肥230000

出　　处：《计算机科学》2015年第B11期454-459,共6页Computer Science

基　　金：国家自然科学基金(61379040;61272131);江苏省自然科学基金(SBK2012194)资助

摘　　要：目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足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.

关 键 词：嵌入式操作系统 时间可预测性 逻辑执行时间 服务体执行流 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]