The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Les dossiers d'assurance sont des documents permettant d'affirmer que les systèmes satisfont aux propriétés requises telles que la sûreté et la sécurité dans un environnement donné, sur la base de preuves suffisantes. À mesure que les systèmes deviennent complexes et mis en réseau, l’importance des dossiers d’assurance est devenue significative. Cependant, nous observons que la création de dossiers d’assurance présente des difficultés essentielles et, malheureusement, il semble que les dossiers d’assurance n’aient pas été largement utilisés dans les industries. Pour ce problème, nous avons développé des méthodes de création de dossiers d'assurance et ouvert des ateliers basés sur les méthodes de création. Ce document présente une méthode de création de dossiers d'assurance appelée « D-Case Steps » qui est basée sur d* framework[1], une méthode de cas d'assurance basée sur des agents, et rend compte des résultats des ateliers. Les résultats indiquent que nos ateliers ont été améliorés et nos activités sur les cas d'assurance facilitent leur utilisation au Japon. Cet article est une version étendue de [2]. Nous ajoutons un contexte détaillé et des travaux connexes, des résultats et des évaluations d'ateliers, ainsi que des leçons tirées de nos expériences d'une décennie.
Yutaka MATSUNO
Nihon University
Toshinori TAKAI
Nara Advanced Institute of Science and Technology
Shuichiro YAMAMOTO
Nagoya University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Yutaka MATSUNO, Toshinori TAKAI, Shuichiro YAMAMOTO, "Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 6, pp. 1297-1308, June 2020, doi: 10.1587/transinf.2019KBP0014.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019KBP0014/_p
Copier
@ARTICLE{e103-d_6_1297,
author={Yutaka MATSUNO, Toshinori TAKAI, Shuichiro YAMAMOTO, },
journal={IEICE TRANSACTIONS on Information},
title={Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method},
year={2020},
volume={E103-D},
number={6},
pages={1297-1308},
abstract={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.},
keywords={},
doi={10.1587/transinf.2019KBP0014},
ISSN={1745-1361},
month={June},}
Copier
TY - JOUR
TI - Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-Based Method
T2 - IEICE TRANSACTIONS on Information
SP - 1297
EP - 1308
AU - Yutaka MATSUNO
AU - Toshinori TAKAI
AU - Shuichiro YAMAMOTO
PY - 2020
DO - 10.1587/transinf.2019KBP0014
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2020
AB - 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.
ER -