Vérifier et valider exhaustivement vos systèmes embarqués dans Simulink avant leur implémentation !

Les concepteurs de systèmes embarqués sont unanimes sur ce point : la validation est une activité coûteuse et très consommatrice de ressources. Une erreur de conception découverte en phase de test ou, pire encore, après la mise sur le marché d’un système, peut avoir un impact très néfaste. Au-delà d’un temps de développement significativement accru, c’est parfois l’image de marque de toute une gamme de produits qui en pâtit.

Pour pallier à cela, MathWorks met à disposition des ingénieurs une palette d’outils permettant de vérifier exhaustivement les systèmes embarqués conçus dans l’environnement Simulink. En plus de la simulation traditionnellement utilisée pour la validation fonctionnelle, venez découvrir comment l’analyse de couverture ou les méthodes formelles peuvent vous aider à assurer le bon fonctionnement de votre système dans l’ensemble des cas d’emplois possibles.

Sur la base d’exemples concrets, ce webinar vous montrera comment :

• Détecter des erreurs de conception dans votre modèle Simulink
• Caractériser la couverture de votre modèle vis-à-vis d’un ou plusieurs jeux de tests
• Compléter cette couverture en générant automatiquement les cas de tests manquants
• Prouver analytiquement que votre modèle satisfait certaines propriétés

Note : Simulink Verification and Validation a été remplacé par Simulink Check, Simulink Coverage et Requirements Toolbox dans la version R2017b