论文部分内容阅读
为了提高飞行安全关键系统的安全性和稳定性,在对事件触发和时间触发计算机系统进行比较的基础上,研究了时间触发总线和时间触发操作系统,得出了时间触发体系的系统架构和主要特点。研究了基于ARINC-659总线的时间触发系统体系结构,给出了时间触发飞控计算机系统的基本可靠性模型。通过支撑时间触发系统开发的工具链在多个项目中的应用,基于时间触发的高可靠计算机系统已经达到了很高的技术成熟度。