Electronique Mag - Le journal de l'électronique.

Les deux sociétés coopèrent afin de connecter les outils d’analyse AbsInt − aiT, StackAnalyzer et Astrée − au générateur de code de production TargetLink de dSPACE. Les erreurs de timing, les dépassements de mémoire et les erreurs d’exécution dus à des spécifications de modèle erronées peuvent désormais être analysés directement depuis le modèle TargetLink et détectés avec certitude dès les premières phases du développement. Les analyses peuvent être en grande partie automatisées afin d’obtenir des résultats plus précis.

Le couplage d’outils combine le développement logiciel basé sur modèle avec la vérification d’exigences non fonctionnelles au niveau de l’implémentation. Il fournit un développement directement intégré, de la conception du modèle à la génération du code de production et à la certification, tout en réduisant le temps de développement et en améliorant la qualité logicielle.