Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

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

1,319 views

Published on

The results of the ANR project GEMOC in 2 slides

Published in: Software
  • Hello! I have searched hard to find a reliable and best research paper writing service and finally i got a good option for my needs as ⇒ www.WritePaper.info ⇐
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Be the first to like this

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

  1. 1. Benoit Combemale (Inria & Univ. Rennes 1) http://people.irisa.fr/Benoit.Combemale benoit.combemale@irisa.fr @bcombemale A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models ANR project GEMOC, grant #ANR-12-INSE-0011 Dec., 2012 – Jul., 2016
  2. 2. - 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 xDSML Design and Composition •Model debugging •Model concurrency •Model coordination Heterogeneous Modeling and Simulation Omniscient Debugging and Concurrent Execution of Heterogeneous Behavioral Models
  3. 3. 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 opensource project(I3S/ENSTABretagne) Ø https://github.com/gemoc/concurrency – BCOoL and heterogeneous engine coordination: behavioral coordination operator language, and runtime • will be diffused as an opensource 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

×