ANR INS – Project Overview

Project Overview Final Workshop Partners

ANR INS Project GEMOC (2012-2016)

A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models

The ANR INS project GEMOC investigates the following scientific breakthroughs:

• A modular executable metamodeling approach for behavioral semantics understanding, reuse and variability. This approach supports an explicit model of concurrency and domain-specific actions with a well-defined protocol between them (incl., mapping, feedback and callback).
• The definition of both structural and behavioral language interfaces; the structural interface to allow language structure manipulation, language substitutability and model polymorphism, and the behavioral interface for language behavioral coordination.
• The composable executable languages enable the specification of language coordination patterns to automatically integrate the model execution engines.

  The following technological breakthroughs are developped:

• A language workbench, including dedicated meta-languages supporting the proposed modular executable metamodeling approach;
• A modeling workbench for model edition, concurrent execution of heterogeneous models, and model debugging (incl., graphical animation, trace and event management);
• Seamless integration to EMF.

The language workbench and the modeling workbench are included into the GEMOC Studio, an Eclipse package that contains components supporting the GEMOC methodology.

The scientific and technological breakthroughs are experimented to develop the industrial case study xCapella, an extension of Capella that supports the concurrent execution and animation of different Capella diagrams for early model debugging.

The GEMOC studio is open-source, domain-independent, and benefits from the support of the Eclipse IWG Polarsys for sustainable exploitation.

ANR INS – Project Identification

• Consortium: ENSTA Bretagne, Inria, IRIT, I3S, Obeo, Thales. See also the partners description.
• Principal Investigator: Inria (Benoit Combemale).
• Duration: 01.12.12 – 30.03.16 (40 months)
• Budget: 2.7 M€
• Supported by the French Agency for Research (ANR), Program INS (Ingénierie Numérique & Sécurité). Grant ANR-12-INSE-0011, ANR Funding: 1 M€. See the ANR website: french, english.
• Labels from the competitiveness clusters: Image & Réseaux, Aerospace Valley, Systematic

ANR INS – Board Members

All partner coordinators and work-package leaders constitute the board of the ANR INS Project GEMOC, chaired by the project coordinator. The actual board members are the following:

• Benoit Combemale, Associate Professor, University of Rennes 1 (Project coordinator, WP0 leader)
• Benoit Baudry, Researcher, Inria (Inria coordinator)
• Cédric Brun, Engineer, Obeo (Obeo coordinator)
• Xavier Crégut, Associate Professor, INPT ENSEEIHT (WP1 leader, INPT coordinator)
• Joël Champeau, Associate Professor, ENSTA Bretagne (WP2 leader, ENSTA coordinator)
• Julien De Antoni, Associate Professor, I3S (WP3 leader, I3S coordinator)
• Ali Koudri, Research Engineer, Thales (WP5 leader)
• Jérôme Le Noir, Research Engineer, Thales (Thales coordinator)
• Didier Vojtisek, Research Engineer, Inria (WP4 leader)

---