计算机研究与发展

作者：高银康,陈香兰,龚小航,蒋滨泽,李曦,周学海,

关键词：实时嵌入式系统, 时间可预测性, 时间语义指令集, 实时处理器, WCET分析,

实时嵌入式系统不仅要保证计算结果的逻辑正确性，还要确保与外界交互的时序正确性，所以底层程序要能精确表达上层模型中的时间行为.TTI指令集（time-triggeredinstructionset）的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题，并且基于TTI指令集实现的实时处理单元（real-timeprocessingunit，RPU）证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以，基于TTI指令集和RPU，提出了TTI指令集可以表达的4种时间语义，给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+，TFG+是对TFG的扩展，TFG+区分了TTI程序中时间语义指令和普通代码段，可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后，提出了TTI程序的时间分析方法以及时间安全性检查方法，为TTI程序的设计和部署提供了依据.

来源：2024年第1期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2024年第1期