Le Français PolySpace Technologies et l’Allemand dSpace viennent d’annoncer l’intégration de leurs solutions respectives PolySpace Verifier et TargetLink.
Il sera possible de détecter automatiquement les erreurs d’exécution dans le code généré par TargetLink, ainsi que de remonter depuis ces erreurs d’exécution vers leur origine dans le modèle lui-même.
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.