Research & Technology Date /Référence OPEN Les langages de modélisation en ingénierie système Etat de la pratique et persepectives Jérôme Le Noir (Thales Research &Technology) Journées Neptune, 22 Mai 2013

2 / 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 Date /Référence OPEN Outline Thales Model-Based System engineering method & tool Software Language Engineering

3 / 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 Date /Référence OPEN Thales: Nos marchés Marchés duaux civil / militaire Un partenaire de confiance pour un monde plus sûr Transport terrestre Sécurité Espace Défense Aéronautique

4 / 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 Date /Référence OPEN Positionnement Source: estimations Thales 13 milliards d’euros de Chiffre d’affaire Charges utiles pour satellites telecom Gestion du trafic aérien Sonars Sécurisation des transactions interbancaires Systèmes de signalisation ferroviaire Multimédia de cabine et connectivité Radiocommunications tactiques militaires Avionique Radars de surface Satellites civils

5 / 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 Date /Référence OPEN Fournisseur de systèmes avioniques des grands constructeurs tels qu’Airbus, Boeing, Dassault. Centres de contrôle du trafic aérien. Présent dans les cabines des passagers : multimédia de bord, éclairage… Suite avionique TopDeck pour les hélicoptères de dernière génération. Radar de surveillance du trafic aérien. Aéronautique : quelques références Programmes SESAR, NextGen, Clean Sky..

6 / 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 Date /Référence OPEN Outline Thales Model-Based System Engineering method & tool Software Language Engineering

7 / 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 Date /Référence OPEN ARCADIA: ARChitecture Analysis & Design Integrated Approach Reqs Processors Buses C2 C12 C1’ C3 C4 C11 F2 F1 F4 F5 F3 F21 F1 F6 C2 F22 F1 F6 F21 F22 F7 A1A2 F3 C1 ViewPoints Solution Architecture Perform a multi-viewpoint trade-off Analysis

8 / 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 Date /Référence OPEN Engineering Workbench How to define your own engineering workbench? option

9 / 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 Date /Référence OPEN 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 use  semantic variation points  simulation & analysis (semantics variation points not supported by tools)

10 / 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 Date /Référence OPEN Stratégie pour la construction d’ateliers d’ingénieries sur mesure Tooled-up ecosystem-wide collaboration 23 mai 2013 : Strat é gie pour la construction d ’ ateliers d ’ ing é nieries sur mesure S. Bonnet (Thales Global Services)

11 / 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 Date /Référence OPEN Outline Thales Model-Based System Engineering method & tool Software Language Engineering

12 / 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 Date /Référence OPEN Software Language Engineering 12 How to define semantics ?

13 / 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 Date /Référence OPEN StateChart semantics variations

14 / 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 Date /Référence OPEN Integration of Multiple Modeling Languages Domain Specific Modeling Languages  Multiplication of DSMLs, different abstraction layers  Structural & Behavioural Semantics Horizontal: Vertical : How to define and preserve consistency between semantics inside & across abstraction layers ?

15 / 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 Date /Référence OPEN ANR Gemoc Un framework générique de modèles de calcul pour l'exécution et l'analyse dynamique de modèles

16 / 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 Date /Référence OPEN Illustration Radar de surveillance du trafic aérien.

17 / 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 Date /Référence OPEN Coordination of different paradigms Mode Automata Mode Automata Control Flow Control Flow Data Flow Data Flow 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)

18 / 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 Date /Référence OPEN Coordination of different paradigms

19 / 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 Date /Référence OPEN Mode & state

20 / 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 Date /Référence OPEN Data flow

21 / 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 Date /Référence OPEN Tracking data flow

22 / 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 Date /Référence OPEN Tracking search Dwell

23 / 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 Date /Référence OPEN Architecture

24 / 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 Date /Référence OPEN Conclusion Dedicated MBSE Method Dedicated modeling framework Precise semantics & Variability in modeling languages Integration of multiple modeling languages