Welcome to the InfoSci Platform
Six-Assurance Case Patterns by Strengthening/Weakening Argument

Six-Assurance Case Patterns by Strengthening/Weakening Argument

Tsutomu Koshiyama, Sei Takahashi
Copyright: © 2021 |Volume: 12 |Issue: 1 |Pages: 25
ISSN: 2640-4265|EISSN: 2640-4273|EISBN13: 9781799863809|DOI: 10.4018/IJSSSP.2021010102
Cite Article Cite Article

MLA

Koshiyama, Tsutomu, and Sei Takahashi. "Six-Assurance Case Patterns by Strengthening/Weakening Argument." IJSSSP vol.12, no.1 2021: pp.21-45. http://doi.org/10.4018/IJSSSP.2021010102

APA

Koshiyama, T. & Takahashi, S. (2021). Six-Assurance Case Patterns by Strengthening/Weakening Argument. International Journal of Systems and Software Security and Protection (IJSSSP), 12(1), 21-45. http://doi.org/10.4018/IJSSSP.2021010102

Chicago

Koshiyama, Tsutomu, and Sei Takahashi. "Six-Assurance Case Patterns by Strengthening/Weakening Argument," International Journal of Systems and Software Security and Protection (IJSSSP) 12, no.1: 21-45. http://doi.org/10.4018/IJSSSP.2021010102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Goal structuring notation (GSN) is widely used in safety cases and other methods for assuring reliability. Demonstrating the fulfillment of a claim in the GSN requires that its achievement be interpreted logically and structurally by the reader. This study proposes a typical pattern of interpreting these structural interpretations. Furthermore, the proposed patterns were verified for their application to actual GSN samples, and the applicability of these patterns was validated. In addition, these patterns were compared with the existing use of the so-called multi-legged arguments, and the differences between them were shown. Moreover, some of the proposed patterns show that there is a difference in the degree of certainty in the achievement of the converted claim, which indicates achievement of the claim from which it is derived.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.