Benoit Combemale (Inria & Univ. Rennes 1)http://people.irisa.fr/Benoit.Combemalebenoit.combemale@irisa.fr@bcombemale

A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous ModelsANR project GEMOC, grant #ANR-12-INSE-0011Dec., 2012 – Jul., 2016

- 2Omniscient Debugging and Concurrent Execution of Heterogeneous Models, ANR GEMOC (Mar., 2016)

• Project Coordinator: Benoit Combemale (benoit.combemale@irisa.fr), 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

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