www.thalesgroup.com 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 Research & Technology
2 / Thales Model-Based System engineering method & tool Software Language Engineering Outline
3 / Thales: Nos marchés Défense Un partenaire de confiance pour un monde plus sûr Marchés duaux civil / militaire Aéronautique Espace Sécurité Transport terrestre
4 / Positionnement Charges utiles pour satellites telecom 13 milliards d euros de Chiffre d affaire Gestion du trafic aérien Systèmes de signalisation ferroviaire Sonars Sécurisation des transactions interbancaires Multimédia de cabine et connectivité Radiocommunications tactiques militaires Avionique Satellites civils Radars de surface Source: estimations Thales
5 / Fournisseur de systèmes avioniques des grands constructeurs tels qu Airbus, Boeing, Dassault. Présent dans les cabines des passagers : multimédia de bord, éclairage Centres de contrôle du trafic aérien. Aéronautique : quelques références Programmes SESAR, NextGen, Clean Sky.. Suite avionique TopDeck pour les hélicoptères de dernière génération. Radar de surveillance du trafic aérien.
6 / Thales Model-Based System Engineering method & tool Software Language Engineering Outline
7 / ARCADIA: ARChitecture Analysis & Design Integrated Approach A1 C11 F21 F1 F6 A2 A2 F2 F1 F3 F21 F1 F22 C1 F6 F7 C1 C12 F22 Processors Buses F5 F4 C3 C2 F3 C3 C2 Reqs ViewPoints C4 ViewPoints ARCADIA Architecture Analysis & Design Integrated Approach ViewPoints Solution Architecture Perform a multi-viewpoint trade-off Analysis
8 / How to define your own engineering workbench? option Engineering Workbench
9 / 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 / 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 / Thales Model-Based System Engineering method & tool Software Language Engineering Outline
12 / How to define semantics? Software Language Engineering
13 / StateChart semantics variations
14 / 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 / Un framework générique de modèles de calcul pour l'exécution et l'analyse dynamique de modèles ANR Gemoc
16 / Radar de surveillance du trafic aérien. Illustration
17 / Mode Automata Coordination of different paradigms Control 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) Data Flow
18 / Coordination of different paradigms
19 / Mode & state
20 / Data flow
21 / Tracking data flow Tracking data flow
22 / Tracking search Dwell
23 / Architecture
24 / Conclusion Dedicated MBSE Method Dedicated modeling framework Precise semantics & Variability in modeling languages Integration of multiple modeling languages