[发明专利]航空装备现场可编程逻辑器件软件安全性分析方法有效
申请号: | 202011484108.4 | 申请日: | 2020-12-15 |
公开(公告)号: | CN112612241B | 公开(公告)日: | 2021-09-28 |
发明(设计)人: | 封二强;初振华;赵刚;孙乾;马力;蔡玉华 | 申请(专利权)人: | 中国航空综合技术研究所 |
主分类号: | G05B19/05 | 分类号: | G05B19/05 |
代理公司: | 北京孚睿湾知识产权代理事务所(普通合伙) 11474 | 代理人: | 韩燕 |
地址: | 100028 北*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供一种航空装备现场可编程逻辑器件软件安全性分析方法,该方法包括:针对外部交联环境模型、功能处理模型以及工作状态迁移模型,形成面向安全性分析的需求建模方法;依据需求模型,从外部输入接口、外部输出接口、功能处理过程以及工作状态角度形成航空装备PLD软件安全性分析规则;在需求模型基础上,依据PLD软件安全性分析规则,确定需求中潜在PLD软件失效模式,并分析失效模式原因及影响,制定相应控制措施,确定PLD软件安全性要求。本发明借助面向安全性分析的航空装备PLD软件需求建模、基于需求模型的航空装备PLD软件安全性分析技术,规范了航空装备PLD软件安全性分析方法,提高了航空装备PLD软件安全性和质量水平。 | ||
搜索关键词: | 航空 装备 现场 可编程 逻辑 器件 软件 安全性 分析 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国航空综合技术研究所,未经中国航空综合技术研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202011484108.4/,转载请声明来源钻瓜专利网。