An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Ada Letters Année : 2023

An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

Résumé

This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.
Fichier non déposé

Dates et versions

Identifiants

Citer

Dominique Blouin, Paolo Crisafulli, Cristian Maxim, Francoise Caron. An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study. Ada Letters, 2023, 43 (1), pp.69-72. ⟨10.1145/3631483.3631493⟩. ⟨hal-04438276⟩
21 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More