Creation of Assurance Case Using Collaboration Diagram - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Creation of Assurance Case Using Collaboration Diagram

Takuya Saruwatari
  • Fonction : Auteur
  • PersonId : 993465
Shuichiro Yamamoto
  • Fonction : Auteur
  • PersonId : 993466

Résumé

Recently, serious failures of complex IT systems are becoming social problems. Assurance case attracts an attention as a technique to assure the dependability of critical systems. We have proposed d* framework which is an extended assurance case notation based on the network of dependable actors. In this paper, The assurance case creation procedure that creates the assurance case from the collaboration diagram is proposed and the case study is performed using this procedure. In this case study, a result is described by d* framework.
Fichier principal
Vignette du fichier
978-3-642-55032-4_41_Chapter.pdf (691.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01397242 , version 1 (15-11-2016)

Licence

Identifiants

Citer

Takuya Saruwatari, Shuichiro Yamamoto. Creation of Assurance Case Using Collaboration Diagram. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.413-418, ⟨10.1007/978-3-642-55032-4_41⟩. ⟨hal-01397242⟩
63 Consultations
85 Téléchargements

Altmetric

Partager

More