系统工程与电子技术

作者：赖康, 陆中, 程大炜, 缪炜润

单位：南京航空航天大学民航学院，江苏 南京 211106

关键词：安全性分析,系统建模语言,新符号模型验证器,模型检测,电传飞控系统

基金：中央高校基本科研业务费专项资金（NG2023003）；民航安全能力建设基金（2021-196）；南京航空航天大学科研与实践创新计划（xcxjh20230715）资助课题

为解决传统电传飞控系统安全性分析过度依赖分析人员经验的问题，综合利用系统建模语言（system modeling language，SysML）和新符号模型验证器（new symbolic model verifier，NuSMV）描述系统行为，提出一种基于模型的安全性分析方法。首先，利用SysML建立电传飞控系统的名义模型和故障模型，提出面向SysML的故障信息提取方法。然后，建立SysML和NuSMV模型的映射规则，利用提取的故障信息自动生成描述系统故障行为的NuSMV模型。最后，通过模型检测实现电传飞控系统的安全性分析。该方法避免了对人员技术和经验的依赖，并且安全性分析结果由设计模型直接生成。当设计方案修改时能自动更新安全分析结果，避免重新开展安全性分析带来的繁琐工作。

来源：2025年第11期

《系统工程与电子技术》期刊编辑部

查看系统工程与电子技术杂志2025年第11期