文献

J-GLOBAL ID：201702253185808786   整理番号：17A1568724

統計的モデルチェッキングを用いたフォールトトレラントシステムの信頼性評価について【Powered by NICT】

On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking

著者 (1件)： Strnadel Josef
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DSD  ページ： 352-355  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 信頼性評価の問題は,予め定義された条件下での解析的に解くことができる。が維持されなければ,代替法を適用しなければならない。広く,モンテカルロシミュレーション,高い計算複雑性により患者に依存している。残り様々な分野における問題を解決するために効率的であることが示されている確率時間オートマトンのような更なる装置。しかし,確率時間オートマトン(STA)と統計的モデル検査(SMC)のようなより一般的なだけでなく,正確な迅速手段であるモーメント同じ目的のために利用可能である。論文では,STA/SMCに基づいて信頼性モデルと信頼性評価の構築の背後にある基本的な項と原理の概要を説明し,次いで非修理システムの分野におけるそれらの実用的適用性の実証である。著者らの主な目標は,STA/SMCの装置は種々のパラメータの多重故障の存在のような不利な条件下でも信頼性評価プロセスを容易にできることを示すことである。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モーメント ,  故障 ,  計算量 ,  *モデル検査 ,  患者 ,  修理系 ,  多重化
準シソーラス用語： 信頼性モデル ,  時間付きオートマトン ,  モンテカルロシミュレーション ,  *信頼性評価 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (4件)： 統計 ,  モデルチェッキング ,  フォールトトレラント ,  信頼性評価