合肥金星智控科技股份有限公司
宣传

位置:中冶有色 >

有色技术频道 >

> 失效分析技术

> 基于Altarica形式化语言的软件FMEA分析方法

基于Altarica形式化语言的软件FMEA分析方法

1069   编辑:管理员   来源:中冶有色技术网  
2023-03-19 08:59:57
本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法,包括以下步骤:步骤1:识别待分析软件数据流并画出数据流图;步骤2:针对待分析软件建立基本软件模型;步骤3:定义待分析软件失效,并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效;步骤4:搜索所有满足待分析软件的失效定义的状态传输路径,每条传输路径为一个失效模式;步骤5:分析各个满足待分析软件失效定义的状态传输路径,并填写FMEA表格。本发明软件功能单元模型化,使用形式化工具执行分析,减小工作量;软件功能单元模型化,达到模型复用。针对不同的软件功能单元,总结归纳验证属性,达到知识的积累和共享。
声明:
“基于Altarica形式化语言的软件FMEA分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签:
失效分析
全国热门有色金属技术推荐
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

报名参会
更多+

报告下载

第二届关键基础材料模拟、制备与评价技术交流会
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传
环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话:
010-88793500-807
专利人/作者信息登记