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

Abstract

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.

Citations

0

CrossRef
0

Web of Science
0

Scopus

Authors (2)

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

Cite as

Full text

full text is not available in portal

full content of the article see on external site open in new tab

Keywords

Details

Category:

Articles

Type:

artykuły w czasopismach

Published in:

FORMAL ASPECTS OF COMPUTING no. 36, pages 1 - 29,
ISSN: 0934-5043

Language:

English

Publication year:

2024

Bibliographic description:

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: