Modélisation de Systèmes Logiques avec Stateflow

Cette formation de deux jours montre comment développer des flux décisionnels complexes et des machines à états finis avec Stateflow^®. On aborde tout particulièrement les graphes de flux, les machines à états et les tables de vérité. Les sujets traités sont :

Diagrammes de flux
Machines à états
Architecture de machines à états
Machine à états parallèles
Evénements dans des diagrammes d'états
Appel de fonctions
Tables de vérité
Tables de transition d'état
Considérations sur la conception dans Stateflow

Pré-requis

Les Fondamentaux MATLAB et Fondamentaux Simulink. Des connaissances en programmation en C peuvent être utiles.

Voir le détail des formations

Pré-requis

Les Fondamentaux MATLAB et Fondamentaux Simulink. Des connaissances en programmation en C peuvent être utiles.

Jour 1
Modélisation de Flux Logiques Complexes	Objectif: Implémenter des flux décisionnels à l'aide de diagrammes de flux. Jonctions et transitions Comportement d'un diagramme de flux L'interface Stateflow Conditions et actions de condition Données d'un diagramme Structures courantes
Modélisation de Machines à Etats	Objectif: Implémenter des machines à états avec des diagrammes de transition d'état. Comportement d'une machine à états Etats et actions de transition Initialisation du diagramme Ordre d'exécution des actions Diagrammes de flux internes Diagrammes de Mealy et Moore
Diagrammes d'états hiérarchiques	Objectif: Implémenter des diagrammes hiérarchiques pour améliorer la clarté des conceptions de machines à états. Super-états et sous-états Données d'un état Jonction d'historique Priorité des transitions Ordre d'exécution des actions
Diagrammes d'états parallèles	Objectif: Implémenter des états parallèles pour concevoir des modèles multitraitements. Avantages des états parallèles Décomposition d'un diagramme/état Données des états parallèles Comportement des états parallèles

Jour 2
Evénements dans des Diagrammes d'Etats	Objectif: Utiliser des événements au sein d'un diagramme Stateflow pour contrôler son exécution. Utilisation des événements au sein de diagrammes d'états Diffusion d'événements Comportement des diagrammes d'états contenant des événements Evénements implicites Opérateurs de logique temporelle
Appel de Fonctions	Objectif: Créer des fonctions à partir de blocs Simulink, de code MATLAB ou de diagrammes de flux. Types de fonctions disponibles Fonctions Simulink Fonctions MATLAB Fonctions graphiques
Tables de Vérité et Tables de transition d'état	Objectif: Implémenter un diagramme de flux et un diagramme de transition d'état sous la forme d'une table. Table de vérité Conditions, décisions et actions Tables de transition d'état Etats, transitions et actions
Modélisation par composants dans Stateflow	Objectif: Réutiliser des diagrammes Stateflow, contraindre la syntaxe d'un diagramme et interagir avec des données Simulink structurées. Bus Types de données Sous-diagrammes atomiques Cartographie des données Réutilisation des diagrammes