本發明提供一種基于STAMP航空發動機控制系統的安全性分析方法,其步驟如下:一:梳理系統結構組成及功能原理;二:構建分層控制結構模型;三:用SysML模塊圖和狀態機圖刻畫系統的靜態結構和動態行為;四:將三中SysML模型轉換為NuSMV模型;五:明確系統級危險及安全約束,用計算樹邏輯CTL表達式描述安全約束;六:將五中CTL表達式寫入四中NuSMV模型,用NuSMV工具驗證是否滿足;七:分析組件功能失效及影響情形,構建故障模型再將其同四中NuSMV模型整合;八:確定五中控制環結構的不安全控制行為,制定安全約束并用CTL表達式描述;九:將八中各CTL表達式寫入七中完整NuSMV模型,驗證不滿足則輸出的反例即代表事故原因;本發明所述方法科學,工藝性好,具有廣闊推廣應用價值。
聲明:
“基于STAMP航空發動機控制系統的安全性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)