Skip to Main content Skip to Navigation
Conference papers

Creation of Assurance Case Using Collaboration Diagram

Abstract : 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.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01397242
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 15, 2016 - 3:53:05 PM
Last modification on : Wednesday, November 16, 2016 - 1:04:11 AM
Long-term archiving on: : Thursday, March 16, 2017 - 6:50:46 PM

File

978-3-642-55032-4_41_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

75

Files downloads

180