Presentation | 2015-01-26 A report of practical system assurance exercise Toshinori TAKAI, Yutaka MATSUNO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We conducted an exercise called system assurance, which means a justified confidence about risk-related properties of system or software. The exercise is designed as (1) the topic of the exercise for each student is about the research topic of the student, (2) it does not include implementation of the system, and (3) the final goal of the exercise is to construct an assurance case and its evaluation. This report shows the results and discusses the outcomes. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | system assurance educaiton / collaboration between academia and industry / assurance case |
Paper # | KBSE2014-40 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2015/1/19(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 report of practical system assurance exercise |
Sub Title (in English) | |
Keyword(1) | system assurance educaiton |
Keyword(2) | collaboration between academia and industry |
Keyword(3) | assurance case |
1st Author's Name | Toshinori TAKAI |
1st Author's Affiliation | Nara Institute of Science and Technology() |
2nd Author's Name | Yutaka MATSUNO |
2nd Author's Affiliation | University of Electro-Communications |
Date | 2015-01-26 |
Paper # | KBSE2014-40 |
Volume (vol) | vol.114 |
Number (no) | 420 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |