BDDストライクバック:静的および動的フォールトツリーの効率的な解析【JST・京大機械翻訳】

Basgoze Daniel; Volk Matthias; Katoen Joost-Pieter; Khan Shahid; Stoelinga Marielle

プレプリント

J-GLOBAL ID：202202211405528180 整理番号：22P0285441

BDDストライクバック:静的および動的フォールトツリーの効率的な解析【JST・京大機械翻訳】

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (5件)： , , , ,
資料名：
発行年： 2022年02月06日プレプリントサーバーでの情報更新日： 2022年03月28日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

フォールトツリーは信頼性解析における重要なモデルである。古典的静的フォールトツリー(SFT)は,二値決定図(BDD)を用いて解析できる。状態ベース技術は,より表現的な動的フォールトツリー(DFT)にとって好ましい。本論文は,Duganのアプローチに従って,両方の世界の最良を組み合わせ,動的サブツリーをモデル検査Markovモデルを通して解析して,得られた故障確率を捕える基本的事象によって置き換えた。次に,得られたSFTをBDDによって分析した。この手法をStormモデルチェッカーに実装した。広範な実験(a)は,種々の既存のSFT解析ツールに対するSFTsの純粋BDDベース解析を比較し,(b)多重時間点に対する著者らの効率的な計算の利点と,平均時間対故障の評価,および(c)は,Duganのアプローチの実装がDFTの純粋Markov解析を著しく凌駕することを示した。この実装Storm-dftは,現在,SFTsとDFTの両方に対する効率的な解析を支援する唯一のツールである。【JST・京大機械翻訳】

, , , , , , ,
, , , 【Automatic Indexing@JST】

信頼性

, , ,

前のページに戻る