文献

J-GLOBAL ID：202202235605270267   整理番号：22A1105016

公平遷移システムにおけるリボン形状経路の探索【JST・京大機械翻訳】

Searching for Ribbon-Shaped Paths in Fair Transition Systems

著者 (4件)： Bozzano Marco (Fondazione Bruno Kessler (FBK), Trento, Italy) ,  Cimatti Alessandro (Fondazione Bruno Kessler (FBK), Trento, Italy) ,  Tonetta Stefano (Fondazione Bruno Kessler (FBK), Trento, Italy) ,  Vozarova Viktoria (Fondazione Bruno Kessler (FBK), Trento, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13243  ページ： 543-560  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 診断可能性は,安全臨界設計における部分観測システムの基本的問題である。システムの観測可能部分がいくつかの故障を検出するのに十分であるならば,診断可能性検証チェックはチェックする。診断可能性に対する反例は,故障の発生において異なる無限に多くの識別できないトレースから成る可能性がある。解析下のシステムをBuechiオートマトンまたは有限状態Fair遷移システムとしてモデル化したとき,この問題は,リボン形状経路,すなわち,中間のループを有するフェアパスを探すように縮小する。本論文では,ラッソ型経路を探すために,ライブネス対安全手法を拡張することにより,その問題を解決することを提案する。アルゴリズムは,ループ上の条件を変えることによって,均一方法で様々な診断可能性条件に適用できる。種々の診断可能性ベンチマークに関するアプローチを実装し評価した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  安全性 ,  オートマトン ,  システム ,  可能性 ,  モデリング ,  臨界 ,  診断 ,  ベンチマーク ,  *遷移システム ,  モデル検査
準シソーラス用語： 反例 , 【Automatic Indexing@JST】

著者キーワード (3件)： 診断可能性 ,  モデル検査 ,  安全への活力

分類 (1件)： 信頼性  (KB04040H)

タイトルに関連する用語 (4件)： 遷移システム ,  リボン ,  経路 ,  探索