本发明提供一种航空装备现场可编程逻辑器件软件安全性分析方法，该方法包括：针对外部交联环境模型、功能处理模型以及工作状态迁移模型，形成面向安全性分析的需求建模方法；依据需求模型，从外部输入接口、外部输出接口、功能处理过程以及工作状态角度形成航空装备PLD软件安全性分析规则；在需求模型基础上，依据PLD软件安全性分析规则，确定需求中潜在PLD软件失效模式，并分析失效模式原因及影响，制定相应控制措施，确定PLD软件安全性要求。本发明借助面向安全性分析的航空装备PLD软件需求建模、基于需求模型的航空装备PLD软件安全性分析技术，规范了航空装备PLD软件安全性分析方法，提高了航空装备PLD软件安全性和质量水平。
声明：
“航空装备现场可编程逻辑器件软件安全性分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
1151
编辑：管理员
来源：北方有色网
咨询细节
