实时机模型及时间语义指令集研究

来源：计算机工程与科学杂志2021年第4期北京时间：

作者：陈香兰, 李曦, 汪超, 周学海

单位：（中国科学技术大学计算机科学与技术学院，安徽 合肥 230027）

摘要：混合关键系统中，具有不同安全和时间关键度的应用程序共享计算资源。由于系统中存在多种不确定性，设计者需要能同时满足功能行为确定性、时间行为可预测性和高计算性能等多重设计约束的紧致时间设计方法，对现有计算机体系结构及编程语言的理论和方法提出了新的挑战。提出支持时间语义的实时机模型RTM和时间触发指令集TTI，作为构建多层次协同的紧致时间设计方法MTTT的重要基础。最后以直升机飞控程序为例，说明RTM思想和TTI指令集的有效性。

关键词：混合关键系统,计算机体系结构,指令集,编程模型,时间可预测性,

基金资助：国家自然科学基金（61772482）