Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France
Model Driven Engineering for
in Complex Systems:
Scientific Challenges and Roadmap
First International Workshop on Model-Driven Engineering for Design-
Runtime Interaction in Complex Systems (MDE@DeRun)
Co-located with Software Technologies: Applications and Foundations 2018
June 28, 2018 - Toulouse, France
Hugo Bruneliere, Romina Eramo, Abel Gomez,
Valentin Besnard, Jean-Michel Bruel, Martin Gogolla,
Andreas Kastner, Adrian Rutle
● Complex Cyber-Physical Systems (CPSs) are everywhere
○ Automotive, aerospace, industrial production, etc.
● One of the major challenges in CPSs
○ Better integration between design and runtime aspects
○ Different natures of models (design vs. runtime)
○ Different types of traceability information
● A key point in MegaM@Rt2 project
○ Critical situations at runtime → Failures in design?
○ Feedback loop...
● MDE@DeRun workshop at STAF 2018
○ Interacting between design time and runtime (e.g.
within heterogeneous engineering practices)
○ Inferring design deviations, identifying affected
elements (e.g. from runtime system configurations)
○ Practically integrating any feedback collected at
runtime into design level models
● MDE@DeRun workshop at STAF 2018
○ Analyzing runtime data collecting inputs for design
artifacts ( e.g. probes injection)
○ V&V for linking runtime analysis with design models
expressing both FRs and NFRs
○ (Industrial) case studies, experience reports, literature
reviews, visionary positions, etc.
● From Modeling to Test Case Generation in the Industrial
Embedded System Domain
○ Aliya Hussain, Saurabh Tiwari, Jagadish Suryadevara
and Eduard Enoiu
Contribution Summary: paper #1
● A System Modeling Approach to Enhance Functional and
○ Saurabh Tiwari, Emina Smajlovic, Amina Krekic and
Contribution Summary: paper #2
● Automated Consistency Preservation in Electronics
Development of Cyber-Physical System
○ Daniel Zimmermann and Ralf H. Reussner
○ Flexible views with
Contribution Summary: paper #3
● Embedded UML Model Execution to Bridge the Gap
Between Design and Runtime
○ Valentin Besnard, Matthias Brun, Frederic Jouault,
Ciprian Teodorov and Philippe Dhaussy
Contribution Summary: paper #4
● Sketching a Model-Based Technique for Integrated
Design and RunTime Description
○ Andreas Kastner, Martin Gogolla, Khanh-Hoang Doan
and Nisha Desai
Contribution Summary: paper #5
● “Explicit correspondences and/or traceability links are
needed between runtime and design models.”
○ Seems obvious, but far from being the case…
○ Traceability is widely treated in the literature, but not
so much in the runtime ↔ design time context...
○ Which types of correspondences?
○ Which approaches to support them?
○ How correspondences are produced?
○ When correspondences are produced?
Discussions: Challenges & Roadmap (1/3)
● “A better understanding of the nature of the available
runtime information (and its possible impacts on the
design information) is required.”
○ Not to be confused with Models@runtime...
○ Which types of runtime information?
○ How are they obtained?
○ How are they represented?
○ Who uses runtime information?
○ How are they visualized? From which viewpoints?
Discussions: Challenges & Roadmap (2/3)
● “The objectives and benefits of leveraging such
correspondences and information need to be defined.“
○ Create awareness of problems in design or critical
situations that may occur…
○ Analyzing correspondences…
○ Providing inference capabilities…
○ Synchronizing with requirements…
○ Reverse engineering...
Discussions: Challenges & Roadmap (3/3)
● Integrating design and runtime aspects raises interesting
challenges from the Modeling/MDE perspective
● Also appears to be a relevant area from a more industrial
perspective (cf. MegaM@Rt2 project)…
● MDE@DeRun second edition is coming at STAF 2019, in
Eindhoven, The Netherlands
○ Monday 15th of July 2019
Check out the full paper from https://hal.archives-ouvertes.fr/hal-01890878
Event details from https://megamart2-ecsel.eu/mde-derun-2018/
Springer link - https://link.springer.com/chapter/10.1007%2F978-3-030-04771-9_40
Contact the main authors by emails
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org
Thanks for your attention!