Definition and application of an assurance case development method (d*)

Now, information systems are developed as open system that depend on each other. Assurance cases are expected to confirm a dependability of open systems. D*Framework is a method that can make assurance case for open system. In this paper we defined d*Framework formally. Furthermore we apply this met...

Descripción completa

Detalles Bibliográficos
Autores principales: Saruwatari, Takuya, Yamamoto, Shuichiro
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer International Publishing AG 2013
Materias:
Methodology
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3669506/
https://www.ncbi.nlm.nih.gov/pubmed/23741654
http://dx.doi.org/10.1186/2193-1801-2-224
Descripción
Sumario:Now, information systems are developed as open system that depend on each other. Assurance cases are expected to confirm a dependability of open systems. D*Framework is a method that can make assurance case for open system. In this paper we defined d*Framework formally. Furthermore we apply this method with case study and made discussion.

Ejemplares similares