講演名 | 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 |
発行日 |