文献

J-GLOBAL ID：202102277316053461   整理番号：21A0664704

グラフ変換システムにおけるデッドロックの可到達性と検出に対するファジィ遺伝的アルゴリズムアプローチ【JST・京大機械翻訳】

Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems

著者 (4件)： Salimi Nahid (Faculty of Engineering, Arak University,Department of Computer Engineering,Arak,Iran) ,  Rafe Vahid (Faculty of Engineering, Arak University,Department of Computer Engineering,Arak,Iran) ,  Tabrizchi Hamed (Shahid Bahonar University,Department of Computer Science,Kerman,Iran) ,  Mosavi Amir (Kalman Kando Faculty of Electrical Engineering, Obuda University,Budapest,Hungary)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： CANDO-EPE  ページ： 000241-000250  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデル検査技術は,ソフトウェアシステムの検証のためにしばしば用いられる。このような技術はいくつかの利点を伴う。しかし,状態空間爆発はモデル検査に対する欠点の1つである。近年,この問題を解決するための進化およびメタヒューリスティックアルゴリズムに基づくいくつかの方法が提案されてきた。本論文では,十分な状態空間を持つGTSによってモデル化されたシステムのモデル検査におけるSSE問題に対処するために,ハイブリッドアプローチを提案した。グラフ変換によってデッドロックを検出するのに,システムを検証することを目標とする既存の方法を適用した。提案方法はファジィ遺伝的アルゴリズムに基づき,到達性特性を検証し,デッドロックを検出することによって安全性特性を低下させるように設計した。この解法において,システムの状態空間をファジィ遺伝的アルゴリズムによって探索し,特定の特性が再分割/検証される状態を見つける。提案したアプローチを実装し評価するために,GROOVEをGTSにおける強力な設計とモデル検査ツールセットとして用いた。実験結果は,提示したハイブリッドファジィ法が他の技術を比較することによって速度と性能を改善することを示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *アルゴリズム ,  *デッドロック ,  曖昧さ ,  遺伝的アルゴリズム ,  モデル検査
準シソーラス用語： *グラフ変換 ,  ヒューリスティック ,  状態空間 ,  ソフトウェアシステム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： グラフ変換 ,  デッドロック ,  可到達性 ,  ファジィ ,  遺伝的アルゴリズムアプローチ