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

A Methodology of Avionics System Simulation and Verification Based on AADL

作　　者：李铁颖 王科翔 戴苏榕 LI Tie-ying;WANG Ke-xiang;DAI Su-rong(China National Aeronautical Radio Electronics Research Institute,Shanghai 200241,China;Office of the Military Representatives to Shanghai Avionics Corporation,Shanghai 200233,China)

机构地区：[1]中国航空无线电电子研究所,上海200241 [2]空军驻上海航空电子公司军事代表室,上海200233

出　　处：《航空电子技术》2019年第4期23-28,共6页Avionics Technology

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

关 键 词：基于模型的系统评估 结构化分析和设计语言 形式化方法 

分 类 号：TP391.91[自动化与计算机技术—计算机应用技术]