Title of presentation

Research & TechnologyDate /Rfrence

Les langages de modlisation en ingnierie systmeEtat de la pratique et persepectives
Jrme Le Noir (Thales Research &Technology)Journes Neptune, 22 Mai 2013

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Outline

Thales

Model-Based System engineering method & tool

Software Language Engineering

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Thales: Nos marchs
Marchs duaux civil / militaire
Un partenaire de confiance pour un monde plus sr

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Positionnement
Source: estimations Thales
13 milliards deuros de Chiffre daffaire
Systmes de signalisation ferroviaire
Multimdia de cabine et connectivit
Radiocommunications tactiques militaires
Avionique
Radars de surface
Satellites civils

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Fournisseur de systmes avioniques des grands constructeurs tels quAirbus, Boeing, Dassault.

Centres de contrle du trafic arien.
Prsent dans les cabines des passagers : multimdia de bord, clairage
Suite avionique TopDeck pour les hlicoptres de dernire gnration.
Radar de surveillance du trafic arien.
Aronautique : quelques rfrences
Programmes SESAR, NextGen,Clean Sky..

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Outline

Thales

Model-Based System Engineering method & tool

Software Language Engineering

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

ARCADIA: ARChitecture Analysis & Design Integrated Approach
Perform a multi-viewpoint trade-off Analysis

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Engineering Workbench
How to define your own engineering workbench?
option

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

MBSE
MBSE Without SysML (Boeing John R. Palmer) : There appears to be a general assumption That SysML and UML are synonymous with Model-Based System Engineering

UML/SysML? wide spread usesemantic variation pointssimulation & analysis (semantics variation points not supported by tools)

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Stratgie pour la construction dateliers dingnieries sur mesure
23 mai 2013 : Stratgie pour la construction dateliers dingnieries sur mesure S. Bonnet (Thales Global Services)

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Outline

Thales

Model-Based System Engineering method & tool

Software Language Engineering

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Software Language Engineering
*
How to define semantics ?

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

StateChart semantics variations

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Integration of Multiple Modeling Languages
Domain Specific Modeling LanguagesMultiplication of DSMLs, different abstraction layersStructural & Behavioural SemanticsHorizontal:

Vertical :
How to define and preserve consistency between semantics inside & across abstraction layers ?

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

ANR Gemoc
Un framework gnrique de modles de calcul pour l'excution et l'analyse dynamique de modles

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Illustration
Radar de surveillance du trafic arien.

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Coordination of different paradigms
ModeAutomata
ControlFlow
DataFlow
Coordinated execution to ensure each execution step is done: in the right mode (mode automata), at the right point (control flow), and with the right data (data flow)

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Coordination of different paradigms

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Mode & state

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Data flow

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Tracking data flow
Tracking data flow

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Tracking search Dwell

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Architecture

* /* /This document is not to be reproduced, modified, adapted, published, translated in any material form in whole or in part nor disclosed to any third party without the prior written permission of Thales THALES 2012 All rights reserved trtp version 7.1.0Date /Rfrence

Conclusion
Dedicated MBSE MethodDedicated modeling frameworkPrecise semantics & Variability in modeling languages Integration of multiple modeling languages