Assurance Case Patterns On-line Catalogue

Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 582)

Abstract

Assurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argument is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and published. This paper reports work on development of an on-line assurance case patterns catalogue available in NOR-STA web-based software tool. This work included an extensive literature search, critical evaluation of available patterns and selection of most relevant ones, finally translation of selected patterns to their target representation. The paper also describes a validation case study in which an assurance case for medical devices was reviewed and restructured by introducing patterns. The resulting catalogue was published and its 45 patterns can be directly used in assurance cases built using NOR-STA tool.

Keywords

Assurance case Safety case Pattern Catalogue 

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Ośrodek Badawczo-Rozwojowy Centrum Techniki Morskiej S.A.GdyniaPoland
  2. 2.Department of Software Engineering, Faculty of Electronics, Telecommunications and InformaticsGdańsk University of TechnologyGdańskPoland

Personalised recommendations