講演名 | 2018-10-26 アシュアランスケースの主張の変換を含めた議論パターンの提案 越山 勉(日大), 高井 利憲(奈良先端大), 松野 裕(日大), 高橋 聖(日大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 近年、安全性国際規格で安全性を構造化された文書で保証するセーフティケースやアシュアランスケースと呼ばれる文書が広く要求項目となっている。そのグラフィカルな表記法として、論証を構造的に記述するための記法であるGSN(Goal Structuring Notation)がよく使われている。我々はまず、公開されている96個のGSNを分析することにより、GSNは論理的な論証の記述に加えて、主張内容を強く、もしくは弱くして論証を展開している場合があるという観察を得た。本研究では、この観察に基づき、GSNにおける論証の展開パターンを6種類に分類した。これらのパターンはアシュアランスケース記述の一般的な指針を与えられると考える。 |
抄録(英) | |
キーワード(和) | GSN / D-Case / 論証 / アシュアランスケース / セーフティケース |
キーワード(英) | |
資料番号 | R2018-36 |
発行日 | 2018-10-19 (R) |
研究会情報 | |
研究会 | R |
---|---|
開催期間 | 2018/10/26(から1日開催) |
開催地(和) | 機械振興会館 |
開催地(英) | Kikai-Shinko-Kaikan Bldg. |
テーマ(和) | 情報通信システムの信頼性,信頼性一般 |
テーマ(英) | Reliability for communication system, Overall reliability engieering |
委員長氏名(和) | 弓削 哲史(防衛大) |
委員長氏名(英) | Tetsushi Yuge(National Defense Academy) |
副委員長氏名(和) | 安里 彰(富士通) |
副委員長氏名(英) | Akira Asato(Fujitsu) |
幹事氏名(和) | 田村 信幸(法政大) / 平栗 滋人(鉄道総研) |
幹事氏名(英) | Nobuyuki Tamura(Hosei Univ.) / Shigeto Hiraguri(RTRI) |
幹事補佐氏名(和) | 井上 真二(関西大) / 岡村 寛之(広島大) |
幹事補佐氏名(英) | Shinji Inoue(Kansai Univ.) / Hiroyuki Okamura(Hiroshima Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Reliability |
---|---|
本文の言語 | JPN |
タイトル(和) | アシュアランスケースの主張の変換を含めた議論パターンの提案 |
サブタイトル(和) | |
タイトル(英) | Proposal of argument pattern with goal transformation of assurance case |
サブタイトル(和) | |
キーワード(1)(和/英) | GSN |
キーワード(2)(和/英) | D-Case |
キーワード(3)(和/英) | 論証 |
キーワード(4)(和/英) | アシュアランスケース |
キーワード(5)(和/英) | セーフティケース |
第 1 著者 氏名(和/英) | 越山 勉 / Tsutomu Koshiyama |
第 1 著者 所属(和/英) | 日本大学(略称:日大) Nihon University(略称:Nihon Univ.) |
第 2 著者 氏名(和/英) | 高井 利憲 / Takai Toshinori |
第 2 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Technology(略称:NAIST) |
第 3 著者 氏名(和/英) | 松野 裕 / Yutaka Matsuno |
第 3 著者 所属(和/英) | 日本大学(略称:日大) Nihon University(略称:Nihon Univ.) |
第 4 著者 氏名(和/英) | 高橋 聖 / Sei Takahashi |
第 4 著者 所属(和/英) | 日本大学(略称:日大) Nihon University(略称:Nihon Univ.) |
発表年月日 | 2018-10-26 |
資料番号 | R2018-36 |
巻番号(vol) | vol.118 |
号番号(no) | R-267 |
ページ範囲 | pp.13-18(R), |
ページ数 | 6 |
発行日 | 2018-10-19 (R) |