a tool-supported approach for omniscient debugging and concurrent execution of heterogeneous models
TRANSCRIPT
![Page 1: A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models](https://reader031.vdocument.in/reader031/viewer/2022030303/587bfe2d1a28ab7c668b5ffb/html5/thumbnails/1.jpg)
Benoit Combemale (Inria & Univ. Rennes 1)http://people.irisa.fr/[email protected]@bcombemale
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous ModelsANR project GEMOC, grant #ANR-12-INSE-0011Dec., 2012 – Jul., 2016
![Page 2: A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models](https://reader031.vdocument.in/reader031/viewer/2022030303/587bfe2d1a28ab7c668b5ffb/html5/thumbnails/2.jpg)
- 2Omniscient Debugging and Concurrent Execution of Heterogeneous Models, ANR GEMOC (Mar., 2016)
• Project Coordinator: Benoit Combemale ([email protected]), Inria Rennes• Consortium: Inria, CNRS I3S, INPT IRIT, ENSTA Bretagne, Thales, Obeo• External Partner: CentraleSupélec• Date: 01.12.12 – 30.07.16 (44 months)
➠Visit http://gemoc.org/ins
Tools and methods for the definition and coordination of heterogeneous executable modeling languages over heterogeneous models of computation
Heterogeneous domain-specific modeling and analysis of complex software-intensive systems
Application domains: (smart) cyber-physical systems
•Domain model•Graphical representation•Domain actions•Model of concurrency•Behavioral composition
xDSMLDesign and
Composition
•Model debugging•Model concurrency•Model coordination
Heterogeneous Modeling and
Simulation
Omniscient Debugging and Concurrent Execution of Heterogeneous Behavioral Models
![Page 3: A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models](https://reader031.vdocument.in/reader031/viewer/2022030303/587bfe2d1a28ab7c668b5ffb/html5/thumbnails/3.jpg)
Omniscient Debugging and Concurrent Execution of Heterogeneous Behavioral Models
- 3Omniscient Debugging and Concurrent Execution of Heterogeneous Models, ANR GEMOC (Mar., 2016)
• Major breakthroughs:– A concurrent and modular executable metamodeling approach [APSEC’12, SLE’12, SLE’13, MODELS’14, SLE’15 (x3),
ECMFA’15, DATE’15, SoSyM’15]Ø Cross-fertilization of the algorithm theory and the concurrency theory
– An explicit behavioral language interface [GEMOC’13]– The reification of the coordination concerns at the language level [MODELS’15, Computer'14, Dagstuhl #14412, GEMOC Book]
• Software components:– Sirius Animator: extends Eclipse Sirius to breathe life into designers. Includes an animator designer/runtime, execution engine,
control panel, omniscient debugger, and trace/event managers• Host on Sirius lab. Ready for maturation as an Eclipse plugin (Obeo/INRIA)Ø https://github.com/SiriusLab/ModelDebugging
– MoCCML: model of concurrency and coordination modeling language, and runtime• will be diffused as an open source project (I3S/ENSTA Bretagne)Ø https://github.com/gemoc/concurrency
– BCOoL and heterogeneous engine coordination: behavioral coordination operator language, and runtime• will be diffused as an open source project (I3S/INRIA)Ø https://github.com/gemoc/coordination
– GEMOC studio: language and modeling workbench, wizard/dashboard, documentation, examples and tutorialsØ https://github.com/gemoc/gemoc-studio
• Experimentations:– fUML: execution, animation, debugging and concurrency analysis of activity diagrams [TTC’15] (overall winner)– xCapella: executable extension of Capella (model-based systems engineering workbench) for model debugging, concurrency
analysis, and behavioral coordination [ERTS’16]– Smart farming: water management system for smart farming [ICCS’15, EclipseCon-NA’16]
• The GEMOC Initiative: http://gemoc.org