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.
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!
Our tutorial titled Modeling Reactive Systems with the Scenario Modeling Language and ScenarioTools was accepted at the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016).