Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report

Résumé

The increasing automation of transportation systems has contributed to the emergence of the so-called Cyber-Physical Systems (CPS), which are computation-based systems in which computing devices, sensors, actuators and networks collaborate to monitor and control physical entities via feedback loops. To cope with the increasing complexity of such systems, engineering teams require model-based tools, because they can provide early virtual integration and verification, reuse of existing models, requirements traceability and support of an incremental development process. However, these benefits can only be earned if the chosen modelling languages are expressive enough to capture all aspects necessary to perform the virtual verifications with the required confidence degree.
Fichier principal
Vignette du fichier
ERTS2020PaperCrisafulliMaxim.pdf (562.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02454258 , version 1 (24-01-2020)

Identifiants

  • HAL Id : hal-02454258 , version 1

Citer

Paolo Crisafulli, Dominique Blouin, Françoise Caron, Cristian Maxim. Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02454258⟩
295 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More