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

Recently uploaded (20)

Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
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
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdf
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
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
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 
Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 

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