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

• 作者: 田丹 胡林平 贾璐
• 来源期刊: 航空计算技术
• 关键词: 安全性分析 AADL ARINC653 Eclipse
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 计算机软件
• 页码范围: 58-61
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2009.05.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡林平		8	50	4.0	6.0
2	贾璐		4	57	2.0	4.0
3	田丹		3	12	2.0	3.0