基于RPU的TTI程序设计和分析方法

作     者：高银康 陈香兰 龚小航 蒋滨泽 李曦 周学海 Gao Yinkang;Chen Xianglan;Gong Xiaohang;Jiang Binze;Li Xi;Zhou Xuehai

作者机构：中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州高等研究院江苏苏州215004 

基　　金：国家重点研发计划项目(2017YFA0700900) 国家自然科学基金项目(62102383) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2024年第61卷第1期

页      码：98-119页

摘      要：实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.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程序的设计和部署提供了依据.

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

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7544/issn1000-1239.202220730

馆 藏 号：203125407...