The search functionality is under construction.
The search functionality is under construction.

Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method

Yutaka MATSUNO, Toshinori TAKAI, Shuichiro YAMAMOTO

  • Full Text Views

    0

  • Cite this

Summary :

Assurance cases are documents for arguing that systems satisfy required properties such as safety and security in the given environment based on sufficient evidence. As systems become complex and networked, the importance of assurance cases has become significant. However, we observe that creating assurance cases has some essential difficulties, and unfortunately it seems that assurance cases have not been widely used in industries. For this problem, we have been developing assurance cases creation methods and opening workshops based on the creation methods. This paper presents an assurance cases creation method called “D-Case Steps” which is based on d* framework[1], an agent-based assurance case method, and reports the results of workshops. The results indicate that our workshops have been improved and our activities on assurance cases facilitates use of them in Japan. This paper is an extended version of [2]. We add detailed background and related works, workshops results and evaluation, and lessons learned from our a decade experiences.

Publication
IEICE TRANSACTIONS on Information Vol.E103-D No.6 pp.1297-1308
Publication Date
2020/06/01
Publicized
2020/03/11
Online ISSN
1745-1361
DOI
10.1587/transinf.2019KBP0014
Type of Manuscript
Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category

Authors

Yutaka MATSUNO
  Nihon University
Toshinori TAKAI
  Nara Advanced Institute of Science and Technology
Shuichiro YAMAMOTO
  Nagoya University

Keyword