講演名 2015-03-05
モジュールを用いた安全性ケースの読解性向上手法についての考察
近藤 純平, 森崎 修司, 山本 修一郎,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) システムが安全性を満足することを示すため安全性ケースが用いられる.しかし,多くの要素を含む安全性ケースの読解性には,システムの構造が理解し辛いなどの課題がある.このため,本稿では,モジュールを用いることで安全性ケースの読解性を向上できることを示す.また,モジュール作成のために,木構造に基づくシステム構成木を定義し,これを用いてシステムの構造を理解しやすくすることで読解性の良いモジュールの作成手順を提案する.
抄録(英) Safety case is used to indicate that the system satisfies the safety. However, there are problems such as difficulty to understand the structure of the system based on safety cases. In this paper, we will show that the module concept of safety cases can improve the understandability of safety cases. We also propose the system configuration tree based on the tree structure to clarify the relationship between the system configuration and safety cases. Moreover, a method to create safety case modules based on the system configuration trees will also be proposed to facilitate the understanding of the system structure from safety cases.
キーワード(和) 安全性ケース / モジュール / システム構成木
キーワード(英) Safety cases / modules / System configuration tree
資料番号 KBSE2014-58
発行日

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

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) モジュールを用いた安全性ケースの読解性向上手法についての考察
サブタイトル(和)
タイトル(英) A study of reading comprehension improvement technique of safety case with modules
サブタイトル(和)
キーワード(1)(和/英) 安全性ケース / Safety cases
キーワード(2)(和/英) モジュール / modules
キーワード(3)(和/英) システム構成木 / System configuration tree
第 1 著者 氏名(和/英) 近藤 純平 / Kondou JYUNPEI
第 1 著者 所属(和/英) 名古屋大学工学部
Shool of Engineering Nagoya University
第 2 著者 氏名(和/英) 森崎 修司 / Shuji MORISAKI
第 2 著者 所属(和/英) 名古屋大学情報科学研究科
Nagoya University, Graduate School of Information Science
第 3 著者 氏名(和/英) 山本 修一郎 / Shuichiroh YAMAMOTO
第 3 著者 所属(和/英) 名古屋大学情報連携統括本部情報戦略室
Nagoya University, Strategy Office, Information and Communications Headquaters
発表年月日 2015-03-05
資料番号 KBSE2014-58
巻番号(vol) vol.114
号番号(no) 501
ページ範囲 pp.-
ページ数 6
発行日