Author Archives: jgreen

EffiSynth project: Open doctoral researcher position

Posted on by

I am looking for qualified applicants for a doctoral researcher position in the DFG-fundend project EffiSynth — Design of Energy Effficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning.

Please submit your application via email by November 1st 2015. The position is to be filled by January 2015. The position is for two years, but, if possible, may be extended.

For more information also see the German description of the position.

The goal of this project is to develop methods and tools for engineers to design energy efficient mechatronic systems, for example production systems, that optimize the reuse of braking energy in the system.

This interdisciplinary research project will be carried out in cooperation with the Institute of Mechatronic Systems in Hannover (Jens Kotlarski). I am seeking candidates with a background on model-based software engineering and/or formal methods. Knowledge of mechanical- or control engineering or robotics is a plus. Required is a masters degree (or equivalent) in computer science or a related field of study.

Don’t hesitate to contact me for more information.

Video online: UbiBots – Model Based Software Engineering for Ubiquitous Cyber-Physical Systems

Posted on by
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

Posted on by
Reply

Our talk on “Scenarios@run.time – Modeling, Analyzing, and Executing Specifications of Distributed Systems” was accepted at EclipseCon Europe 2015.

See https://www.eclipsecon.org/europe2015/session/scenariosruntime-%E2%80%93-modeling-analyzing-and-executing-specifications-distributed-systems

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

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)

Posted on by
Reply

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

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.