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. |
