形式モデルに基づくディペンダビリティのアセスメントプロセスの設計

カテゴリ: 研究会(論文単位)

論文No: IS10045

グループ名: 【C】電子・情報・システム部門 情報システム研究会

発行日: 2010/05/28

タイトル(英語): A design for an assessment process for dependability based on a formal model

著者名: 岡本 圭史(産業技術総合研究所),清野 貴博(産業技術総合研究所),高村 博紀(JST),和泉 憲明(産業技術総合研究所),橋田 浩一(産業技術総合研究所),木下 佳樹(産業技術総合研究所)

著者名(英語): Okamoto Keishi(National Institute of Advanced Industrial Science and Technology(AIST)),Seino Takahiro(National Institute of Advanced Industrial Science and Technology(AIST)),Takamura Hiroski(National Institute of Advanced Industrial Science and Technology(AIST)),Izumi Noriaki(National Institute of Advanced Industrial Science and Technology(AIST)),Hasida Koiti(National Institute of Advanced Industrial Science and Technology(AIST)),Kinoshita Yoshiki(National Institute of Advanced Industrial Science and Technology(AIST))

キーワード: アセスメント|ディペンダビリティ|ガイドライン|形式モデル|Assessment|Dependability|Guideline|Formal Model

要約(日本語): 本発表では、形式モデルに基づく、ディペンダビリティ評価のためのアセスメント・プロセスの提案と研究の現在の状況を報告する。具体的には、二種類のガイドラインと双方のガイドラインから利用可能な形式モデルを用いた、ディペンダビリティ評価のためのアセスメント・プロセスを提案し、アセスメントの属人性やコストの低減を図る。

要約(英語): In this presentation we propose a formal model-based assessment process for dependability and report current situation of our research. More precisely we propose an assessment process for dependability, which utilize two kinds of guidelines and a formal model which can be referred from these guidelines, and then we aim to reduce individual expertise and cost for assessment.

原稿種別: 日本語

PDFファイルサイズ: 692 Kバイト