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

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

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⟩

Share

Metrics

Record views

55