| 安全关键系统的蓝图设计与生成 |
| |
| 引用本文： | 俞慎. 安全关键系统的蓝图设计与生成[J]. 计算机工程, 2008, 34(Z1) |
| |
| 作者姓名： | 俞慎 |
| |
| 作者单位： | 华东计算技术研究所,上海,200233 |
| |
| 摘 要： | 安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统.航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统.为保证IMA系统的安全可靠,必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题.该问题的解决方法是在系统设计阶段用"蓝图"来描述系统.针对国内航电系统的实际需求,设计并实现面向安全关键系统的蓝图,介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图的实现.
|
| 关 键 词： | ARINC653 标准 ASAAC 标准 综合模块化航空电子 安全关键系统 蓝图 |
Design and Inplementation of Blueprint for Safety Critical Systems |
| |
| YU Shen. Design and Inplementation of Blueprint for Safety Critical Systems[J]. Computer Engineering, 2008, 34(Z1) |
| |
| Authors: | YU Shen |
| |
| Affiliation: | YU Shen (East China Institute of Computer Technology,Shanghai 200233) |
| |
| Abstract: | Safety Critical System(SCS) is the system that may cause the great loss of life or wealth,when the system appears failure.Avionics system is a typical SCS.The target of avionics system up to the minute is Integrated Modular Avionics(IMA) system.To ensure the safety and reliability of IMA,something should be confirmed such as the running instance of the system,curing the failure of the system by itself,and dealing with other problems caused by the use of IMA.The method to resolve these problems is usingbluep... |
| |
| Keywords: | ARINC653 ASAAC Integrated Modular Avionics(IMA) Safety Critical Systems(SCS) blueprint |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
