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