买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜北京航空航天大学申请的专利一种基于故障模式库的无人机软件安全性质分析验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114676047B 。

龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210255754.6，技术领域涉及：G06F11/3604；该发明授权一种基于故障模式库的无人机软件安全性质分析验证方法是由殷永峰;宋一;宿庆冉;尹瑞设计研发完成，并于2022-03-15向国家知识产权局提交的专利申请。

本一种基于故障模式库的无人机软件安全性质分析验证方法在说明书摘要公布了：本申请提供了一种基于故障模式库的无人机软件安全性质分析验证方法，属于软件故障模式与运行验证技术领域，包括：建立软件故障模式数据库；参照软件故障模式数据库，结合实际项目需求筛选适用软件运行的目标系统的软件故障模式，编写安全性质规约；参考故障模式库设计适用于软件运行的目标系统的静态分析模块，结合故障数据库对软件目标系统进静态分析，检查目标系统的普通故障和特有的错误；提取安全性质规约中至少部分信息生成安全性质监控器；提取安全性质规约中至少部分信息用于监控事件的插装；目标系统触发监控事件，向监控器发送数据，监控器对数据进行分析，得出分析结果，实现动态监测。通过本申请的处理方案，提高无人机系统的安全性与可靠性。

本发明授权一种基于故障模式库的无人机软件安全性质分析验证方法在权利要求书中公布了：1.一种基于故障模式库的无人机软件安全性质分析验证方法，其特征在于，包括： 建立软件故障模式数据库； 参照软件故障模式数据库，结合实际项目需求筛选适用软件运行的目标系统的软件故障模式，编写安全性质规约； 参考故障模式库设计适用于软件运行的目标系统的静态分析模块，静态分析模块结合故障数据库对软件目标系统进静态分析，检查目标系统的普通故障和特有的错误； 读取安全性质规约，提取安全性质规约中至少部分信息生成安全性质监控器； 读取安全性质规约，提取安全性质规约中至少部分信息用于监控事件的插装； 若目标系统触发监控事件，目标系统向监控器发送数据，监控器对数据进行分析，得出分析结果，实现动态监测； 建立形成包括无人机、监控器和控制台的分布式系统，监控器接收无人机系统在触发监控事件时发送的数据，监控器在本体计算设备上分析数据并得到分析结果，控制台根据分析结果对无人机进行干预； 建立所述软件故障模式数据库的步骤包括软件故障机理分析、软件故障模式特征识别、软件故障模式特征表征和软件故障特征匹配； 所述软件故障机理分析包括提取多种软件故障模式的共性特点和个性特点，根据不同装备软件故障之间的差异确定软件故障模式属性，建立软件故障引入、触发和传导过程要素与软件故障属性之间关联关系，形成软件故障发生过程完整描述； 所述软件故障模式特征识别具体包括： 通过不同的特征分析活动对已识别的特征进行不断细化，发现相关变化性，为软件故障模式匹配提供信息基础； 其中，所述特征至少包括功能、执行和接口。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京航空航天大学，其通讯地址为：100083 北京市海淀区学院路37号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。