Stateflow

Validation de la conception et génération de code

En utilisant Stateflow avec d'autres produits Simulink, vous pouvez valider votre conception par rapport aux spécifications et générer du code pour la mettre en œuvre sur votre système embarqué.

Grâce à Simulink Verification and Validation, vous pouvez directement relier les spécifications aux objets Stateflow, vérifier la conformité vis-à-vis des normes et obtenir des mesures de la couverture du modèle.

Simulink Design Verifier vous permet de détecter les erreurs de conception et de générer des vecteurs de test pour les erreurs difficiles à repérer à l'aide de méthodes formelles.

En utilisant des produits complémentaires de génération de code, vous pouvez générer du code C et C++, HDL, ou PLC directement depuis votre diagramme d'états.

Adresser la complexité des systèmes d’assistance à la conduite avec MATLAB et Simulink

Visionner le webinar