講演名 2012-11-22
ディペンダビリティ・コンテクストの推定手法の提案
高間 翔太, 松野 裕, 山本 修一郎,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 近年、システムのディペンダビリティを保証するための研究が進められており、様々なシステムを対象にしたアシュアランスケースの作成が進められている。しかし、それらの記述されたアシュアランスケースが妥当であるかどうかを確認することは、未だ解決すべきことが多い。そこで、本稿では与えられたアシュアランスケースからコンテクストを推定する手法を提案する。具体的には、現在記述を進めている、スーパーコンピュータの運用手順に対するアシュアランスケースに対してコンテクストを推定する。本稿では、その初期の結果を報告する。
抄録(英) System assurance has become of great importance in many areas, and assurance cases have been used for assuring dependability of various systems. However, it is difficult to validate the adequacy of assurance case. In this paper, we propose a method to infer contexts of an assurance case. We show a preliminary result on applying the method to an assurance case of the operation manual for the supercomputer of Nagoya University.
キーワード(和) ディペンダビリティ / コンテクスト / アシュアランスケース / 推定手法
キーワード(英) Dependability / Context / Assurance Case / Inference Method
資料番号 KBSE2012-42
発行日

研究会情報
研究会 KBSE
開催期間 2012/11/15(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) ディペンダビリティ・コンテクストの推定手法の提案
サブタイトル(和)
タイトル(英) A Proposal on Inference Method for Dependability Context
サブタイトル(和)
キーワード(1)(和/英) ディペンダビリティ / Dependability
キーワード(2)(和/英) コンテクスト / Context
キーワード(3)(和/英) アシュアランスケース / Assurance Case
キーワード(4)(和/英) 推定手法 / Inference Method
第 1 著者 氏名(和/英) 高間 翔太 / Shota TAKAMA
第 1 著者 所属(和/英) 名古屋大学大学院情報科学研究科
Graduate School of Information Science, Nagoya University
第 2 著者 氏名(和/英) 松野 裕 / Yutaka MATSUNO
第 2 著者 所属(和/英) 名古屋大学情報連携統括本部情報戦略室
Strategy Office of Information and Communications Headquarters, Nagoya University
第 3 著者 氏名(和/英) 山本 修一郎 / Shuichiro YAMAMOTO
第 3 著者 所属(和/英) 名古屋大学情報連携統括本部情報戦略室
Strategy Office of Information and Communications Headquarters, Nagoya University
発表年月日 2012-11-22
資料番号 KBSE2012-42
巻番号(vol) vol.112
号番号(no) 314
ページ範囲 pp.-
ページ数 6
発行日