PolySpace, grâce à un accord avec dSpace et The MathWorks, assure la détection d’erreurs d’exécution dans le code issu des outils de ces deux sociétés, et remonte à la cause du problème dans le modèle.

La programmation graphique basée sur des modèles est de plus en plus souvent utilisée pour la conception des logiciels embarqués,

…