技术总结
本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
技术研发人员：周小波;江国进;白涛;章丹;王晓燕;张亚栋;杜乔瑞;徐先柱;史茹梅
受保护的技术使用者：北京广利核系统工程有限公司;中国广核集团有限公司
文档号码：201611081851
技术研发日：2016.11.30
技术公布日：2017.05.31