Catégorie d'annonce
Description
MathWorks fournit des logiciels de calcul scientifique et technique. Le site de Montbonnot est spécialisé dans le développement des outils Polyspace, solutions de vérification et validation de logiciels temps-réels embarqués. Le fort potentiel d'innovation de Polyspace lui a permis de mettre au point des solutions de vérification adaptées aux langages C, C++ et Ada. Polyspace analyse les codes écrits manuellement ainsi que les codes générés automatiquement à partir d'outils de modélisation tels que Simulink. Le produit Polyspace permet de détecter les erreurs d'exécution et de prouver l'absence de certaines de ces erreurs sans faire de test, de façon automatique.
