Our paper “Scenarios@run.time — Distributed Execution of Specifications on IoT-Connected Robots” was accepted at the 10th International Workshop on Models@run.time (MRT’15), which is co-located with MODELS 2015.

Download our paper here: http://jgreen.de/wp-content/documents/2015/scenarios-at-runtime.pdf

Why is it cool?

We have been working on a new version of ScenarioTools (more information on that coming soon), and can now execute LCS/MSD-style scenario-based specifications on distributed systems.

Our demonstration example is a Car-to-X application that we realized with of RaspberryPi-based robots (Pi2Go, http://4tronix.co.uk/blog/?p=452). These robots communicate via MQTT.

Photo of Car-to-X application example realized with RaspberryPi-based robots

The bulk of the work was done by a group of master students at the Software Engineering Group of the Leibniz Universität Hannover during a project course Ubibots. Also visit the Ubibots project website (http://ubibots2015.scenariotools.org/).

Let me know what you think.