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
_version_ 1782271766444376064
author Saruwatari, Takuya
Yamamoto, Shuichiro
author_facet Saruwatari, Takuya
Yamamoto, Shuichiro
author_sort Saruwatari, Takuya
collection PubMed
description 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.
format Online
Article
Text
id pubmed-3669506
institution National Center for Biotechnology Information
language English
publishDate 2013
publisher Springer International Publishing AG
record_format MEDLINE/PubMed
spelling pubmed-36695062013-06-03 Definition and application of an assurance case development method (d*) Saruwatari, Takuya Yamamoto, Shuichiro Springerplus Methodology 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. Springer International Publishing AG 2013-05-16 /pmc/articles/PMC3669506/ /pubmed/23741654 http://dx.doi.org/10.1186/2193-1801-2-224 Text en © Saruwatari and Yamamoto; licensee Springer. 2013 This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
spellingShingle Methodology
Saruwatari, Takuya
Yamamoto, Shuichiro
Definition and application of an assurance case development method (d*)
title Definition and application of an assurance case development method (d*)
title_full Definition and application of an assurance case development method (d*)
title_fullStr Definition and application of an assurance case development method (d*)
title_full_unstemmed Definition and application of an assurance case development method (d*)
title_short Definition and application of an assurance case development method (d*)
title_sort definition and application of an assurance case development method (d*)
topic Methodology
url 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
work_keys_str_mv AT saruwataritakuya definitionandapplicationofanassurancecasedevelopmentmethodd
AT yamamotoshuichiro definitionandapplicationofanassurancecasedevelopmentmethodd

Ejemplares similares