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

• 作者: 俞慎
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: ARINC653 标准 ASAAC 标准 综合模块化航空电子 安全关键系统 蓝图
• 年，卷（期）: 2008,（z1）
• 所属期刊栏目: 软件开发与测评
• 页码范围: 66-68,71
• 页数: 4页
• 分类号: N945
• 字数: 4381字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.z1.024

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	俞慎		3	30	3.0	3.0