一种基于AADL的航空电子系统仿真和验证技术

飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。

A Methodology of Avionics System Simulation and Verification Based on AADL

There is an impending requirement in avionics system design and safety analysis as the modern aviation system integration level booms. An architecture analysis and design language (AADL) based avionics system safety analysis methodology is approached in the framework of model based safety analysis and assessment. The methodology makes use of AADL to model the nominal model and the error model of specific systems in avionics and then composite both into a so-called extended model by fault injection. The extended model is then transformed into Kripke architecture while the requirement items are formalized into system property sets. The system safety analysis is achieved by model checking the transformed model based on the property set to validate the system safety specification.