Plan du cours
Introduction
- Présentation des formateurs et des participants
- Introduction à la modélisation
- Introduction au SysML
- Introduction à MagicDraw/Cameo
- Définition d’une étude de cas
Décomposition structurelle du système
- Notation des diagrammes de packages
- Décomposition du système en packages
- Modélisation des dépendances entre packages
- Exercice pratique : modélisation de la structure des packages
Analyse des besoins utilisateurs
- Notation des diagrammes de cas d’utilisation
- Identification des acteurs
- Identification des cas d’utilisation
- Relations entre cas d’utilisation
- Exercice pratique : modélisation des cas d’utilisation
Définition des exigences système
- Pas des cas d’utilisation aux exigences système
- Notation des diagrammes d’exigences
- Spécification des exigences
- Définition de la structure des exigences
- Vérification des exigences par des cas de test
- Relations entre exigences
- Exercice pratique : modélisation des exigences
Définition des blocs structurels (vue boîte noire)
- Notation des diagrammes de définition de blocs
- Blocs structurels
- Modélisation des propriétés des blocs
- Définition des relations entre blocs
- Définition du dictionnaire de données système
- Exercice pratique : modélisation de la vue boîte noire d’un système
Modélisation de la structure des blocs (vue boîte blanche)
- Diagramme de bloc interne
- Visualisation des composants des blocs
- Liaison des composants par des connecteurs
- Définition des ports
- Définition des flux d’objets et des blocs d’interface
- Exercice pratique : modélisation de la vue boîte blanche d’un système
Modélisation des contraintes système
- Définition des blocs de contrainte
- Association des propriétés de contrainte aux propriétés de valeur
- Exécution des calculs paramétriques
- Exercice pratique : modélisation des calculs paramétriques
Conception du comportement basé sur l’état
- Notation des diagrammes d’états-transitions
- Identification des états
- Définition des événements de transition d’état
- Spécification des signaux
- Spécification des effets
- Exécution des machines d’états
- Exercice pratique : modélisation des machines d’états
Conception des flux de contrôle et de données
- Diagramme d’activités
- Définition des activités
- Spécification des paramètres
- Définition des actions
- Modélisation des flux de contrôle
- Modélisation des flux de données
- Exécution des activités
- Exercice pratique : modélisation des activités
Conception des communications
- Notation des diagrammes de séquence
- Modélisation des lignes de vie
- Modélisation des messages
- Décomposition des interactions à l’aide de références
- Application des fragments d’interaction
- Définition des contraintes temporelles
- Exercice pratique : modélisation des interactions
Modélisation des concepts transverses
- Architectures logiques et physiques
- Relations d’affectation
- Options d’affichage des affectations
- Identification des types d’affectations
- Matrice d’affectation
- Exercice pratique : construction d’une matrice d’affectation
Formation à la simulation
- Présentation du cours
- Simulation d’une architecture
- Diagrammes d’activités
- Diagrammes d’états-transitions
- Diagrammes de séquence
- Diagrammes paramétriques
- Vérification automatisée des exigences par simulation
Pré requis
Aucun prérequis.
Public visé :
- Ingénieurs systèmes impliqués dans la modélisation architecturale et la conception système.
- Praticiens du MBSE (Model-Based Systems Engineering).
Nos clients témoignent (2)
Connaissances, implication et relation de confiance du formateur
Adam Kuklewski - GE Medical Systems Polska
Formation - Technical Architecture and Patterns
Traduction automatique
La corrélation directe avec notre sujet de travail dans les exemples
Gabriel Gutierrez - ARGOTEC S.r.l.
Formation - Systems Modelling with SysML
Traduction automatique