文献

J-GLOBAL ID：201702210499296371   整理番号：17A0942416

フォールト・トレラント・システムの構造オートマトンモデルの開発の方法【Powered by NICT】

Method of developing the structural-automaton models of fault-tolerant systems

著者 (2件)： Fedasyuk Dmytro (Software Department, Lviv Polytechnic National University, UKRAINE, Lviv, 12 S. Bandery str.) ,  Volochiy Serhiy (Software Department, Lviv Polytechnic National University, UKRAINE, Lviv, 12 S. Bandery str.)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CADSM  ページ： 22-26  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 状態遷移モデルの開発は,フォールト・トレラント・システムの離散-連続確率モデルの開発技術の重要な段階である。状態遷移モデルを開発することの知られた方法であるが,それは,いわゆる「構造オートマトンモデル」のうち状態遷移モデルを構築するアルゴリズムに基づいている。この方法は「ASNA」と呼ばれるソフトウェアツールプロトタイプに実装した。構造オートマトンモデルである誤差のない場合,得られた状態遷移モデルも誤差のないであろう。無エラー構造オートマトンモデルを開発の実際の問題である。フォールト・トレラント・システムの構造オートマトンモデル,スイッチングの完了後確率過程の代替転帰を考慮した開発,手順を回収し,制御する方法を提示した。法は誤差のないモデルを開発し,面倒な手順を自動化することを可能にした。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】

分類 (2件)： 信頼性  (KB04040H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： オートマトン ,  モデル ,  開発