Stateflow
Modéliser et simuler la logique décisionnelle avec des machines à états et des diagrammes de flux
Vous avez des questions ? Contactez l'équipe commerciale.
Vous avez des questions ? Contactez l'équipe commerciale.
Stateflow est un produit qui propose un langage graphique comprenant des diagrammes de transition d'état, des diagrammes de flux, des tables de transition d'état et des tables de vérité. Vous pouvez utiliser Stateflow pour décrire comment les algorithmes MATLAB et les modèles Simulink réagissent aux signaux d'entrée, aux événements et aux conditions temporelles.
Stateflow vous permet de concevoir et de développer des systèmes de supervision, de planification des tâches et de gestion des pannes, ainsi que des protocoles de communication, des interfaces utilisateur et des systèmes hybrides.
Avec Stateflow, vous modélisez une logique de décision combinatoire et séquentielle qui peut être simulée en tant que bloc dans un modèle Simulink ou exécutée en tant qu'objet dans MATLAB. L'animation graphique vous permet d'analyser et de débugger votre logique tandis qu'elle s'exécute. Les vérifications au moment de l'édition et au moment de l'exécution garantissent la cohérence et la complétude du design avant son implémentation.
Avec Stateflow, vous pouvez concevoir des machines à états en utilisant des éléments à glisser-déposer et des instructions logiques simples. Pour vous aider à démarrer, l'autoformation Stateflow Onramp et d'autres formations sont à votre disposition.
Vous pouvez utiliser des diagrammes de flux pour représenter la logique d'état. L'assistant Pattern Wizard vous permet de générer automatiquement des diagrammes de flux pour des patterns de logique courants.
Stateflow propose des tables de transition d'état et des tables de vérité. Les tables de transition d'état proposent une vue tabulaire pour la modélisation de la logique, et les tables de vérité implémentent le design de la logique combinatoire dans un format tabulaire.
Lors de l'exécution de votre diagramme d'état, des animations mettent en avant les états et les transitions actifs. Vous pouvez modifier manuellement les variables pendant l'exécution afin de visualiser leur impact sur le système.
Simulation Data Inspector offre la possibilité de visualiser les données de simulation. Grâce à cet outil, vous pouvez surveiller un système pour collecter des informations précieuses sur son comportement.
Les capacités de débuggage de Stateflow vous permettent de suivre en détail l'exécution d'un diagramme. Vous pouvez définir des points d'arrêt et examiner différentes fonctions pas à pas dans vos diagrammes d'état afin de comprendre les comportements inattendus.
Stateflow peut invoquer les algorithmes Simulink de manière périodique ou continue pour planifier l'exécution des composants et simuler votre environnement en temps réel.
Stateflow s'intègre parfaitement aux autres produits MathWorks pour vérifier, valider et tester vos designs. Vous pouvez exploiter ces produits pour garantir que vos designs répondent aux exigences, détecter les erreurs plus rapidement et atteindre vos objectifs de qualité.
La génération de code vous permet d'implémenter votre logique de diagramme d'état sur des systèmes embarqués. Stateflow support les workflows de génération de code C, C++, VHDL et Verilog, ainsi que de texte structuré pour les PLC.
« Il a fallu attendre le projet Deep Space 1 pour que les diagrammes d'état et la technologie de génération automatique de code soient utilisées sur des grands systèmes pour le software avionique des engins spatiaux. Les outils MathWorks ont rendu cette approche possible. »