リスク分析手法とモデル検査を組合せた高信頼設計プロセスの提案

• Item type: SIG Technical Reports(1)
• 公開日: 2013-03-04
• タイトル: リスク分析手法とモデル検査を組合せた高信頼設計プロセスの提案
• タイトル / 言語: en
• タイトル: Suggestion of the high reliable design process that combined model checking with risk analysis technique
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: モデル・形式手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: (株)日立製作所横浜研究所
• 著者所属: 国立情報学研究所GRACEセンター
• 著者所属(英): en
• 著者所属(英): Hitachi Ltd. Yokohama Laboratory
• 著者所属(英): en
• 著者所属(英): National Institute of Informatics GRACE Center
• 著者名: 若林, 昇; 吉岡, 信和
• 著者名(英): Noboru, Wakabayashi; Nobukazu, Yoshioka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，様々な機器がネットワーク連携してシステムを形成している．特にシステムの構成要素ならびに構成要素間の関係が運用環境によって異なるようなオープンシステムが普及しようとしている．このようなシステムでは，運用時の振舞いを完全に予測することは困難であり，想定できていなかった重大な障害を引き起こし重大事故に陥る可能性がある．本論文では，重大事故につながるシステムの脆弱性を発見する手法として，障害を事前に想定し信頼性を確保するリスク分析手法，特に FMEA と，システムの状態を網羅的に検証するモデル検査を組合せ，重大事故となる結果から脆弱性の原因を自動的に追求するアルゴリズムを使った高信頼設計プロセスを提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Recently various information systems are connected through a network and become the huge information system group that provides a service. Especially open systems are going to spread, in which components of the system and the relationship with the components change by operation environments. In such a system group, it is difficult to completely predict the behavior of the system, there is possibility that an unpredicted serious failure causes a serious accident. This paper proposes a high reliable design process that combines model checking that can verify cyclopedically with a risk analysis technique by which we can assume faults in advance and provide reliability.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2013-SE-179, 号 34, p. 1-7, 発行日 2013-03-04
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会