声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：43-1258/TP
国际刊号：1007-130X
发布日期:
作者：陈香兰, 李曦, 汪超, 周学海
单位：（中国科学技术大学计算机科学与技术学院，安徽 合肥 230027）
关键词：混合关键系统,计算机体系结构,指令集,编程模型,时间可预测性,
基金：国家自然科学基金（61772482）
混合关键系统中，具有不同安全和时间关键度的应用程序共享计算资源。由于系统中存在多种不确定性，设计者需要能同时满足功能行为确定性、时间行为可预测性和高计算性能等多重设计约束的紧致时间设计方法，对现有计算机体系结构及编程语言的理论和方法提出了新的挑战。提出支持时间语义的实时机模型RTM和时间触发指令集TTI，作为构建多层次协同的紧致时间设计方法MTTT的重要基础。最后以直升机飞控程序为例，说明RTM思想和TTI指令集的有效性。
来源：2021年第4期
《计算机工程与科学》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。