Six-Assurance Case Patterns by Strengthening/Weakening Argument

Six-Assurance Case Patterns by Strengthening/Weakening Argument

Tsutomu Koshiyama, Sei Takahashi
Copyright: © 2021 |Pages: 25
DOI: 10.4018/IJSSSP.2021010102
OnDemand:
(Individual Articles)
Available
$37.50
Current Special Offers
No Current Special Offers
TOTAL SAVINGS: $37.50

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.
Article Preview
Top

Objectives Of The Article

Preparation for Patterning

Prior to patterning, we focus on the relationship between top goals and sub-goals (left figure in Fig. 1) or between top goals and strategies (middle figure in Fig. 1) in the GSN representation method, as well as that between the goals (right figure in Fig. 1).

Figure 1.

Relationship between top goals and sub-goals (left), top goals and strategies (middle), and goals (right)

IJSSSP.2021010102.f01

Complete Article List

Search this Journal:
Reset
Volume 15: 1 Issue (2024): Forthcoming, Available for Pre-Order
Volume 14: 1 Issue (2023)
Volume 13: 2 Issues (2022): 1 Released, 1 Forthcoming
Volume 12: 2 Issues (2021)
Volume 11: 2 Issues (2020)
Volume 10: 2 Issues (2019)
Volume 9: 4 Issues (2018)
View Complete Journal Contents Listing