Automated Generation of Modular Assurance Cases with the System Assurance Reference Model

Andrzej Wardziński; Aleksander Jarzębowicz

doi:10.1145/3685936

Automated Generation of Modular Assurance Cases with the System Assurance Reference Model

Abstrakt

Assurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Assurance cases are usually divided into modules which address goals allocated to specific system properties, components, functions, modes of operation or environmental conditions. Depending on the system and assurance process characteristics, assurance case modules may follow shared argument templates. The templates refer to the system, process or environment attributes, described collectively as an assurance case context and stored in external context models. Our goal is to manage all contextual relations at the level of assurance case templates and instantiated arguments with the use of a generic System Assurance Reference Model (SARM). We describe its structure and demonstrate how it can be used to automatically generate assurance case modules, based on templates and context models. The article also presents a prototype tool, SARMER, which implements the SARM model and enables automatic data flow between models and assurance cases. The use of SARM and the SARMER tool is illustrated with an example of a component-based system and a modular assurance case to demonstrate that allocated contracts are satisfied for each component.

Cytowania

0

CrossRef
0

Web of Science
0

Scopus

Autorzy (2)

Andrzej Wardziński
Aleksander Jarzębowicz dr inż.

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

pełna treść artykułu zobacz w serwisie zewnętrznym otwiera się w nowej karcie

Słowa kluczowe

Informacje szczegółowe

Kategoria:

Publikacja w czasopiśmie

Typ:

artykuły w czasopismach

Opublikowano w:

FORMAL ASPECTS OF COMPUTING nr 36, strony 1 - 29,
ISSN: 0934-5043

Język:

angielski

Rok wydania:

2024

Opis bibliograficzny:

Wardziński A., Jarzębowicz A.: Automated Generation of Modular Assurance Cases with the System Assurance Reference Model// FORMAL ASPECTS OF COMPUTING -,iss. 4 (2024), s.23:1-23:29

DOI: