Presentation | 2012/7/20 A Survey on Structured Documents for Assurance Cases Yutaka MATSUNO, Vaise PATU, Shuichiro YAMAMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In safety critical area, recently assurance cases have been widely used. Assurance cases are structured documents for assuring safety/dependability/etc of the system based on evidence. Assurance cases are often written in a graphical notation such as GSN (Goal Structuring Notation). However, assurance cases in GSN and other notations are written in mostly weakly structured natural languages, so it is difficult to write and verify assurance cases. To ease the difficulty, several studies have been conducted. In this paper we survey such studies. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Assurance Case / Structured Documents |
Paper # | KBSE2012-20,SS2012-18 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2012/7/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Survey on Structured Documents for Assurance Cases |
Sub Title (in English) | |
Keyword(1) | Assurance Case |
Keyword(2) | Structured Documents |
1st Author's Name | Yutaka MATSUNO |
1st Author's Affiliation | Strategy Office, Information and Communications Headquarters, Nagoya University() |
2nd Author's Name | Vaise PATU |
2nd Author's Affiliation | Strategy Office, Information and Communications Headquarters, Nagoya University |
3rd Author's Name | Shuichiro YAMAMOTO |
3rd Author's Affiliation | Strategy Office, Information and Communications Headquarters, Nagoya University |
Date | 2012/7/20 |
Paper # | KBSE2012-20,SS2012-18 |
Volume (vol) | vol.112 |
Number (no) | 165 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |