论文精讲 | 基于RPU的TTI程序设计和分析方法（发表在《计算机研究与发展》2024年第1期；作者：高银康, 陈香兰, 龚小航, 蒋滨泽, 李曦, 周学海）
实时嵌入式系统不仅要保证计算结果的逻辑正确性，还要确保与外界交互的时序正确性，所以底层程序要能精确表达上层模型中的时间行为. TTI指令集（time-triggered instruction set）的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题，并且基于TTI指令集实现的实时处理单元（real-time processing unit，RPU）证明了TTI指令集的可行性和有效性. 但是目前的工作缺少对于TTI程序设计和分析方法的研究. 所以，基于TTI指令集和RPU，提出了TTI指令集可以表达的4种时间语义，给出了TTI程序的设计范式. 并且构建了TTI程序时间行为的表示方法——TFG+，TFG+是对TFG的扩展，TFG+区分了TTI程序中时间语义指令和普通代码段，可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性. 最后，提出了TTI程序的时间分析方法以及时间安全性检查方法，为TTI程序的设计和部署提供了依据.
顶部