Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02454258
Contributor : Cristian Maxim <>
Submitted on : Friday, January 24, 2020 - 12:28:31 PM
Last modification on : Tuesday, June 23, 2020 - 12:50:15 PM
Document(s) archivé(s) le : Saturday, April 25, 2020 - 3:05:28 PM

File

ERTS2020PaperCrisafulliMaxim.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02454258, version 1

Citation

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⟩

Share

Metrics

Record views

162

Files downloads

46