MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
Cím | MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems |
Közlemény típusa | Conference Paper |
Kiadás éve | 2018 |
Szerzők | Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D. |
Szerkesztő | Dutle, A., Muñoz, C., and Narkawicz, A. |
Konferencia neve | NASA Formal Methods |
Kiadó | Springer International Publishing |
Konferencia helyszíne | Cham |
ISBN-szám | 978-3-319-77935-5 |
Összefoglalás | We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transportation system-of-systems composed of a model railway and a crane which may automatically load and unload cargo from trains where both subsystems need to fulfill functional and safety requirements. The demonstrator is built by using the model-based software engineering principle, while the system level safety is ensured by the combined use of design-time and runtime verification and validation techniques. |