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.
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.
Copy
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
Copy
@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},}
Copy
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 -