Retour à la catégorie

SYI-004
Les fondamentaux de l'ingénierie - 2020 Nouveauté

Introduction à l'ingénierie systèmes 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 :

Enseignant-chercheur, IRT SystemX.

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 2 au 5 mars 2020

PRIX :

1980,00 € HT (TVA 20 %)

voir conditions générales

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