安全关键系统的蓝图设计与生成

摘要

安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统。航空电子系统就是一个典型的安全关键系统，最新航空电子系统的目标是综合模块化航空电子IMA系统。为保证IMA系统的安全可靠，必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题。该问题的解决方法是在系统设计阶段用“蓝图”来描述系统。针对国内航电系统的实际需求，设计并实现面向安全关键系统的蓝图，介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图的实现。