摘要
针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性分析方法,即在分析系统需求和安全性需求基础上,利用形式化分层建模方法建立增强视景系统名义模型和失效模型,并针对典型失效状态进行形式化安全性分析,得出定性和定量安全性分析结论。研究结果表明,所提出的方法能够提高安全性分析效率,可降低安全性分析工作量。
Aiming at the problems of heavy workload,depending on the experience of safety analysts,and easy to be neglected in traditional methods of analyzing enhanced visual system,a formal safety analysis method for enhanced visual system is proposed,which establishes the nominal model and failure model of the enhanced visual system using the formal hierarchical modeling method based on the analysis of system requirements and safety requirements.The formal safety analysis was performed on the typical failure conditions,and the qualitative and quantitative safety analysis conclusion was obtained.The research results show that the proposed method can improve the analysis efficiency and reduce the analysis workload.
作者
董磊
荣灝
金志威
刘成伟
DONG Lei;RONG Hao;JIN Zhi-wei;LIU Cheng-wei(Key Laboratory of Civil Aircraft Airworthiness Technology,Civil Aviation University of China,Tianjin 300300,China;China National Aeronautical Radio Electronics Research Institute,Shanghai 200241,China)
出处
《计算机仿真》
北大核心
2019年第12期41-47,136,共8页
Computer Simulation
基金
中央高校基本科研业务费专项资金(3122016D028)
中国民航大学科研启动基金(2013QD05X)
关键词
增强视景系统
形式化模型
安全性分析
分层建模
Enhanced vision system
Formal model
Safety analysis
Hierarchical modeling
