公开(公告)号：CN106776295A

公开(公告)日：2017-05-31

申请号：CN201611081851.9

申请日：2016-11-30

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 周小波 ,  江国进 ,  白涛 ,  章丹 ,  王晓燕 ,  张亚栋 ,  杜乔瑞 ,  徐先柱 ,  史茹梅

IPC: G06F11/36

Abstract: 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。