MBSE

Ingénierie système dirigée par les modèles

Cette formation fournit les bases de l’ingénierie système dirigée par les modèles. Elle permet d’appréhender le lien entre les activités d’ingénierie systèmes, les outils et les langages de modélisation spécifiques à ce domaine.

Cette formation peut être dispensée en présentiel ou à distance.

Langues: Français, Anglais

2000 € (Hors taxes)
4 jours (32 heures)


Pourquoi choisir cette formation ?

Cette formation combine des exposés avec échanges et des présentations d’outils avec un travail approfondi sur une étude de cas. Une attestation est remise à chaque stagiaire ayant suivi la formation complète.

Notre organisme de formation est référencé par DataDock.


Objectifs

  1. S'approprier et appliquer les principes de l’ingénierie dirigée par les modèles.
  2. Comprendre les concepts de base : système, cycle de vie, points de vue et représentations.
  3. Connaître les langages et les méthodologies de conception système.
  4. Comprendre les liens entre l'ingénierie système et les ingénieries de spécialité.
  5. Comprendre les liens avec l’ingénierie des exigences
  6. Appliquer la transformation de modèles dans un contexte processus.
  7. Faire des choix d'ingénierie : recherche de compromis et réconciliation.

Prérequis

  • Connaissance de base de la programmation orientée objet.

Programme de la formation

Module 1 - L'ingénierie système
  • Pourquoi l'ingénierie système ?
  • Histoire et notions fondamentales
  • Activités principales
  • Etude du standard ISO-15288 et du livre de l'ingénierie système (SEbook)
  • Présentation du cas d'étude utilisé lors de la formation
Module 2 - L'ingénierie système dirigée par les modèles
  • Avantages
  • Histoire et notions fondamentales
Module 3 - Langages généralistes
  • Modéliser le système avec SysML ou Capella
  • Formaliser les exigences
  • Comprendre le besoin à travers des scénarios
  • Spécifier la structure de décomposition du système avec des blocs constitutifs
  • Spécifier l'interaction entre sous-systèmes à travers des collaborations
  • Spécifier le comportement avec des machines à état et des activités
  • Spécifier l'architecture physique avec des noeuds
  • Spécifier l'allocation des blocs fonctionnels en noeuds physiques
Module 4 - Langages spécifiques au domaine (dédiés)
  • Concevoir votre propre langages de modélisation avec Eclipse EMF
  • Appliquer des contraintes au langage avec OCL
  • Définir la syntaxe graphique du langage avec Eclipse Sirius
  • Définir la syntaxe textuelle du langage avec Eclipse xText
  • Déployer et utiliser votre langage personnalisé
Module 5 - Requêtage et transformations
  • Interroger des modèles avec QVT
  • Transformer des modèles avec ATL
  • Générer du code et la documentation avec Acceleo
Module 6 - Consolider les modèles à l'aide des méthodes formelles et la simulation
  • Combiner des modèles à l'aide des méthodes formelles et du model checking
  • Vérifier l'exactitude fonctionnelle
  • Vérifier l'adéquation entre les fonctions du système et l'architecture physique
  • Générer du code pour la simulation


Votre formateur

Ali Koudri est co-fondateur de Cénotélie et un chercheur et formateur dédié. Il a une expérience de plus de 20 ans en ingénierie dirigée par les modèles (MBSE) et notamment dans la conception et l'implémentation des systèmes complexes dans le domaine de la défense et de l'espace.
Il a participé à des nombreux projets collaboratifs dont e-Collab.

Ali détient un titre de doctorat en Ingénierie dirigée par les modèles appliquée aux systèmes embarqués temps-réel. En tant que chercheur il s'intéresse principalement à l'amélioration des approches MBSE par l'ingénierie collaborative. Avant de devenir un formateur professionnel, il s'est forgé une expérience en tant qu'enseignant dans plusieurs grandes universités de Paris, Lille et Brest, et a animé à plusieurs reprises des ateliers de travail sur des thématiques diverses.