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

位置:中冶有色 >

有色技术频道 >

> 失效分析技术

> 基于依赖关系的EFSM模型事件失效修复方法

基于依赖关系的EFSM模型事件失效修复方法

766   编辑:管理员   来源:中冶有色技术网  
2023-03-19 08:59:36
本发明公开了一种基于依赖关系的EFSM模型事件失效修复方法,属于通讯协议、嵌入式系统等领域。当模型的外部环境发生变化的时候,表现在模型阶段为模型迁移上的事件发生失效,进而导致模型部分路径不能执行,最终导致模型中部分功能的失效。本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作。原有的修复方法使用可达性的分析方法,对失效事件之后的相关信息进行了完全的删除,导致模型大量的迁移和状态的失效,从而造成模型大部分功能的丧失。本方法通过模型的依赖性分析,把受影响的迁移分为可修复迁移和不可修复迁移,并通过本方法提出的迁移路径修复规则进行修复,本方法保证了修复后模型的可执行路径与原模型语义一致。
声明:
“基于依赖关系的EFSM模型事件失效修复方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签:
失效分析
全国热门有色金属技术推荐
展开更多 +

 

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

最新更新技术

报名参会
更多+

报告下载

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

热门技术
更多+

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

发布

在线客服

公众号

电话

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