安全關鍵系統需求形式化建模分析實例研究
摘要：近年來,基于模型的安全性分析技術(MBSA)在航空等領域有著廣泛應用,因此對以xSAP安全分析平臺為核心,基于MBSA的系統安全性評估方法進行了研究,并通過一個真實的綜合航電系統GarminG1000的自動飛行控制系統(AFCS)GFC700為實例來詳細介紹。該方法的實現包括使用NuSMV形式化語言對系統進行需求建模,根據系統設計故障模式,在NuSMV模型中注入故障事件,使用xSAP對NuSMV需求模型進行模型擴展得到故障擴展模型,以及對故障擴展模型進行故障分析及系統安全性評估,例如生成故障樹及FMEA表等。從分析結果來看,使用xSAP平臺對實際系統進行基于模型的系統安全分析是行之有效的。
注: 保護知識產權,如需閱讀全文請聯系計算機科學與探索雜志社
相關推薦
更多
