基于PRET的编程模型

摘要：

时间可预测性在信息物理系统设计领域正变得越来越重要,目前时间可预测性系统的设计分为编程模型和体系结构两个层次,编程模型的研究往往是基于传统RTOS而提出新的时间模型,体系结构层则是现有体系结构,设计的具有时间属性的指令集、流水线等等.基于时间可预测体系结构PRET和可预测时间模型LET的研究,提出将PRET和LET模型相结合的编程模型,并通过分析和实验证明了这种设计的可行性和优势,进一步证明了时间在系统设计中的重要性.

关键词：时间可预测性、精确时间机、逻辑时间模型、系统设计

所属期刊栏目：25

分类号：TP3;TN9

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

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：141-145