講演名 | 2016-12-20 GSN展開評価手法とセーフティクリティカルなシステムの開発への適用 水本 圭祐(長岡技科大), 平尾 裕司(長岡技科大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論文では,安全要件に関する議論の不十分さを定量的に識別するためにGSN展開評価手法を提案し,システムの安全を十分に保証するための手法として,セーフティクリティカルなシステムの開発への活用について検討した. |
抄録(英) | This paper describes an evaluation method of GSN argument development, of which criterion is based on the consolidation of safety and confidence arguments, as well as its application to safety-critical system development. |
キーワード(和) | GSN / セーフティケース / 鉄道信号 |
キーワード(英) | GSN / Safety Case / Railway signaling |
資料番号 | SSS2016-30 |
発行日 | 2016-12-13 (SSS) |
研究会情報 | |
研究会 | SSS |
---|---|
開催期間 | 2016/12/20(から1日開催) |
開催地(和) | 日大駿河台キャンパス |
開催地(英) | |
テーマ(和) | 機械、ロボット、機能安全 |
テーマ(英) | |
委員長氏名(和) | 梅崎 重夫(労働安全衛生総研) |
委員長氏名(英) | Shigeo Umesaki(JNIOSH) |
副委員長氏名(和) | 木村 昌臣(芝浦工大) |
副委員長氏名(英) | Masaomi Kimura(Shibaura Inst. of Tech.) |
幹事氏名(和) | 鈴木 喜久(NPO循環型社会推進協会) / 池田 隆壽(*) |
幹事氏名(英) | Yoshihisa Suzuki(NPO RDA) / Takatoshi Ikeda(*) |
幹事補佐氏名(和) | 川島 興(オリエンタルモーター) / 高橋 聖(日大) |
幹事補佐氏名(英) | Koh Kawashima(Oriental Motor) / Sei Takahashi(Nihon Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Safety |
---|---|
本文の言語 | JPN |
タイトル(和) | GSN展開評価手法とセーフティクリティカルなシステムの開発への適用 |
サブタイトル(和) | |
タイトル(英) | An Evaluation Method of GSN Argument Development and its application to Safety-critical System Development |
サブタイトル(和) | |
キーワード(1)(和/英) | GSN / GSN |
キーワード(2)(和/英) | セーフティケース / Safety Case |
キーワード(3)(和/英) | 鉄道信号 / Railway signaling |
第 1 著者 氏名(和/英) | 水本 圭祐 / Keisuke Mizumoto |
第 1 著者 所属(和/英) | 長岡技術科学大学(略称:長岡技科大) Nagaoka University of Technology(略称:N.U.T.) |
第 2 著者 氏名(和/英) | 平尾 裕司 / Yuji Hirao |
第 2 著者 所属(和/英) | 長岡技術科学大学(略称:長岡技科大) Nagaoka University of Technology(略称:N.U.T.) |
発表年月日 | 2016-12-20 |
資料番号 | SSS2016-30 |
巻番号(vol) | vol.116 |
号番号(no) | SSS-376 |
ページ範囲 | pp.17-20(SSS), |
ページ数 | 4 |
発行日 | 2016-12-13 (SSS) |