Qualiopi

Migration SysML v1 vers SysML v2

Formation s'adressant à des modélisateurs déjà aguerris au MBSE dont l'enjeu est de désapprendre les réflexes v1 et d'absorber ce qui est propre à SysML v2

5 jours

4 000 € HT

SysML v2

Python

Intéressé par cette formation ?

Contactez-nous pour planifier une session.

Demander un devis

Objectifs pédagogiques

Cartographier les ruptures v1 → v2 : correspondances, disparitions, faux-amis, et la bascule du graphique-roi vers le textuel comme source de vérité.
Maîtriser le paradigme Définition / Usage et la notation textuelle de SysML v2.
Réorganiser un modèle selon les conventions v2 : packages, bibliothèques standard, unités, imports, visibilité, bonne formation.
Reformuler des exigences v1 (y compris property-based) en exigences v2 à base de contraintes, avec traçabilité native.
Reconstruire une architecture en parties, ports, interfaces, connexions, flux et variantes selon la sémantique v2.
Modéliser le comportement par actions et par états et l'allouer sur la structure, en repérant les écarts par rapport aux habitudes v1.
Conduire une analyse paramétrique et formaliser la vérification reliant cas de test et exigences.
Évaluer lucidement le coût et le chemin d'une migration sur un cas réel.

Programme

Jour 1 - Delta v1 → v2 : socle et paradigme

Matin : cartographie de la rupture : ce qui change, ce qui disparaît, les faux-amis (blocs → parties, fin du graphique-roi, le textuel comme référence) ; le paradigme Définition / Usage, neuf pour tous. TP : recodage en v2 d'une structure typiquement modélisée en v1.
Après-midi : organisation du modèle selon les conventions v2 - packages, bibliothèques standard, unités, imports, visibilité, sous l'angle « réflexe v1 → v2 ». TP : structure MARTINET organisée, avec points de vigilance migration.

Jour 2 - Exigences et cas d'usage en v2

Matin : ce que la v2 change pour les exigences - du tableau et des property-based requirements v1 vers le requirement formel et la traçabilité native. TP : référentiel d'exigences MARTINET exploitant les apports v2.
Après-midi : exigences à base de contraintes ; acteurs et cas d'usage ; liens cas d'usage ↔ exigences. TP : contraintes et cas d'usage

Jour 3 - Modélisation structurelle

Matin : décomposition en parties, attributs, ports et conjugaison de ports. TP : décomposition de MARTINET, définition des ports.
Après-midi : interfaces, connexions, flux de matière / énergie / information ; variantes et configurations. TP : architecture connectée, un point de variation.

Jour 4 - Modélisation comportementale

Matin : comportement par actions et activités - flux de contrôle et de données, entrées / sorties. TP : fonction principale de mission en actions.
Après-midi : comportement par états - transitions, déclencheurs, gardes, entry / do / exit ; allocation du comportement sur la structure. TP : machine à états des modes de MARTINET, allocation sur l'architecture.

Jour 5 - Analyse, vérification et synthèse

Matin : analyses et contraintes paramétriques - budgets de masse, d'énergie / autonomie, de marge ; lien analyse ↔ exigences. TP : budgets de masse et d'autonomie de MARTINET.
Après-midi : vérification - cas de test, liaison verify vers les exigences, scénarios et verdicts ; panorama de l'échange de modèles par API (bloc optionnel) ; bilan. TP : un cas de test « autonomie ≥ seuil » vérifiant une exigence du Jour 2 via l'analyse paramétrique.