講演名 2014-06-26
重要度継承を導入したGSNとソフトウェア開発への適用(機械安全を主として)
川嵜 一将, 平尾 裕司,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本論文では、マルチエージェントシステムのモデル評価手法として提案されている重要度継承をGSNに適用し、セーフティケース作成のための一手法として、ソフトウェア安全機能の展開とその機能展開のソフトウェア開発への活用について検討した。
抄録(英) This paper discusses, by applying inheritance of importance of safety functions of which method is proposed for multi-agent systems to GSN, safety function development and software development as an approach to safety case preparation.
キーワード(和) GSN / 安全性 / セーフティケース / 鉄道信号
キーワード(英) GSN / Safety / Safety case / Railway signalling
資料番号 SSS2014-12
発行日

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

講演論文情報詳細
申込み研究会 Safety (SSS)
本文の言語 JPN
タイトル(和) 重要度継承を導入したGSNとソフトウェア開発への適用(機械安全を主として)
サブタイトル(和)
タイトル(英) GSN based on the Inheritance of Importance and its Application to Software Development
サブタイトル(和)
キーワード(1)(和/英) GSN / GSN
キーワード(2)(和/英) 安全性 / Safety
キーワード(3)(和/英) セーフティケース / Safety case
キーワード(4)(和/英) 鉄道信号 / Railway signalling
第 1 著者 氏名(和/英) 川嵜 一将 / Kazumasa KAWASAKI
第 1 著者 所属(和/英) 長岡技術科学大学
Nagaoka University of Technology
第 2 著者 氏名(和/英) 平尾 裕司 / Yuji HIRAO
第 2 著者 所属(和/英) 長岡技術科学大学
Nagaoka University of Technology
発表年月日 2014-06-26
資料番号 SSS2014-12
巻番号(vol) vol.114
号番号(no) 106
ページ範囲 pp.-
ページ数 4
発行日