航空装备现场可编程逻辑器件软件安全性分析方法

摘要

本发明提供一种航空装备现场可编程逻辑器件软件安全性分析方法，该方法包括：针对外部交联环境模型、功能处理模型以及工作状态迁移模型，形成面向安全性分析的需求建模方法；依据需求模型，从外部输入接口、外部输出接口、功能处理过程以及工作状态角度形成航空装备PLD软件安全性分析规则；在需求模型基础上，依据PLD软件安全性分析规则，确定需求中潜在PLD软件失效模式，并分析失效模式原因及影响，制定相应控制措施，确定PLD软件安全性要求。本发明借助面向安全性分析的航空装备PLD软件需求建模、基于需求模型的航空装备PLD软件安全性分析技术，规范了航空装备PLD软件安全性分析方法，提高了航空装备PLD软件安全性和质量水平。