A Formal Basis for Safety Case Patterns

Denney, Ewen; Pai, Ganesh

doi:10.1007/978-3-642-40793-2_3

Cited by 41 publications

(60 citation statements)

References 8 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, there is more research and development to be done. For example, we need to explore composition of blocks into reusable domain-specific fragments or patterns, using GSN notation elements [3] and a related formal basis [11]. We also plan on looking into links to challenge and review checklists generated from the blocks, enhancing the default evidence incorporation block to be a composite block for trusted evidence and providing more support for the formal aspects of assurance cases.…”

Section: Discussionmentioning

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

Section: Discussionmentioning

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

show abstract

“…Moreover, it enables the reuse of models and associated analysis results, e.g. guarantees of tolerance on failure communication associated with E2E protection [4] or security-related noninterference associated with partitioning [5].…”

Section: Current State and Challengesmentioning

confidence: 99%

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Ruíz¹,

Gallina²,

Mazzini

et al. 2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do not have a set of standardized and harmonized practices for assurance and certification that ensures safe, secure and reliable operation with typical software and hardware architectures. This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation of labour-intensive certification-oriented activities via using model-based approaches and incremental techniques. AMASS will develop an integrated and holistic approach, a supporting tool ecosystem and a self-sustainable community for assurance and certification of CPS. The approach will be driven by architectural decisions (fully compatible with standards, e.g. AUTOSAR and IMA), including multiple assurance concerns such as safety, security and reliability. AMASS will support seamless interoperability between assurance/certification and engineering activities along with third-party activities (external assessments, supplier assurance). The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs.

show abstract

“…There has also been significant work on defining a formal basis for GSN arguments, patterns and modules [22] [23] [24] [25]. This issue is discussed in more detail in by Habli and Kelly in [26].…”

Section: Related Workmentioning

confidence: 99%

“…This issue is discussed in more detail in by Habli and Kelly in [26]. For example, Denney and Pai propose a formal basis for GSN arguments [22] and patterns [23] and offer automated means, implemented in the AdvoCATE tool [6], for the assembly of safety arguments and the instantiation of argument patterns. In both cases, i.e.…”

Section: Related Workmentioning

confidence: 99%

Weaving an Assurance Case from Design: A Model-Based Approach

Hawkins

Habli

Kolovos

et al. 2015

2015 IEEE 16th International Symposium on High Assurance Systems Engineering

View full text Add to dashboard Cite

AbstractÑ Assurance cases are used to demonstrate confidence in properties of interest for a system, e.g. for safety or security. A model-based assurance case seeks to bring the benefits of model-driven engineering, such as automation, transformation and validation, to what is currently a lengthy and informal process. In this paper we develop a model-based assurance approach, based on a weaving model, which allows integration between assurance case, design and process models and metamodels. In our approach, the assurance case itself is treated as a structured model, with the aim that all entities in the assurance case become linked explicitly to the models that represent them. We show how it is possible to exploit the weaving model for automated generation of assurance cases. Building upon these results, we discuss how a seamless modeldriven approach to assurance cases can be achieved and examine the utility of increased formality and automation.

show abstract

A Formal Basis for Safety Case Patterns

Cited by 41 publications

References 8 publications

Tool Support for Assurance Case Building Blocks

Tool Support for Assurance Case Building Blocks

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Weaving an Assurance Case from Design: A Model-Based Approach

Contact Info

Product

Resources

About