摘要
为了提高飞行安全关键系统的安全性和稳定性,在对事件触发和时间触发计算机系统进行比较的基础上,研究了时间触发总线和时间触发操作系统,得出了时间触发体系的系统架构和主要特点。研究了基于ARINC-659总线的时间触发系统体系结构,给出了时间触发飞控计算机系统的基本可靠性模型。通过支撑时间触发系统开发的工具链在多个项目中的应用,基于时间触发的高可靠计算机系统已经达到了很高的技术成熟度。
To improve the safety and stability of flight safety-critical systems,time-triggered bus and time-triggered system based on the comparison between event-triggered computer system was discussed and time-triggered computer system was discussed and then obtains the system architecture and characteristics of time-triggered system were obtained.The architecture of ARINC-659 bus based time-triggered system was studied,the reliability model of time-triggered navigation computer system was provided.This highly-reliable time-triggered computer system had reached a very high technology readiness level due to the widely use of tool chain for time-triggered system development in multiple projects.
出处
《计算机工程与设计》
CSCD
北大核心
2014年第6期1956-1961,共6页
Computer Engineering and Design
