Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1) , (2, 3, 4) , , (5)
1
2
3
4
5

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02454258 , version 1

Cite

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⟩
229 View
96 Download

Share

Gmail Facebook Twitter LinkedIn More