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

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.

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 accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications

The paper Consistency Checking Scenario-Based Specifications of Dynamic Systems by Combining Simulation and Synthesis, written by Jens Frieben and me, was accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications (BM-FA 2012). It will take place on July 3rd, as part of the ECMFA 2012 in Copenhagen.

The paper describes an approach for improving the play-out of LSC/MSD specifications for dynamic systems by combining the play-out of the specification with execution strategies that could be successfully synthesized from parts of the specification. This symbiosis of play-out and synthesis helps play-out avoid more avoidable violations, similar to smart play-out, but it is also applicable in a setting where symbolic lifelines bind in different ways to objects in a dynamic object system.

A preliminary version of the paper can be found here.

MSD-to-SMV for product lines

Modern technical systems today typically consist of multiple interacting components and very often not only a single product, but a whole product line with different compositions of components and functions must be developed. In joint work with Maxime Cordy and Patrick Heymans (Facultés Universitaires Notre-Dame de la Paix, Namur), Amir Sharifloo and I have developed a new tool for modeling and consistency checking scenario-based product line specifications.

The idea of this tool is that a requirements engineer can first define, by using a feature diagram, that different the variants of a product to consist of different compositions of features. A feature is a set of components and functions to be present in a system. Then, the components and the interactions of these components can be specified for each feature. We propose the interactions to be modeled with Modal Sequence Diagrams (MSDs), a recent variant of Live Sequence Charts (LSCs). Then, we can map a feature diagram and the MSD interaction specifications to a feature transition system encoded in SMV. By using an extension of the NuSMV model checker, we are then able to efficiently check the consistency of the scenario-based product line specification.

Find more information in the Tools section.

AGTIVE 2011 paper accepted for publication

The paper Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata, written in collaboration with Jan Rieke, was accepted for publication.

We presented the paper already last October at the AGTIVE Symposium. The paper describes a number of extension that we have implemented into the TGG Interpreter in the last years in order to apply the tool to a broader range of practically relevant transformation problems. A draft version of the paper can be found here.