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