计算机与现代化Issue(1)：21-26,6.DOI:10.3969/j.issn.1006-2475.2015.01.004
基于模型驱动的航电系统安全性分析
Safety Analysis for Avionics System Based on Model Driven
摘要
Abstract
This paper introduces a new model-based method for safety analysis to address the problem of failure modes integrity , dynamic failure and data consistency that currently encountered in safety assessments for integrated avionics system .The method model integrated avionics system hierarchically with layers of application operation , function and resource .It simplifies a large part of the analysis , the development of fault trees , and can guarantee the consistency of results .AADL language is used to model application layer to check the integrity of operations modes and AltaRica is used to model dysfunction of system to solve the prob -lem of dynamic failure .The efficiency and practicality of the method is illustrated by analyzing safety of auto pilot system through Osate tool which used for analyzing operational modes of application and SimFia tool which used for safety analysis .关键词
模型驱动方法/航空电子系统/安全性分析/AADL/AltaRicaKey words
model-driven method/avionics system/safety analysis/AADL/AltaRica分类
信息技术与安全科学引用本文复制引用
邢逆舟,王立松..基于模型驱动的航电系统安全性分析[J].计算机与现代化,2015,(1):21-26,6.基金项目
国家重点基础研究计划（973计划）项目 （）
