SlideShare a Scribd company logo
1 of 16
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
● 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
● 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
● 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
5
5 papers selected and presented...
● 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
● A System Modeling Approach to Enhance Functional and
Software Development
○ Saurabh Tiwari, Emina Smajlovic, Amina Krekic and
Jagadish Suryadevara
Contribution Summary: paper #2
7
● 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
● 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
● 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
11
Live discussions in panel...
● “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
● “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
● “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
● 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
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

More Related Content

Similar to Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France

Derix 2010: mediating spatial phenomena through computational heuristics
Derix 2010:  mediating spatial phenomena through computational heuristicsDerix 2010:  mediating spatial phenomena through computational heuristics
Derix 2010: mediating spatial phenomena through computational heuristics
ArchiLab 7
 
Derix 2010: mediating spatial phenomena through computational heuristics
Derix 2010:  mediating spatial phenomena through computational heuristicsDerix 2010:  mediating spatial phenomena through computational heuristics
Derix 2010: mediating spatial phenomena through computational heuristics
ArchiLab 7
 
rsos.royalsocietypublishing.orgReviewCite this article .docx
rsos.royalsocietypublishing.orgReviewCite this article .docxrsos.royalsocietypublishing.orgReviewCite this article .docx
rsos.royalsocietypublishing.orgReviewCite this article .docx
healdkathaleen
 

Similar to Model Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - STAF 2018 @Toulouse, France (20)

DIGITAL CONSTRUCTION: A Holistic Approach on Continuum Design - Construction ...
DIGITAL CONSTRUCTION: A Holistic Approach on Continuum Design - Construction ...DIGITAL CONSTRUCTION: A Holistic Approach on Continuum Design - Construction ...
DIGITAL CONSTRUCTION: A Holistic Approach on Continuum Design - Construction ...
 
Problem Solving Methods
Problem Solving MethodsProblem Solving Methods
Problem Solving Methods
 
A Context-aware Model for the Analysis of User Interaction and QoE in Mobile ...
A Context-aware Model for the Analysis of User Interaction and QoE in Mobile ...A Context-aware Model for the Analysis of User Interaction and QoE in Mobile ...
A Context-aware Model for the Analysis of User Interaction and QoE in Mobile ...
 
The Future is Big Graphs: A Community View on Graph Processing Systems
The Future is Big Graphs: A Community View on Graph Processing SystemsThe Future is Big Graphs: A Community View on Graph Processing Systems
The Future is Big Graphs: A Community View on Graph Processing Systems
 
CESESA2016_BDelicado
CESESA2016_BDelicadoCESESA2016_BDelicado
CESESA2016_BDelicado
 
Trends and Hot Topics in Networking 2023 - IA377 Seminar FEEC-UNICAMP
Trends and Hot Topics in Networking 2023 - IA377 Seminar FEEC-UNICAMPTrends and Hot Topics in Networking 2023 - IA377 Seminar FEEC-UNICAMP
Trends and Hot Topics in Networking 2023 - IA377 Seminar FEEC-UNICAMP
 
On data-driven systems analyzing, supporting and enhancing users’ interaction...
On data-driven systems analyzing, supporting and enhancing users’ interaction...On data-driven systems analyzing, supporting and enhancing users’ interaction...
On data-driven systems analyzing, supporting and enhancing users’ interaction...
 
Derix 2010: mediating spatial phenomena through computational heuristics
Derix 2010:  mediating spatial phenomena through computational heuristicsDerix 2010:  mediating spatial phenomena through computational heuristics
Derix 2010: mediating spatial phenomena through computational heuristics
 
Derix 2010: mediating spatial phenomena through computational heuristics
Derix 2010:  mediating spatial phenomena through computational heuristicsDerix 2010:  mediating spatial phenomena through computational heuristics
Derix 2010: mediating spatial phenomena through computational heuristics
 
A Shared Data Format For Describing Collaborative Design Processes @ Cumulus ...
A Shared Data Format For Describing Collaborative Design Processes @ Cumulus ...A Shared Data Format For Describing Collaborative Design Processes @ Cumulus ...
A Shared Data Format For Describing Collaborative Design Processes @ Cumulus ...
 
Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)
 
Generic Model-based Approaches for Software Reverse Engineering and Comprehen...
Generic Model-based Approaches for Software Reverse Engineering and Comprehen...Generic Model-based Approaches for Software Reverse Engineering and Comprehen...
Generic Model-based Approaches for Software Reverse Engineering and Comprehen...
 
A Visual Canvas for Judging New Technologies
A Visual Canvas for Judging New TechnologiesA Visual Canvas for Judging New Technologies
A Visual Canvas for Judging New Technologies
 
Application of ict benefits for building project management using ism model
Application of ict benefits for building project management using ism modelApplication of ict benefits for building project management using ism model
Application of ict benefits for building project management using ism model
 
Templates and other research methods in Telecommunications
Templates and other research methods in TelecommunicationsTemplates and other research methods in Telecommunications
Templates and other research methods in Telecommunications
 
Blockchain Design and Modelling
Blockchain Design and ModellingBlockchain Design and Modelling
Blockchain Design and Modelling
 
Interface Design
Interface DesignInterface Design
Interface Design
 
Architects and Engineers Differences A comparison between problem solving pe...
Architects and Engineers Differences  A comparison between problem solving pe...Architects and Engineers Differences  A comparison between problem solving pe...
Architects and Engineers Differences A comparison between problem solving pe...
 
rsos.royalsocietypublishing.orgReviewCite this article .docx
rsos.royalsocietypublishing.orgReviewCite this article .docxrsos.royalsocietypublishing.orgReviewCite this article .docx
rsos.royalsocietypublishing.orgReviewCite this article .docx
 
Uk seminar
Uk seminarUk seminar
Uk seminar
 

More from Hugo Bruneliere

Collaboro - EclipseCon France 2013 - Ignite Talks Session
Collaboro - EclipseCon France 2013 - Ignite Talks SessionCollaboro - EclipseCon France 2013 - Ignite Talks Session
Collaboro - EclipseCon France 2013 - Ignite Talks Session
Hugo Bruneliere
 
Collaboro - EclipseCon Europe 2012, Modeling Symposium
Collaboro - EclipseCon Europe 2012, Modeling SymposiumCollaboro - EclipseCon Europe 2012, Modeling Symposium
Collaboro - EclipseCon Europe 2012, Modeling Symposium
Hugo Bruneliere
 
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
Hugo Bruneliere
 
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling SymposiumEMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
Hugo Bruneliere
 
Virtual EMF - Standard talk at EclipseCon Europe 2011
Virtual EMF - Standard talk at EclipseCon Europe 2011Virtual EMF - Standard talk at EclipseCon Europe 2011
Virtual EMF - Standard talk at EclipseCon Europe 2011
Hugo Bruneliere
 
Spy On Your Models, Standard talk at EclipseCon 2011
Spy On Your Models, Standard talk at EclipseCon 2011Spy On Your Models, Standard talk at EclipseCon 2011
Spy On Your Models, Standard talk at EclipseCon 2011
Hugo Bruneliere
 

More from Hugo Bruneliere (20)

A Feature-based Survey of Model View Approaches (SOSYM 2018 Best Paper Award)...
A Feature-based Survey of Model View Approaches (SOSYM 2018 Best Paper Award)...A Feature-based Survey of Model View Approaches (SOSYM 2018 Best Paper Award)...
A Feature-based Survey of Model View Approaches (SOSYM 2018 Best Paper Award)...
 
fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dyna...
fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dyna...fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dyna...
fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dyna...
 
EMF Views: A View Mechanism for Integrating Heterogeneous Models - ER 2015 @ ...
EMF Views: A View Mechanism for Integrating Heterogeneous Models - ER 2015 @ ...EMF Views: A View Mechanism for Integrating Heterogeneous Models - ER 2015 @ ...
EMF Views: A View Mechanism for Integrating Heterogeneous Models - ER 2015 @ ...
 
On Lightweight Metamodel Extension to Support Modeling Tools Agility - ECMFA...
On Lightweight  Metamodel Extension to Support Modeling Tools Agility - ECMFA...On Lightweight  Metamodel Extension to Support Modeling Tools Agility - ECMFA...
On Lightweight Metamodel Extension to Support Modeling Tools Agility - ECMFA...
 
Migrating Applications to the Cloud with Eclipse Technologies: Feedback from ...
Migrating Applications to the Cloud with Eclipse Technologies: Feedback from ...Migrating Applications to the Cloud with Eclipse Technologies: Feedback from ...
Migrating Applications to the Cloud with Eclipse Technologies: Feedback from ...
 
Developing Open Source MDE Tools / Eclipse Stories and Lessons Learned - OSS4...
Developing Open Source MDE Tools / Eclipse Stories and Lessons Learned - OSS4...Developing Open Source MDE Tools / Eclipse Stories and Lessons Learned - OSS4...
Developing Open Source MDE Tools / Eclipse Stories and Lessons Learned - OSS4...
 
Neo4EMF : big models made easier! @ EclipseCon France 2014 - Ignite Talks Ses...
Neo4EMF : big models made easier! @ EclipseCon France 2014 - Ignite Talks Ses...Neo4EMF : big models made easier! @ EclipseCon France 2014 - Ignite Talks Ses...
Neo4EMF : big models made easier! @ EclipseCon France 2014 - Ignite Talks Ses...
 
EMF Views - EclipseCon 2014, Modeling Symposium
EMF Views - EclipseCon 2014, Modeling SymposiumEMF Views - EclipseCon 2014, Modeling Symposium
EMF Views - EclipseCon 2014, Modeling Symposium
 
EMF-REST - EclipseCon Europe 2013, Modeling Symposium
EMF-REST - EclipseCon Europe 2013, Modeling SymposiumEMF-REST - EclipseCon Europe 2013, Modeling Symposium
EMF-REST - EclipseCon Europe 2013, Modeling Symposium
 
Introducing Eclipse MoDisco
Introducing Eclipse MoDiscoIntroducing Eclipse MoDisco
Introducing Eclipse MoDisco
 
TEAP MDE Framework for Enterprise Architecture - AMINO 2013 @ MODELS 2013
TEAP MDE Framework for Enterprise Architecture - AMINO 2013 @ MODELS 2013TEAP MDE Framework for Enterprise Architecture - AMINO 2013 @ MODELS 2013
TEAP MDE Framework for Enterprise Architecture - AMINO 2013 @ MODELS 2013
 
Collaboro - EclipseCon France 2013 - Ignite Talks Session
Collaboro - EclipseCon France 2013 - Ignite Talks SessionCollaboro - EclipseCon France 2013 - Ignite Talks Session
Collaboro - EclipseCon France 2013 - Ignite Talks Session
 
Collaboro - EclipseCon Europe 2012, Modeling Symposium
Collaboro - EclipseCon Europe 2012, Modeling SymposiumCollaboro - EclipseCon Europe 2012, Modeling Symposium
Collaboro - EclipseCon Europe 2012, Modeling Symposium
 
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
Eclipse Labs for Improving DSL Development - Eclipse DemoCamp Juno 2012 in Na...
 
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling SymposiumEMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
EMF Facet vs. EMF Profiles - EclipseCon North America 2012, Modeling Symposium
 
An Open Source Approach for Industrializing Research Tools - OW2Con 2011, ses...
An Open Source Approach for Industrializing Research Tools - OW2Con 2011, ses...An Open Source Approach for Industrializing Research Tools - OW2Con 2011, ses...
An Open Source Approach for Industrializing Research Tools - OW2Con 2011, ses...
 
Virtual EMF - Standard talk at EclipseCon Europe 2011
Virtual EMF - Standard talk at EclipseCon Europe 2011Virtual EMF - Standard talk at EclipseCon Europe 2011
Virtual EMF - Standard talk at EclipseCon Europe 2011
 
Eclipse Modeling & MoDisco - An Introduction to Modeling and (Model Driven) R...
Eclipse Modeling & MoDisco - An Introduction to Modeling and (Model Driven) R...Eclipse Modeling & MoDisco - An Introduction to Modeling and (Model Driven) R...
Eclipse Modeling & MoDisco - An Introduction to Modeling and (Model Driven) R...
 
MoDisco & ATL - Eclipse DemoCamp Indigo 2011 in Nantes
MoDisco & ATL - Eclipse DemoCamp Indigo 2011 in NantesMoDisco & ATL - Eclipse DemoCamp Indigo 2011 in Nantes
MoDisco & ATL - Eclipse DemoCamp Indigo 2011 in Nantes
 
Spy On Your Models, Standard talk at EclipseCon 2011
Spy On Your Models, Standard talk at EclipseCon 2011Spy On Your Models, Standard talk at EclipseCon 2011
Spy On Your Models, Standard talk at EclipseCon 2011
 

Recently uploaded

Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
vu2urc
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
Earley Information Science
 

Recently uploaded (20)

A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 

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
  • 5. 5 5 papers selected and presented...
  • 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