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

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 ModelsFinal workshop of the ANR project GEMOCMarch 17th, 2016

Complex Software-Intensive Systems

Software intensive systems

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

• Multi-engineering approach• Domain-specific modeling • Software as integration layer• Openness and dynamicity

Aerodynamics

Authorities

Avionics

SafetyRegulations

Airlines

PropulsionSystem

MechanicalStructure

EnvironmentalImpact

NavigationCommunications

Human-Machine

Interaction

Multipleconcerns,

stakeholders, tools and methods

Aerodynamics

Authorities

Avionics

SafetyRegulations

Airlines

PropulsionSystem

MechanicalStructure

EnvironmentalImpact

NavigationCommunications

Human-Machine

Interaction

Heterogeneous Modeling

Globalization of Modeling Languages

• DSMLs are developed in an independent mannerto meet the specific needs of domain experts,

• DSMLs should also have an associatedframework that regulates interactions needed to support collaboration and work coordination across different system domains.

Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp. 68-71, June, 2014

Debugging and Concurrent Execution of Heterogeneous Models – GEMOC Workshop (Mar., 2016)

Globalization of Modeling Languages

Supporting coordinated use of modelinglanguages leads to what we call the globalizationof modeling languages, that is, the use of multiple modeling languages to support coordinateddevelopment of diverse aspects of a system.

Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp. 68-71, June, 2014

Globalization of Modeling Language

• Context: new emerging DSML in open world⇒ impossible a priori unification⇒ require a posteriori globalization

• Objective: socio-technical coordination to support interactions across different system aspects

⇒ Language-based support for technical integration of multiples domains⇒ Language-based support for social translucence

"Globalizing Domain-Specific Languages," Combemale, B., Cheng, B.H.C., France, R.B., Jézéquel, J.-M., Rumpe, B. (Eds.). Springer, Programming and Software Engineering, Vol. 9400, 2015.

The GEMOC Initiative

An open and international initiative to• coordinate (between members)• disseminate (on behalf the members)

worldwide R&D effortson the globalization of modeling languages

http://gemoc.org

@gemocinitiative

The GEMOC Studio

Design and compose your executable DSMLs

http://gemoc.org/studioLanguageWorkbench

ModelingWorkbench

Edit, simulate and animate your heterogeneous models

The GEMOC Community

GEMOC: The Projects

• Survey of the techniques and tools to compose DSMLs and their respectives MoCs

• Partners: IRISA (Triskell), I3S (Aoste)• Cf. http://gemoc.org/as2011

CNRS GDR GPL Specific Action 2011

• Travel funds for permanent staff and PhD students• Partners: IRISA (DiverSE), CSU• Cf. http://gemoc.org/mbsar

CNRS PICS MBSAR 2013-2015

• A Language Workbench for Heterogeneous Modeling and Analysis of ComplexSoftware-Intensive Systems

• Partners: Inria (DiverSE), I3S (Aoste), IRIT, ENSTA-Bretagne, Thales, Obeo• Cf. http://gemoc.org/ins

ANR INS GEMOC2012-2016

• Promote the sharing of foundations, techniques, and tools and to provideeducational resources, to both academia and industry

• Cf. http://www.cost.eu/COST_Actions/ict/Actions/IC1404

ICT COST Action MPM4CPS2014-2018

Le nouveau défis de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes (Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir), In Génie logiciel et ingénierie de système (GL & IS), 2013.

Concurrent Execution of Heterogeneous Models

• complex domain-specific behaviors• highly communicating each others• deployed on distributed platforms

Concurrent Execution of Heterogeneous ModelsCurrent practices and existing tools

• UML modelers (e.g., rhapsody, magic draw, fuml engine) support model execution: hardcoded semantics without coordination of heterogeneous models (usually replace by different diagrams in the same model)

• Stateflow?

• Tools for heterogeneous modeling• Coordination of discrete models (e.g., Ptolemy, Modhel’X):

specific coordination pattern between predifined models of concurrency, or defined at the implementation level.

• Coordination of discrete and continue models (i.e. hybridapproach): we focus on discrete model only, but for any domain-specific languages

Breakthroughs: • modular and explicit definition of the behavioral semantics of modeling

languages, incl. concurrency [APSEC’12, SLE’12, SLE’13, SLE’15 (x3), DATE’15, SoSyM’15]

• explicit behavioral interface of modeling languages [GEMOC’13]• reification of the coordination concerns at the language level

[MODELS’15, Computer'14, Dagstuhl #14412]

•Domain model•Graphical representation•Domain actions•Model of concurrency•Behavioral composition

xDSMLDesign and

Composition

•Model debugging•Model concurrency•Model coordination

Heterogeneous Modeling and

Simulation

Visit http://gemoc.org/ins

Concurrent Execution of Heterogeneous Models(ANR Project GEMOC, #ANR-12-INSE-0011)

Breakthrough #1: modular and explicit definition of the behavioralsemantics of modeling languages

Breakthrough #2: explicit mappingused as behavioral interface of modeling languages

Breakthrough #3: integration of modeling languages for heterogeneous model coordination

Semantics

ASDSAMoCC

Abstract Syntax

Exec. functionand data

ConcurrencyModel

xDSML Development and Composition

Semantics

ASDSAMoCC

DSE(Domain

Specific Event)

Event-driven behavioralinterface

Concurrent execution of homogeneous domain-specificmodels

• Data• Control• Communication

xDSML’

Semantics

ASDSAMoCC

DSE(Domain

Specific Event)• Data• Control• Communication

Event-driven behavioralinterface

AS DSA MoCC

Concurrent execution of heterogeneous domain-specificmodels

Reifying Concurrency and Coordination in xDSML

Model of Concurrency & Communication

Domain-Specific Actions

Abstract Syntax

Domain-SpecificEvents

DSAMoCC

Concept0..*Concepts

(from Las)

ExecutionFunction(from Ldsa)

Event(from Lmoc)

Event0..*

Constraint0..*

Legend

<<dependsOn>>

<<conformsTo>>

Property

type1Execution

0..*ExecutionFunction

EcoreKermetaMoccML

MoccML

Composition Operator

CompositionOperator

Lcompo

MatchingRule

CoordinationRule

B-COoL

The GEMOC Studio

http://gemoc.org/studio/

Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule and Didier Vojtisek, "A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio," In 8th Transformation Tool Contest (TTC), 2015. Overall Winner

Activity Diagram Debugger

https://github.com/gemoc/activitydiagram

Activity Diagram Debugger

https://github.com/gemoc/activitydiagram

Coping with Semantic Variation Points

Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale, "Coping withSemantic Variation Points in Domain-Specific Modeling Languages", In EXE@MoDELS 2015.

Behavioral Model Coordination

https://github.com/gemoc/coordination

Arduino Designer (& Debugger)

https://github.com/gemoc/arduinomodeling

• Graphical animation• Breakpoint definition on model element• Multi-dimensional and efficient trace

management• Model debugging facilities (incl., timeline,

step backward, stimuli management, etc.)

Arduino Designer (& Debugger)

https://github.com/gemoc/arduinomodeling

• Graphical animation• Breakpoint definition on model element• Multi-dimensional and efficient trace

management• Model debugging facilities (incl., timeline,

step backward, stimuli management, etc.)• Concurrency simulation and formal analysis

Modern platforms are highly parallel (e.g., many-core, GPGPU, distributed platform).

Complex software systems are highly concurrent systems per

se (e.g., IoT, CPS).

Program of the workshop

Debugging and Concurrent Execution of Heterogeneous Models – GEMOC Workshop (Mar., 2016) - 26

• 10:00-10:30: Workshop introduction and project overview

• 10:30-11:00: Engineering xDSMLs for model executability, animation and debugging

• 11:00-11:30: Reifying the concurrency concern into xDSML specifications

• 11:30-12:00: Coordination of xDSMLs for concurrent execution of heterogeneous models

• 12:00-12:30: Experimentations, transfer and development

• 12:30-12:45: Wrap-up and perspectives

• 12:45-14:00: lunch buffet and discussions

• 14:00-16:00: Demonstrations and hands-on with the GEMOC studio

• 16:00-16:30: Closing snack

Debugging and Concurrent Execution of Heterogeneous Models – GEMOC Workshop (Mar., 2016) - 27

This is YOUR seminar!

• Ask questions• Provide feedback• Make it interactive

Program of the workshop

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

Software

The Simple Path Leading to the Omniscient State,

Supporting Efficient and Advanced Omniscient Debugging for ... › hal-01182517 › file › bousse... · Hence, a second concern is the usability of omniscient debugging for xDSMLs;

Debugging Concurrent Programs - University of California ...dph/mypubs/debugConcProg89.pdf · Debugging Concurrent Programs ... Concurrent Programming; D.2.4 [Software Engineering]:

Testing and Debugging Concurrent Software – Challenges and ... · Testing and Debugging Concurrent Software – Challenges and Solutions ... Eliminating Defects from Concurrent

Debugging of Concurrent Systems using Counterexample Analysisconvecs.inria.fr/doc/publications/Barbon-Leroy-Salaun-17.pdf · 2017-06-06 · 3 Counterexample Analysis In this section,

Effective Methods for Debugging Concurrent Softwarejeff/academic/phdThesis.pdf · 2015-08-19 · Effective Methods for Debugging Concurrent Software by Shaoming HUANG A Thesis Submitted

IBM Labs in Haifa, Software and Verification Technology © 2008 IBM Corporation Testing and Debugging Concurrent Software Shmuel Ur

Running and Debugging PerlRunning and Debugging Perl ... debugging

Linux Kernel Debugging - Univerzita Karlova · Linux Kernel Debugging. Advanced Operating Systems 2018/2019 Debugging 2 Agenda – Debugging Scenarios Debugging during individual

40 Questions to EOC Mastery. What is the difference between 3rd person omniscient and 3rd person limited narration? Omniscient knows all Limited knows

Declarative Debugging of Concurrent Erlang Programs

ARGUS - THE OMNISCIENT CI

Simpliﬁed Semantics and Debugging of Concurrent Programs via … · 2018-11-06 · Abstract of the Dissertation Simpliﬁed Semantics and Debugging of Concurrent Programs via Targeted

Study of High Temperature Crack Initiation ... - Omniscient

Supporting Efficient and Advanced Omniscient Debugging for ... · Hence, a second concern is the usability of omniscient debugging for xDSMLs; i.e., speciﬁc advanced facilities

Cleanse Thou my soul, Omniscient

Concurrent Predicates: A Debugging Technique for Every Parallel Programmer PACT 13 Justin Gottschlich Gilles Pokam Cristiano Pereira Youfeng Wu Intel Corporation

Testing and Debugging for Concurrent Programskena/classes/5828/s12/presentation... · Testing and Debugging for Concurrent Programs Yi-Fan Tsai ... Heuristic-based fuzzing uses heuristics

The Omniscient God. Introduction The Eternal God The Immutable God The Omnipotent God The Omniscient God The Omnipresent God The Holy God

Efficient and Advanced Omniscient Debugging for xDSMLs (SLE 2015)