本發(fā)明提供一種基于STAMP航空發(fā)動(dòng)機(jī)控制系統(tǒng)的安全性分析方法，其步驟如下：一：梳理系統(tǒng)結(jié)構(gòu)組成及功能原理；二：構(gòu)建分層控制結(jié)構(gòu)模型；三：用SysML模塊圖和狀態(tài)機(jī)圖刻畫系統(tǒng)的靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)行為；四：將三中SysML模型轉(zhuǎn)換為NuSMV模型；五：明確系統(tǒng)級(jí)危險(xiǎn)及安全約束，用計(jì)算樹邏輯CTL表達(dá)式描述安全約束；六：將五中CTL表達(dá)式寫入四中NuSMV模型，用NuSMV工具驗(yàn)證是否滿足；七：分析組件功能失效及影響情形，構(gòu)建故障模型再將其同四中NuSMV模型整合；八：確定五中控制環(huán)結(jié)構(gòu)的不安全控制行為，制定安全約束并用CTL表達(dá)式描述；九：將八中各CTL表達(dá)式寫入七中完整NuSMV模型，驗(yàn)證不滿足則輸出的反例即代表事故原因；本發(fā)明所述方法科學(xué)，工藝性好，具有廣闊推廣應(yīng)用價(jià)值。