Le nouveau module Scream développé par Polyspace Technologies pour ses outils de vérification permet de mesurer et d’améliorer la fiabilité d’un logiciel, d’une manière objective et directe.

« Identifier des erreurs d’exécution dans un logiciel embarqué, c’est une chose, mais être capable de déterminer le critère d’arrêt d’une validation est encore plus important », constate Cyril

…