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

龙图腾网恭喜中国航空工业集团公司成都飞机设计研究所申请的专利一种基于失效偏差矩阵的安全性分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115202618B 。

龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210314780.1，技术领域涉及：G06F8/10；该发明授权一种基于失效偏差矩阵的安全性分析方法是由韩丽丽;何仁军;宋雁翔;王珺;李昌设计研发完成，并于2022-03-29向国家知识产权局提交的专利申请。

本一种基于失效偏差矩阵的安全性分析方法在说明书摘要公布了：本发明属于软件安全性领域，具体为一种基于失效偏差矩阵的安全性分析方法。以满足航空装备软件安全性分析要求。首先考虑软件系统之间的交联关系，建立系统模型，识别模型中每一个描述功能的场景，结合失效分析规则生成失效偏差矩阵，确定失效模式，并在模型中对失效全过程进行跟踪监控分析，形成规范的航空装备软件安全性分析方法。建立了以面向安全的模型为基础的航空装备软件失效偏差矩阵生成方法，提高了安全性分析的有效性和准确性，避免了安全性分析的主观性和随意性，方法直观、意义明确，便于工程人员的理解和实际操作；建立了标准的，可操作的软件安全性分析流程，使软件安全性分析工作更加规范、完整、可操作。

本发明授权一种基于失效偏差矩阵的安全性分析方法在权利要求书中公布了：1.一种基于失效偏差矩阵的安全性分析方法，其特征在于，包括如下步骤： 步骤一、构建面向安全的软件模型： 依据软件需求文档，进行需求分析，确定建模对象功能及交互设备、外部接口，构建用例图、活动图、顺序图、状态图；分解需求划分系统用例，并识别与用例相关的交互对象，形成用例图；针对每个用例，分析用例的活动流程，形成活动图；结合活动图，分析活动时序，同时定义系统与外部交互对象的交互关系，形成顺序图；分析系统运行状态，绘制系统状态图； 步骤二、确定分析对象及对象要素： 基于步骤一用例图中每一个系统与外界的交互场景进行选择，确定分析对象；针对确定的分析对象，参照顺序图、状态图将状态参数作为安全性分析对象的要素；状态参数包括消息、状态转移条件、处理过程； 步骤三、确定失效分析规则： 依据分析对象的功能场景，确定对象要素的失效分析规则，分析规则包括时间约束类规则：早于规定时间发生、晚于规定时间发生；顺序约束类规则：先于规定动作发生、晚于规定动作发生；状态约束类规则：消息值异常、消息缺失； 步骤四、生成偏差矩阵： 针对装备软件特点，将步骤二确定的安全性分析对象要素和步骤三确定的分析规则，交叉组合表示成设计意图的偏差，形成偏差矩阵； 步骤五、偏差注入模型： 将步骤四形成的偏差矩阵中的每一种偏差注入步骤一中的建立的软件模型，通过模型的运行、状态图的跃迁，分析每一个偏差是否引发软件失效，确定失效对系统的影响； 步骤六、提出安全性需求或建议措施： 根据偏差矩阵中的各项偏差及偏差注入模型后对系统产生的影响，确定失效的可能原因和后果，提出安全性需求或建议措施，并在步骤一中建立的软件模型中加以验证； 步骤七、充分性检查： 对待分析软件的输入、输出及处理过程进行充分性检查，检查安全性分析覆盖率是否达到100％； 所述步骤二中的场景具体指系统与外界的交互场景，能够用用例图、顺序图表达；目标是通过抽取系统用例，进行需求分析，而后基于活动、时序、状态进行系统功能分析，最终通过运行模型验证系统逻辑； 所述步骤二中消息是指顺序图中对象间发送和接收的消息；状态转移条件是指达到系统规定的状态需要执行的行为动作；处理过程是指分析对象接受消息后、发送消息前的处理过程； 所述步骤三中的异常是指传递的信息包含错误值；缺失是未按要求提供交互服务；多余是指提供未要求的服务；分析规则还包括其他未满足设计意图的操作；能够根据软件特点进行自定义，扩展应用场景； 所述步骤四中针对装备软件特点是指需要根据软件特点选择适合当前分析软件的分析规则，与分析对象进行组合； 所述步骤四中将步骤二确定的安全性分析对象和步骤三确定的分析规则，交叉组合表示成运行状态的偏差，形成偏差矩阵，偏差矩阵就是软件失效分析的输入。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司成都飞机设计研究所，其通讯地址为：610091 四川省成都市青羊区日月大道1610号成都飞机设计研究所计划发展部；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。