MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems

TitleMoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsVö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.
EditorDutle, A., Muñoz, C., and Narkawicz, A.
Conference NameNASA Formal Methods
PublisherSpringer International Publishing
Conference LocationCham
ISBN Number978-3-319-77935-5

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.