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.
PANEL @ EXE 2017, AUSTIN, TX, USA.
EXECUTABLE MODELING FOR SYSTEMS,
SOFTWARE AND CYBER-PHYSICAL SYSTEMS
BENOIT COMBEMALE
P...
What is Executable Modeling?
Panel on Executable Modeling
Benoit Combemale @ EXE, Sep. 2017
My understanding of executable...
Who Care About Executable Modeling?
Panel on Executable Modeling
Benoit Combemale @ EXE, Sep. 2017
▸ Software engineers mo...
GEMOC: Tool Support for Executable (Domain) Modeling
Panel on Executable Modeling
Benoit Combemale @ EXE, Sep. 2017
http:/...
Open Challenges
Panel on Executable Modeling
Benoit Combemale @ EXE, Sep. 2017
▸ Coordination of discrete and continuous m...
Upcoming SlideShare
Loading in …5
×

of

EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS Slide 1 EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS Slide 2 EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS Slide 3 EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS Slide 4 EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS Slide 5
Upcoming SlideShare
What to Upload to SlideShare
Next
Download to read offline and view in fullscreen.

0 Likes

Share

Download to read offline

EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS

Download to read offline

My personal opening of the panel about "EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS" at EXE'17.

Related Books

Free with a 30 day trial from Scribd

See all

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • Be the first to like this

EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS

  1. 1. PANEL @ EXE 2017, AUSTIN, TX, USA. EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS BENOIT COMBEMALE PROFESSOR, UNIV. TOULOUSE, FRANCE HTTP://COMBEMALE.FR BENOIT.COMBEMALE@IRIT.FR @BCOMBEMALE
  2. 2. What is Executable Modeling? Panel on Executable Modeling Benoit Combemale @ EXE, Sep. 2017 My understanding of executable modeling: ▸ activity consisting in defining executable specification of behavioral phenomena ▸ definition and execution of behavioral models (business processes, orchestrations, functional chains, activities, protocols, scenarios...) ⁉️ programming is a special case of executable modeling J
  3. 3. Who Care About Executable Modeling? Panel on Executable Modeling Benoit Combemale @ EXE, Sep. 2017 ▸ Software engineers mostly care about programming ▸ Other domain experts care about executable (domain) modeling! ▸ In the context of systems engineering (when not limited to interface engineering or system architecture) ▸ Especially for ▸ Understanding complex phenomenon ▸ Early V&V of behavioral properties over heterogeneous concerns (incl. hardware, behavioral physical phenomenon, etc.) ▸ Application domains: all kinds of CPS (incl. CPPS, Industry 4.0…), IoT, etc.
  4. 4. GEMOC: Tool Support for Executable (Domain) Modeling Panel on Executable Modeling Benoit Combemale @ EXE, Sep. 2017 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 • EMF, Xtext, Sirius • Metaprogramming Approaches (Xtend/K3, ALE, XMOF, Java) • Sirius Animator (graphical representation of debuggers) • Melange (language reuse) • Generative Approaches (execution trace, checking) • MoCCML (concurrency model specification) • BCOoL (behavioral coordination) • Generic Execution Framework • Graphical animation • Breakpoint definition on model element • Multi-dimensional and efficient trace management • Model omniscient debugging facilities (incl., timeline, step backward, stimuli management, etc.) • Concurrency Analysis • Coordination of Models • Domain-Specific Plugins
  5. 5. Open Challenges Panel on Executable Modeling Benoit Combemale @ EXE, Sep. 2017 ▸ Coordination of discrete and continuous models is still an active field ▸ Explore executable modeling for design-space exploration and tradeoff analysis ▸ Live modeling, combining execution and variability management, etc. ▸ Automatic generation of tool support for any xDS(M)L [Mayerhofer et al., GRAND Workshop @ STAF’17] ▸ Continuum and retro-action loop between executable modeling and models@runtime.

My personal opening of the panel about "EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS" at EXE'17.

Views

Total views

351

On Slideshare

0

From embeds

0

Number of embeds

0

Actions

Downloads

3

Shares

0

Comments

0

Likes

0

×