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