文献

J-GLOBAL ID：201802239421233507   整理番号：18A0442374

Petriネットに基づくソフトウェアアーキテクチャモデル化と信頼性評価【Powered by NICT】

Software Architecture Modeling and Reliability Evaluation Based on Petri Net

著者 (4件)： Zhang Chi ,  Ma Yunyun ,  Wang Xiaohua ,  Wang Ruixue
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DSA  ページ： 51-56  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア信頼性は,ソフトウェア品質評価における最も重要な品質指標の一つであり,ソフトウェア工学と成分再利用の発展に伴い,ソフトウェアアーキテクチャに基づく信頼性解析は,研究ホットスポットになっている。本論文では,最初に既存のアーキテクチャベース信頼性評価モデルに関するレビューを,既存のアーキテクチャベース信頼性評価型と典型的なモデルを提案し,これらのモデルの不足を進める。そのペトリネットは並列と非同期性の記述の良好な能力を有している。Petriネットモデルの研究に焦点を当て,時間転移と瞬間遷移への遷移を分割し,時間的信頼性時間遅延信頼性と時間的信頼性を追加し,ソフトウェアアーキテクチャモデリングを確立するこれらの方法。成分状態とシステム到達可能状態の間の関係の研究により,可到達状態遷移行列を設定とシステム信頼性評価を行った。最後に,航空電子組込み型ソフトウェアに上記の方法を用いて,構造モデリング,信頼性評価と誤差解析を達成するため,この方法の有効性と精度を証明した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 誤差解析 ,  *信頼性 ,  状態推移行列 ,  *モデリング ,  システム信頼度 ,  再利用 ,  ソフトウェア工学 ,  *ソフトウェア ,  *Petriネット ,  信頼性解析
準シソーラス用語： 構造モデル ,  ソフトウェア品質 ,  ソフトウェア信頼性 ,  *信頼性評価 ,  *ソフトウェアアーキテクチャ , 【Automatic Indexing@JST】

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (4件)： Petriネット ,  ソフトウェアアーキテクチャ ,  モデル化 ,  信頼性評価