1 / 24

Les langages de modélisation en ingénierie système Etat de la pratique et persepectives

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. Outline. Thales Model-Based System engineering method & tool Software Language Engineering. Thales: Nos marchés.

bedros
Download Presentation

Les langages de modélisation en ingénierie système Etat de la pratique et persepectives

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Les langages de modélisation en ingénierie systèmeEtat de la pratique et persepectives Jérôme Le Noir (Thales Research &Technology) Journées Neptune, 22 Mai 2013

  2. Outline • Thales • Model-Based System engineering method & tool • Software Language Engineering

  3. Thales: Nos marchés Marchés duaux civil / militaire Transport terrestre Défense Aéronautique Sécurité Espace civil militaire Un partenaire de confiance pour un monde plus sûr

  4. Positionnement No.1 mondial Charges utiles pour satellites telecom Sonars Sécurisation des transactions interbancaires Gestion du trafic aérien No.2 mondial Systèmes de signalisation ferroviaire Multimédia de cabine et connectivité Radiocommunications tactiques militaires No.3 mondial Avionique Radars de surface Satellites civils 13 milliards d’euros de Chiffre d’affaire Source: estimations Thales

  5. Aéronautique : quelques références Fournisseur de systèmes avioniques des grands constructeurs tels qu’Airbus, Boeing, Dassault. Programmes SESAR, NextGen, Clean Sky.. 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. Centres de contrôle du trafic aérien. Radar de surveillance du trafic aérien.

  6. Outline • Thales • Model-Based System Engineering method & tool • Software Language Engineering

  7. A1 A2 A2 Reqs F5 F2 F4 F1 F3 F21 F22 C2 C1 F1 C3 F6 F3 ViewPoints ViewPoints C4 C12 C2 C11 F22 F21 SolutionArchitecture F1 C1’ F6 F7 C3 Processors ViewPoints Buses ARCADIA: ARChitecture Analysis & Design Integrated Approach Perform a multi-viewpoint trade-off Analysis

  8. Engineering Workbench option How to define your own 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 23 mai 2013 : Stratégie pour la construction d’ateliers d’ingénieries sur mesure S. Bonnet (Thales Global Services) Tooled-upecosystem-wide collaboration

  11. Outline • Thales • Model-Based System Engineering method & tool • Software Language Engineering

  12. Software Language Engineering How to define semantics ? 12

  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. ANR Gemoc • Un framework générique de modèles de calcul pour l'exécution et l'analyse dynamique de modèles

  16. Illustration Radar de surveillance du trafic aérien.

  17. Coordination of different paradigms Mode Automata Control 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. 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

More Related