Assurance Case Patterns On-line Catalogue

Monika Szczygielska; Aleksander Jarzębowicz

doi:10.1007/978-3-319-59415-6_39

Assurance Case Patterns On-line Catalogue

Abstrakt

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 argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. 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.

Cytowania

8

CrossRef
0

Web of Science
1 0

Scopus

Autorzy (2)

Monika Szczygielska
Aleksander Jarzębowicz dr inż.

Cytuj jako

Pełna treść

pobierz publikację

pobrano 221 razy

Wersja publikacji: Accepted albo Published Version
Licencja: Copyright (Springer International Publishing AG 2018)

Słowa kluczowe

Informacje szczegółowe

Kategoria:: Aktywność konferencyjna
Typ:: materiały konferencyjne indeksowane w Web of Science
Tytuł wydania:: Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017 strony 407 - 417
Język:: angielski
Rok wydania:: 2017
Opis bibliograficzny:: Szczygielska M., Jarzębowicz A..: Assurance Case Patterns On-line Catalogue, W: Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017, 2017, Springer,.
DOI:: Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-319-59415-6_39
Weryfikacja:: Politechnika Gdańska