(中国科学技术大学计算机科学与技术学院 合肥 230027) (wcwxy@mail.ustc.edu.cn)
出版日期: 2021-06-01基金资助:国家自然科学基金项目(61772482)A Real-Time Processor Model with Timing Semantics
Wang Chao, Chen Xianglan, Zhang Bo, Li Xi, Wang Chao, Zhou Xuehai(School of Computer Science and Technology, University of Science and Technology of China, Hefei 230027)
Online: 2021-06-01Supported by:This work was supported by the National Natural Science Foundation of China (61772482).摘要/Abstract
摘要： 实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确，要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义，无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施缺乏时间语义的问题，尝试重新定义实时嵌入式系统的指令集和微体系结构.首先，提出一种具有时间语义的实时计算机体系结构模型——实时机(real-time machine, RTM).接着，参考时间触发自动机理论，构建具有时间语义的指令集——TTI(time-triggered instruction set)作为RTM的软硬件接口，并讨论TTI的时间语义完备性问题.最后，设计并实现了实时处理单元(real-time processing unit, RPU)，通过理论分析与实验结果的对照得出RPU的时序确定性.逻辑执行时间(logical execution time, LET)编程模型是学术界广泛认可的实时编程范式，通过给出在RPU上运行LET任务集的示例，说明RTM和TTI的有效性.
参考文献
相关文章 1
| [1] | 陈 艳, 徐晓峰, 李晓潮, 郭东辉,. 实时嵌入式系统的竞态条件及其分析方法研究[J]. , 2010, 47(7): 1201-1210. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4433
