Scenarios@run.time – Modeling, Analyzing, and Executing Specifications of Distributed Systems
In our work environments and daily lives, we are increasingly surrounded by connected embedded systems. Industry 4.0, Car-to-X communication, or Smart Homes are just a few current trends. The growing functionality and the concurrent and distributed nature of the applications are a great challenge during development. In order to help engineers deal with the rising complexity, we are developing a formal scenario-based method for specifying the interaction behavior of the components on an inter-component level. Our Eclipse-based tool suite ScenarioTools allows engineers to model scenario specifications textually. Furthermore, the scenarios can be executed and thereby simulated, or they can be formally checked for inconsistencies. We also developed a prototype approach for the execution of the scenarios in a distributed system where the components coordinate via MQTT. In this talk, we introduce our method and tool and demonstrate the distributed execution by a Car-to-X example implemented on Raspberry Pi-based robots.