基于SysML2NuSMV的民用飞机电传飞控系统安全性分析
打开文本图片集
中图分类号：V240.2 文献标志码：A DOI：10.12305/j.issn.1001-506X.2025.11.27
0 引言
现代民用飞机的电传飞控（fly-by-wire，FBW）系统具有自动化与集成化程度高、单元之间交联关系复杂等特点，其安全性对飞机的安全具有重要影响。传统安全性分析方法如故障树分析、马尔可夫分析、依赖图分析等严重依赖于安全分析人员的经验，在面对高集成复杂系统时，会出现安全性分析模型不一致、分析工作迭代困难等问题[-2]。（剩余16030字）
