The Institute of Mechatronic Systems in Hannover (Jens Kotlarski) and I will commence in 2016 with our project EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning.
Author Archives: jgreen
Attending models@run.time workshop today
I’m looking forward to the models@run.time workshop today. I’ll be presenting our scenarios@run.time paper this afternoon. See you there.
Video online: UbiBots – Model Based Software Engineering for Ubiquitous Cyber-Physical Systems
Reply
The final presentation video of the project course “UbiBots – Model Based Software Engineering for Ubiquitous Cyber-Physical Systems” is now uploaded to YouTube.
The video presents the results of a master project course conducted at the Software Engineering group of the Leibniz Universität Hannover (http://www.se.uni-hannover.de/) in 2015.
In this course, a group of students used the ScenarioTools tool suite (http://scenariotools.org/) to specify the behavior of an advanced driver assistance system based on Car-to-X communication. The main example regarded in the course was the warning of drivers as they pass a narrow lane caused by roadworks.
Then an execution infrastructure was developed to execute the scenario-based specification on RaspberryPi-based and Java-enabled robots (Pi2Go).
See also the project website: http://ubibots2015.scenariotools.org/
See also a paper publication of the topic (scenarios@run.time): http://jgreen.de/wp-content/documents…
Talk on scenarios@run.time accepted at EclipseCon Europe 2015
Our talk on “Scenarios@run.time – Modeling, Analyzing, and Executing Specifications of Distributed Systems” was accepted at EclipseCon Europe 2015.
We will be talking about our new upcoming release of ScenarioTools (http://scenariotools.org) and how we run it on distributed MQTT-connected RaspberryPi robots.
Photo of Car-to-X application example realized with RaspberryPi-based robots
Paper on scenarios@run.time accepted at the models@run.time Workshop (MRT’15)
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.
Testing Jetpack Publicize for WordPress
I’m testing the Publicize Feature of my Jetpack plugin for WordPress to publish posts simultaneously via my Google+ account account and my Twitter account.
Testing Jetpack Publicize
I’m testing the Publicize Feature of my Jetpack plugin for WordPress to publish posts simultaneously via my Google+ account account and my Twitter account.
Paper accepted at MODELS 2015
Our Paper “Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications” was accepted at the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015).
Download the paper here and see the Publications for more information.
Paper accepted at the ESEC/FSE 2015 Industrial Track
Our Paper “Evaluating a Formal Scenario-Based Method for the Requirements Analysis in Automotive Software Engineering” was accepted at the Industrial Track of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015).
See the Publications for more information.
Paper accepted at SPLC 2015
Our Paper “All-At-Once-Synthesis of Controllers from Scenario-Based Product Line Specifications” was accepted at the 19th International Software Product Line Conference (SPLC 2015).
See the Publications for more information.