Presentation | 2016-12-20 An Evaluation Method of GSN Argument Development and its application to Safety-critical System Development Keisuke Mizumoto, Yuji Hirao, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | GSN / Safety Case / Railway signaling |
Paper # | SSS2016-30 |
Date of Issue | 2016-12-13 (SSS) |
Conference Information | |
Committee | SSS |
---|---|
Conference Date | 2016/12/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Shigeo Umesaki(JNIOSH) |
Vice Chair | Masaomi Kimura(Shibaura Inst. of Tech.) |
Secretary | Masaomi Kimura(NPO RDA) |
Assistant | Koh Kawashima(Oriental Motor) / Sei Takahashi(Nihon Univ.) |
Paper Information | |
Registration To | Technical Committee on Safety |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Evaluation Method of GSN Argument Development and its application to Safety-critical System Development |
Sub Title (in English) | |
Keyword(1) | GSN |
Keyword(2) | Safety Case |
Keyword(3) | Railway signaling |
1st Author's Name | Keisuke Mizumoto |
1st Author's Affiliation | Nagaoka University of Technology(N.U.T.) |
2nd Author's Name | Yuji Hirao |
2nd Author's Affiliation | Nagaoka University of Technology(N.U.T.) |
Date | 2016-12-20 |
Paper # | SSS2016-30 |
Volume (vol) | vol.116 |
Number (no) | SSS-376 |
Page | pp.pp.17-20(SSS), |
#Pages | 4 |
Date of Issue | 2016-12-13 (SSS) |