fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dyna...Hugo Bruneliere
Contenu connexe
Similaire à Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France
Similaire à Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France (20)
Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France
1. Model Driven Engineering for
Design-Runtime Interaction
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
2. ● 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...
Introduction (1/3)
2
3. ● 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
Introduction (2/3)
3
4. ● 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.
Introduction (3/3)
4
6. ● 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
6
7. ● A System Modeling Approach to Enhance Functional and
Software Development
○ Saurabh Tiwari, Emina Smajlovic, Amina Krekic and
Jagadish Suryadevara
Contribution Summary: paper #2
7
8. ● Automated Consistency Preservation in Electronics
Development of Cyber-Physical System
○ Daniel Zimmermann and Ralf H. Reussner
○ Flexible views with
Vitruvius approach
Contribution Summary: paper #3
8
9. ● 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
9
10. ● 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
10
12. ● “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...
● Questions
○ Which types of correspondences?
○ Which approaches to support them?
○ How correspondences are produced?
○ When correspondences are produced?
Discussions: Challenges & Roadmap (1/3)
12
13. ● “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...
● Questions
○ 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)
13
14. ● “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…
● Objectives
○ Analyzing correspondences…
○ Providing inference capabilities…
○ Synchronizing with requirements…
○ Reverse engineering...
Discussions: Challenges & Roadmap (3/3)
14
15. ● 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
○ https://megamart2-ecsel.eu/mde-derun-2019/
Conclusion
15
16. 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
hugo.bruneliere@imt-atlantique.fr, romina.eramo@univaq.it, agomezlla@uoc.edu
Thanks for your attention!
16