摘要
时间可预测性在信息物理系统设计领域正变得越来越重要,目前时间可预测性系统的设计分为编程模型和体系结构两个层次,编程模型的研究往往是基于传统RTOS而提出新的时间模型,体系结构层则是现有体系结构,设计的具有时间属性的指令集、流水线等等.基于时间可预测体系结构PRET和可预测时间模型LET的研究,提出将PRET和LET模型相结合的编程模型,并通过分析和实验证明了这种设计的可行性和优势,进一步证明了时间在系统设计中的重要性.
In CPS related embedded system design area, time predictability is becoming increasingly important. The system of time predictability can be divided into two level: the programming level based on the traditional RTOS or platform and the architecture level extended with time behavior. In this paper, based on the research between the predictable architecture and the predictable programming model, and a new programming model based on both PRET(PRecised Timed machine) was proposed. Finally an implementation based on this new model was exhibited, through this exhibition we can find that this new model had advantages to the Giotto model.
出处
《计算机系统应用》
2016年第1期141-145,共5页
Computer Systems & Applications
基金
国家自然科学基金(61379040
61272131)
江苏省自然科学基金(SBK2012194)
关键词
时间可预测性
精确时间机
逻辑时间模型
系统设计
time predictability
precised timed machine
logical execution time
system design