Retour à la catégorie

SYI-004
Les fondamentaux de l'ingénierie - 2022

Introduction à l'ingénierie système dirigée par les modèles (MBSE)

BUT :

L’objectif de la formation est de permettre aux ingénieurs de tous horizons d’acquérir les bases de l’Ingénierie Système dirigée par les modèles :

  • Fondements de l’ingénierie dirigée par les modèles
  • Système, cycle de vie, points de vue et représentations
  • Langages et méthodologies de conception système
  • Liens entre ingénierie système et ingénieries de spécialité
  • Liens avec l’ingénierie des exigences
  • Processus et transformation de modèles
  • Recherche de compromis et réconciliation

DUREE ET EMPLOI DU TEMPS :

Le stage dure 4 jours (24 heures).

Il comporte :

  • Des exposés avec échanges (8 heures)
  • Des présentations d’outils (4h)
  • Une étude de cas (12h)

ESPRIT GENERAL :

Le stage permet d’appréhender le lien entre les activités à l’ingénierie systèmes et les langages de modélisation spécifiques à ce domaine. Un cas d’application est présenté en introduction et constitue le fil rouge de la formation lors des cours et TP.

PREREQUIS :

Niveau du stage : Base

Prérequis : Niveau ingénieur, avec une expérience dans le développement d’un système complexe (logiciel, matériel ou autre).

ANIMATEUR(S) :

Ali KOUDRI :

Chercheur, co-fondateur de Cenotelie.

SOMMAIRE :

  • Introduction à la modélisation
    • Histoire
    • Notions fondamentales
    • Intérêts et applications
  • Introduction aux langages de modélisation : syntaxe abstraite, syntaxe concrète (textuelle ou graphique) et règles de cohérence
    • Présentation de quelques standards de l’OMG : MOF, UML, SysML,OCL, QVT, BPMN2
    • Cas d’étude sur l’implémentation d’un langage UML simplifié
      • Définition d’une syntaxe abstraite en Ecore et OCL
      • Implémentation d’une syntaxe graphique avec Sirius
      • Implémentation d’une syntaxe textuelle avec xText
    • Expression et vérification de contraintes en OCL
    • Exercices de requêtage de modèles en QVT
  • Introduction à l’ingénierie système
    • Fondements de l’ingénierie système
    • Approches méthodologiques
    • Présentation du standard ISO-15288
    • Présentation d’une étude de cas sur un système avionique (ou autre) servant de fil rouge pour la pratique
  • Introduction au MBSE
    • Spécification formelle d’un système avec SysML
      • Application d’une méthodologie outillée basée sur les transformations de modèles avec ATL
      • Traçabilité des exigences avec ProR
    • Vérification de la spécification par des méthodes formelles avec UPPAAL
  • Initiation aux outils de l'ingénierie dirigée par les modèles

DATE(S) :

à PARIS : Du 22 au 25 mars 2022

PRIX :

1980 € HT (TVA 20 %)

voir conditions générales

Télécharger le pdf
Imprimer
Télécharger le bulletin d'inscription
Nous contacter

logo formation eurosae 300

EUROSAE vous accueille dans ses locaux dans des conditions sanitaires optimales.
Cependant, nous vous proposons également un large panel de formations à distance.