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