We uploaded a preprint of our paper “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems — Early Virtual Prototyping of Car-to-X System Specifications”, which was accepted at the MEKES 2018 Workshop.
We also created a video presentation of our work, including a demo of the implemented prototype.
- The coordination logic of a car-to-x system is modeled using SML scenarios
- These scenarios are compiled to specialized Java code that executes the scenarios.
- The code is executed in a distributed setting, running on a laptop and Android devices
- The scenario execution is integrated with a 3D driving simulator (OpenDS): collisions of cars with marker objects in the 3D simulation are translated to environment events that are injected into the play-out of the car-to-x coordination logic.
I was interviewed by the philosophy research institute in Hannover on digitalization, the effect of social media on democracy and the role of philosophy in this context. The interview appears in the fiph Journal:
see interview and fiph Journal edition of Fall 2017.
Our paper “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example” was accepted at the 1st Model-Driven Engineering Tools Challenge Workshop (MDETools’17), co-located with MODELS 2017.
Our tool demo paper From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology was accepted at ESEC/FSE 2017. See you in Paderborn!
See demo video and artifact at http://scenariotools.org/esecfse-2017-tool-demo/.
Our paper Toward Learning Realizable Scenario-based, Formal Requirements Specifications was accepted at the AIRE 2017 workshop, co-located with RE’17.
Our paper titled Symbolic Execution for Realizability-Checking of Scenario-based Specifications was accepted at MODELS 2017. See you in Austin!