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

位置:中冶有色 >

有色技術頻道 >

> 失效分析技術

> 基于依賴關系的EFSM模型事件失效修復方法

基于依賴關系的EFSM模型事件失效修復方法

919   編輯:管理員   來源:中冶有色網  
2023-03-19 08:59:36
本發明公開了一種基于依賴關系的EFSM模型事件失效修復方法,屬于通訊協議、嵌入式系統等領域。當模型的外部環境發生變化的時候,表現在模型階段為模型遷移上的事件發生失效,進而導致模型部分路徑不能執行,最終導致模型中部分功能的失效。本方法涉及的模型修復方法分為依賴分析階段和遷移路徑修復階段兩個核心操作。原有的修復方法使用可達性的分析方法,對失效事件之后的相關信息進行了完全的刪除,導致模型大量的遷移和狀態的失效,從而造成模型大部分功能的喪失。本方法通過模型的依賴性分析,把受影響的遷移分為可修復遷移和不可修復遷移,并通過本方法提出的遷移路徑修復規則進行修復,本方法保證了修復后模型的可執行路徑與原模型語義一致。
登錄解鎖全文
聲明:
“基于依賴關系的EFSM模型事件失效修復方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽:
失效分析
全國熱門有色金屬技術推薦
展開更多 +

 

中冶有色技術平臺

最新更新技術

報名參會
更多+

報告下載

赤泥綜合利用研究報告2025
推廣

熱門技術
更多+

衡水宏運壓濾機有限公司
宣傳
環磨科技控股(集團)有限公司
宣傳

發布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記
在线精品视频播放|无码 有码 国产18p|宅男精品一区在线观看|伊人色综合久久天天人手人婷|亚洲熟肥妇女BBXX