本發明提供一種航空裝備現場可編程邏輯器件軟件安全性分析方法,該方法包括:針對外部交聯環境模型、功能處理模型以及工作狀態遷移模型,形成面向安全性分析的需求建模方法;依據需求模型,從外部輸入接口、外部輸出接口、功能處理過程以及工作狀態角度形成航空裝備PLD軟件安全性分析規則;在需求模型基礎上,依據PLD軟件安全性分析規則,確定需求中潛在PLD軟件失效模式,并分析失效模式原因及影響,制定相應控制措施,確定PLD軟件安全性要求。本發明借助面向安全性分析的航空裝備PLD軟件需求建模、基于需求模型的航空裝備PLD軟件安全性分析技術,規范了航空裝備PLD軟件安全性分析方法,提高了航空裝備PLD軟件安全性和質量水平。
聲明:
“航空裝備現場可編程邏輯器件軟件安全性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)