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).
Category Archives: Publications
Paper accepted at SysInt 2016
Our paper “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems” was accepted at the 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)
Paper accepted at CPSSC 2016
Our paper “Scenario-based Specification of Car-to-X Systems” was accepted at the 1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities (CPSSC 2016), which is co-located with SE 2016.
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.
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.
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.
Two papers accepted at MiSE 2015
Two papers were accepted at the 7th International Workshop on Modelling in Software Engineering (MiSE 2015):
(1) “Towards Executing Dynamically Updating Finite-State Controllers on a Robot System”
(2) “Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design”
Paper accepted at FASE 2015
Our Paper “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications” was accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015).
Paper accepted at SAM 2014
Our Paper “Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems” was accepted at the 8th International System Analysis and Modeling Conference (SAM 2014).