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

Research on real-time machine model and instruction set with time semantics

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

In mixed critical systems,applications with different security and time criticality share computing resources.Suffered from kinds of uncertainties in the system,designers need a design method with tight timing that can satisfy multiple design constraints such as function behavior certainty,timing behavior predictability and high computing performance at the same time,which challenges the theories and methods of existing computer architectures and programming languages.A real-time machine mo-del,RTM,and a time triggered instruction set,TTI,which support time semantics,are proposed as the important foundation in constructing a Multi-tier Tight Timing design method,MTTT.A helicopter flight control program is used as an example to illustrate the effectiveness of RTM and TTI instruction set.