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