SCT: A Safety Case Toolkit

Aiello, M. Anthony; Hocking, Ashlie B.; Knight, John; Rowanhill, Jonathan

doi:10.1109/issrew.2014.99

Cited by 4 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In general, this conformance can be managed similarly to the instance conformance we considered in this report (Sect. [3][4]. The next section provides some details.…”

Section: A Gsn Vs Caementioning

confidence: 99%

Assurance via workflow+ modelling and conformance

Diskin¹,

Annable²,

Wassyng³

et al. 2019

Preprint

View full text Add to dashboard Cite

We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process is defined and executed, and checking their conformance. These workflows are based on precise data modelling as in functional block diagrams, but their distinctive feature is the presence of relationships between the output data of a process and its input data; hence, the name "Workflow Plus".A typical WF + -model comprises three layers: (i) process and control flow, (ii) dataflow (with input-output relationships), and (iii) argument flow or constraint derivation. Precise dataflow modelling signifies a crucial distinction of WF + -based and GSNbased assurance, in which the data layer is mainly implicit. We provide a detailed comparative analysis of the two formalisms and conclude that GSN does not fulfil its promises.

show abstract

“…In general, this conformance can be managed similarly to the instance conformance we considered in this report (Sect. [3][4]. The next section provides some details.…”

Section: A Gsn Vs Caementioning

confidence: 99%

Assurance via workflow+ modelling and conformance

Diskin¹,

Annable²,

Wassyng³

et al. 2019

Preprint

View full text Add to dashboard Cite

show abstract

“…There are other products [5,6] available to assist in the structured assurance case development. What makes our tool unique is support for the CAE blocks as self-contained reusable configurable components.…”

Section: Introductionmentioning

confidence: 99%

Tool Support for Assurance Case Building Blocks

Netkachova

Netkachov

Bloomfield

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

This is the accepted version of the paper.This version of the publication may differ from the final published version. Abstract. This paper presents a tool for structuring arguments in assurance cases. The tool is designed to support the methodology of Claims-Arguments-Evidence (CAE) Building Blocks that provides a series of archetypal CAE fragments to help structure cases more formally and systematically. It assists with the development and maintenance of structured assurance cases by providing facilities to manage CAE blocks and partially automate the generation of claim structures. In addition to the tool, new visual guidelines called "Helping hand" is provided to assist in applying the building blocks. The tool has been implemented on the Adelard ASCE platform. The target users are assurance case developers and reviewers. The tool and associated methodology can also be useful for people learning how to structure cases in a more rigorous and systematic manner. Permanent repository linkKeywords: Claims·argument·evidence·CAE building blocks·helping hand·ASCE tool·support. IntroductionOver the past ten years there has been a trend towards an explicit claim-based approach to safety justification and considerable work has been done on developing and structuring assurance cases [1,2,3]. However, the practice of how to structure and present cases is very varied. There are lots of different styles with different expressiveness and these many approaches make it difficult to compare cases and hard to provide a more rigorous semantics. To address these issues and provide a more rigorous approach to architecting cases, we have defined specific rules that restrict the type of argument structures and developed a collection of building blocks for assurance cases that help construct cases more formally and systematically [4]. During the development of CAE building blocks, we reviewed a wide range of cases from the defence, medical, financial and nuclear sector and the proposed set of building blocks were able to capture most of what was being expressed. We wish to deploy these CAE building blocks, evaluating their use and improving the methodology.The tool presented in this paper is designed to aid the research and practice of developing structured formal and semi-formal assurance cases. There are other products [5,6] available to assist in the structured assurance case development. What makes our tool unique is support for the CAE blocks as self-contained reusable configurable components. It is a purpose-built tool designed specifically for the building blocks methodology, therefore, it was essential to integrate it with a widely-used assurance case software to make an impact. We implemented it on top of ASCE [7], which is a marketleading tool for the development and maintenance of assurance cases across a wide range of industries. ASCE is a commercial product but it is available free of charge for academic research purposes.The paper is structured in the following way. The concept of CAE building blocks needed to understan...

show abstract