Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance - Proceeding of the 11th European Congress on Embedded Real Time Systems
Conference Papers Year : 2022

Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance

Abstract

Establishing that safety-critical systems are actually safe requires a large effort and involves a range of tasks, from conducting preliminary hazard analyses to creating detailed assurance cases. This paper introduces the Architecture-Supported Audit Processor, or ASAP, which generates a number of safety-specific system views that deeply integrate a system's architecture and arguments about its safety. These views are generated interactively and automatically using safety-specific extensions to the Architecture Analysis and Design Language (AADL). Though use of the tooling and views do not require the use of any particular process, they align well with a system-theoretic approach. This paper discusses the background and use of ASAP on a demonstrative example.
Fichier principal
Vignette du fichier
main.pdf (1.61 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03701277 , version 1 (05-07-2022)

Licence

Copyright

Identifiers

  • HAL Id : hal-03701277 , version 1

Cite

Sam Procter, Jerome Hugues. Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance. 11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France. ⟨hal-03701277⟩

Collections

ERTS2022
207 View
57 Download

Share

More