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