D* framework creation procedure from collaboration diagram

Takuya Saruwatari^* and Shuichiro Yamamoto

Nagoya University

Nagoya, Japan

saruwatari.takuya@e.mbox.nagoya-u.ac.jp, yamamotosui@icts.nagoya-u.ac.jp

Abstract

Recently, serious failures of complex IT systems are becoming social problems. Assurance cases are attracted as a technique to assure the dependability of critical systems. To describe an assurance case, d* framework is proposed. The d* framework is an extended assurance case notation based on the network of dependable actors. In this paper, d* framework creation procedure that creates the assurance case from the collaboration diagram is proposed. Moreover, the case study is performed to evaluate the proposed procedure.

Keywords: d* framework, assurance case, dependability, collaboration diagram

*Corresponding Author: Takuya Saruwatari
NTT Software Innovation Center, NSS2 Bldg., 6F, 2-13-34 Konan, Minato-ku, Tokyo 108-0075, Japan

IT Convergence Practice (INPRA), Vol. 2, No. 2, pp. 43-54, June 2014 [pdf]