安全关键系统的蓝图设计与生成
安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统.航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统.为保证IMA系统的安全可靠,必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题.该问题的解决方法是在系统设计阶段用”蓝图”来描述系统.针对国内航电系统的实际需求,设计并实现面向安全关键系统的蓝图,介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图的实现.
安全关键系统 蓝图设计 蓝图生成 航空电子系统 嵌入式操作系统
俞慎
华东计算技术研究所,上海,200233
国内会议
上海
中文
66-68,71
2008-09-18（万方平台首次上网日期，不代表论文的发表时间）