 |
Book sections
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.
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 : Saturday, May 1, 2021 - 3:51:00 AM
Contributor : Léna Le Roy <>
Submitted on : Tuesday, June 19, 2018 - 9:39:55 AM
Last modification on : Saturday, May 1, 2021 - 3:51:00 AM