基于PRET的编程模型

• 作者: 李晓飞 陈香兰
• 来源期刊: 计算机系统应用
• 关键词: 时间可预测性 精确时间机 逻辑时间模型 系统设计
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 软件技术·算法
• 页码范围: 141-145
• 页数: 5页
• 字数: 4506字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓飞	中国科学技术大学计算机学院	4	12	1.0	3.0
2	陈香兰	中国科学技术大学计算机学院	48	235	8.0	12.0