简介： 本发明提供一种基于STAMP航空发动机控制系统的安全性分析方法，其步骤如下：一：梳理系统结构组成及功能原理；二：构建分层控制结构模型；三：用SysML模块图和状态机图刻画系统的静态结构和动态行为；四：将三中SysML模型转换为NuSMV模型；五：明确系统级危险及安全约束，用计算树逻辑CTL表达式描述安全约束；六：将五中CTL表达式写入四中NuSMV模型，用NuSMV工具验证是否满足；七：分析组件功能失效及影响情形，构建故障模型再将其同四中NuSMV模型整合；八：确定五中控制环结构的不安全控制行为，制定安全约束并用CTL表达式描述；九：将八中各CTL表达式写入七中完整NuSMV模型，验证不满足则输出的反例即代表事故原因；本发明所述方法科学，工艺性好，具有广阔推广应用价值。