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

【Abstract】 The AADL(Architecture Analysis and Design Language) is an important way to describe important performance-critical aspects for embedded real-time 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.更多还原