| T-Minicore嵌入式时间可预测操作系统的设计与实现 |
| |
| 引用本文： | 李晓飞,陈香兰,刘杰,李曦. T-Minicore嵌入式时间可预测操作系统的设计与实现[J]. 计算机科学, 2015, 42(Z11): 454-459 |
| |
| 作者姓名： | 李晓飞 陈香兰 刘杰 李曦 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000 |
| |
| 基金项目： | 本文受国家自然科学基金(61379040,1),江苏省自然科学基金(SBK2012194)资助 |
| |
| 摘 要： | 目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。
|
| 关 键 词： | 嵌入式操作系统 时间可预测性 逻辑执行时间 服务体执行流 |
T-Minicore:A Time Predictable Embedded Operating System |
| |
| LI Xiao-fei,CHEN Xiang-lan,LIU Jie and LI Xi. T-Minicore:A Time Predictable Embedded Operating System[J]. Computer Science, 2015, 42(Z11): 454-459 |
| |
| Authors: | LI Xiao-fei CHEN Xiang-lan LIU Jie LI Xi |
| |
| Affiliation: | School of Computer Science and Technology,University of Science and Technology of China,Hefei 230000,China,School of Computer Science and Technology,University of Science and Technology of China,Hefei 230000,China,School of Computer Science and Technology,University of Science and Technology of China,Hefei 230000,China and School of Computer Science and Technology,University of Science and Technology of China,Hefei 230000,China |
| |
| Abstract: | 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 service-grained operation system based on servant/exe-flow model,was proposed.T-Minicore meets the demand for time predictability 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. |
| |
| Keywords: | Embedded OS Timing predictability Logical execution time Servant/exe-flow model |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
