La vérification automatisée des logiciels facilite l'industrialisation des systèmes embarqués

En faisant remonter les phases de validation en amont des développements, la nouvelle génération d'outils de détection des défauts de Polyspace permet de réaliser d'importants gains de productivité.