基于AADL的航空电子系统安全性分析

摘要：

AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统.安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题.详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法.

关键词：安全性分析、AADL、ARINC653、Eclipse

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

在线出版日期：2010-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：58-61