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