MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
| Title | MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | 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. |
| Editor | Dutle, A., Muñoz, C., and Narkawicz, A. |
| Conference Name | NASA Formal Methods |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-319-77935-5 |
| Abstract | 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. |
