Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-03701277 , version 1

Citer

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
126 Consultations
25 Téléchargements

Partager

Gmail Facebook X LinkedIn More