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

位置:北方有色 >

有色技术频道 >

> 失效分析技术

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

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

1012   编辑:管理员   来源:北方有色网  
2023-03-19 08:59:36
本发明公开了一种基于依赖关系的EFSM模型事件失效修复方法,属于通讯协议、嵌入式系统等领域。当模型的外部环境发生变化的时候,表现在模型阶段为模型迁移上的事件发生失效,进而导致模型部分路径不能执行,最终导致模型中部分功能的失效。本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作。原有的修复方法使用可达性的分析方法,对失效事件之后的相关信息进行了完全的删除,导致模型大量的迁移和状态的失效,从而造成模型大部分功能的丧失。本方法通过模型的依赖性分析,把受影响的迁移分为可修复迁移和不可修复迁移,并通过本方法提出的迁移路径修复规则进行修复,本方法保证了修复后模型的可执行路径与原模型语义一致。
声明:
“基于依赖关系的EFSM模型事件失效修复方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
         
咨询细节
标签:
失效分析
有色金属设备
有色金属技术
有色金属企业
有色金属资讯
有色金属价格
有色金属报告
热门分类
2025年锂电池行业十大变革性技术 芯片巨头美光科技获61亿美元补贴 中原关键金属实验室主任何季麟:建设国家级关键金属创新高地 衡水市:独立储能发展布局指导方案印发 冶金百科 | 有色冶金固体废物排放情况 亿纬锂能:2023年实现总营收飙升,同比增长34.38% 有色金属:六种战争金属性能详解 金属材料在芯片工艺上的作用 为减少进口依赖,欧洲时隔10年重启镁矿开采 冶金百科 | 稀土冶金 - 稀土元素原子半径及离子半径变化规律是什么,何谓镧系收缩? 冶金百科 | 铜冶金工艺——P-S转炉吹炼 储能电池出口迎来爆发式增长,锂电企业纷纷拓展海外市场 企业风采 | 青铜峡铝业股份有限公司宁东铝业分公司 火电回血、风光失速:大唐发电净利润飙涨47%掀起的“五大电力”排位战 冶金百科 | 铜冶金-湿法炼铜小知识(一) 天一萃取离心萃取机荣获“创新星级品牌”奖 历史性时刻!中国新能源汽车的渗透率首次突破50% 方圆公司赴台技术服务团队凯旋 填补国内空白!中国首个分布式光伏建设领域安全规程正式发布实施 磷酸铁锂电池组电芯压差变大的原因及解决方法 矿权出让!中国的最大的钒钛磁铁矿铁矿红格南矿区即将出让矿权 两轮电动车迎来“刀片电池”时代!续航突破 500 公里,电池终身免更换 最快2023年上市!超级“核电池”无需充电能正常使用90年之久 强势上涨!铜价破8万大关,创18年新高 展商推荐 | 威格科技(苏州)股份有限公司邀您出席第三届全国钒钛资源与储能科技大会 CWL-M离心萃取器助力打造湿法冶金绿色萃取车间 工信部发布第四批《减免车辆购置税的新能源汽车车型目录》 西工大王锦程团队:难熔高熵合金激光增材制造取得新突破! 萤石小知识 | 萤石产地在哪?萤石矿的伴生矿有哪些? 2.06亿元“抢滩”固态电池:华域汽车收购上汽清陶49%股权背后的三重逻辑
北方有色技术平台

最新更新技术

报名参会
更多+

热门专家
更多+

报告下载

铼产业报告(2026)
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传

慧博士报告
更多+

环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

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