Ensuring Dependability and Performance for CPS Design: Application to a Signaling System

E. Soubiran 1 F. Guenab 1 D. Cancila 2 A. Koudri 3 L. Wouters 3
1 Alstom Transport - Alstom Transport
2 DACLE-LIST - Département d'Architectures, Conception et Logiciels Embarqués-LIST
3 IRT SystemX - IRT SystemX
Abstract : This chapter follows the development process of a cyber-physical system in the railway industry. It starts from the scenario of passengers getting on and off an autonomous train and explores the engineering steps from the identification of the user needs down to the system design and implementation. The chapter emphasizes the iterative and collaborative nature of the engineering process with a special care for the continuous verification of engineering choices. Moreover, it studies how engineering data are shared across disciplines, as this is a key element supporting continuous verification.
Document type :
Book sections
Complete list of metadatas
https://hal-cea.archives-ouvertes.fr/cea-01818394
Contributor : Léna Le Roy <>
Submitted on : Tuesday, June 19, 2018 - 9:39:55 AM
Last modification on : Tuesday, June 4, 2019 - 11:28:26 AM

Identifiers

Collections

CEA | CEA-UPSAY | DRT | LIST | UNIV-PARIS-SACLAY | IRT-SYSTEMX

Citation

E. Soubiran, F. Guenab, D. Cancila, A. Koudri, L. Wouters. Ensuring Dependability and Performance for CPS Design: Application to a Signaling System. Cyber-Physical Systems: Foundations, Principles and Applications, Elsevier Inc., pp.363-375, 2016, 9780128038741; 9780128038017. ⟨10.1016/B978-0-12-803801-7.00023-7⟩. ⟨cea-01818394⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

45

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD