基于PRET的编程模型  

PRET-Based Programming Model

作　　者：李晓飞[1] 陈香兰[1] 

机构地区：[1]中国科学技术大学计算机学院,合肥230039

出　　处：《计算机系统应用》2016年第1期141-145,共5页Computer Systems & Applications

基　　金：国家自然科学基金(61379040;61272131);江苏省自然科学基金(SBK2012194)

摘　　要：时间可预测性在信息物理系统设计领域正变得越来越重要,目前时间可预测性系统的设计分为编程模型和体系结构两个层次,编程模型的研究往往是基于传统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.

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

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]