| 基于AADL的航空电子系统安全性分析 |
| |
| 引用本文： | 贾璐,胡林平,田丹.基于AADL的航空电子系统安全性分析[J].航空计算技术,2009,39(5):58-61. |
| |
| 作者姓名： | 贾璐 胡林平 田丹 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西,西安,710068 |
| |
| 摘 要： | AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。
|
| 关 键 词： | 安全性分析 AADL ARINC653 Eclipse |
Security Analysis of Avionics Systems Based on AADL |
| |
| JIA Lu,HU Lin-ping,TIAN Dan.Security Analysis of Avionics Systems Based on AADL[J].Aeronautical Computer Technique,2009,39(5):58-61. |
| |
| Authors: | JIA Lu HU Lin-ping TIAN Dan |
| |
| Institution: | (Aeronautical Computing Technique Research Institute ,Xi＇an 710068, China) |
| |
| Abstract: | The AADL （Architecture Analysis and Design Language） is an important way to describe important performance- critical aspects for embedded realtime system such as hardware＆software architecture and security property. The language has been widely applied to Integrated Modular Avionics system based on ARINC653. Safety as a critical performance of Integrated Modular Avionics system, becomes an important problem that should be solved. The principle of security analysis of avionics system based on AADL is introduced in details in this paper, and a reasonable design and implementation solution are provided, it provides a way for validating the security design of avionics system. |
| |
| Keywords: | AADL ARINC653 Eclipse |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
