本发明提供一种基于STAMP航空发动机控制系统的安全性分析方法，其步骤如下：一：梳理系统结构组成及功能原理；二：构建分层控制结构模型；三：用SysML模块图和状态机图刻画系统的静态结构和动态行为；四：将三中SysML模型转换为NuSMV模型；五：明确系统级危险及安全约束，用计算树逻辑CTL表达式描述安全约束；六：将五中CTL表达式写入四中NuSMV模型，用NuSMV工具验证是否满足；七：分析组件功能失效及影响情形，构建故障模型再将其同四中NuSMV模型整合；八：确定五中控制环结构的不安全控制行为，制定安全约束并用CTL表达式描述；九：将八中各CTL表达式写入七中完整NuSMV模型，验证不满足则输出的反例即代表事故原因；本发明所述方法科学，工艺性好，具有广阔推广应用价值。
声明：
“基于STAMP航空发动机控制系统的安全性分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
1225
编辑：管理员
来源：北方有色网
咨询细节
