计算机工程与科学2017，Vol.39Issue(12)：2269-2277,9.DOI:10.3969/j.issn.1007-130X.2017.12.016
一种基于航电系统架构模型的故障树自动建模方法
A fault tree auto-modeling method based on avionics system architecture model
摘要
Abstract
It is very necessary to conduct safety analysis on the safety critical avionics system by fault tree.However,fault tree is traditionally modeled in a manual way,which mainly relies on how well the analyzers understand the system.Meanwhile,the consistency between failure modes and system architectures is hard to be guaranteed due to the differences in the understanding between the safety analyzers of the system and the system designers.Aiming at the above problems,we propose a fault tree automodeling method based on avionics system architecture model.The safety analysis model is constructed through adding safety properties to the system design model and embedding assertion mechanism of the advanced formal language AltaRica to describe the fault transition process.The fault tree auto-modeling is then conducted by tracing the data signal path of the model.The results of the case study on one cockpit display system indicate that the proposed method is able to conduct fault tree auto-modeling efficiently based on the avionics system architecture model,ensuring the completeness of the fault tree analysis results.关键词
航电系统架构/系统建模语言(SysML)/故障树建模/AltaRica/卫式转换系统Key words
avionics system architecture/SysML/fault tree modeling/AltaRica/guarded transitions system分类
信息技术与安全科学引用本文复制引用
徐文华,张育平..一种基于航电系统架构模型的故障树自动建模方法[J].计算机工程与科学,2017,39(12):2269-2277,9.基金项目
国家973计划(2014CB744901,2014CB744903,2014CB744904,2014CB744905) （2014CB744901,2014CB744903,2014CB744904,2014CB744905）
