Introduction à l'ingénierie système dirigée par les modèles (MBSE)
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
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)
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.
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).
Ali KOUDRI :
Chercheur, co-fondateur de Cenotelie.
- 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
- Spécification formelle d’un système avec SysML
- Initiation aux outils de l'ingénierie dirigée par les modèles
à PARIS : nous consulter (anciennes dates : du 20 au 23 Mars 2023)
2 120 € HT (TVA 20 %) voir conditions générales