L'embarqué > MathWorks

MathWorks

Du modèle au code généré, méthodes formelles et analyse statique renforcent la confiance

Publié le 14 octobre 2013 à 10:25 par François Gauthier        

Au delà des vicissitudes de la vie des affaires et des rachats entre entreprises, certaines technologies perdurent, se bonifient au cours du temps et trouvent leur chemin auprès des utilisateurs, malgré des changements d’environnements. C’est le cas des solutions d’analyse statique et de détection des erreurs d’exécution de code développées par la société française Polyspace, créée en 1999 et rachetée par MathWorks en 2007. Aujourd’hui, les technologies de Polyspace déjà intégrées étroitement au cœur des produits de l'Américain, notamment Simulink, poursuivent leur évolution...

Réservé aux abonnés Partager
Lire

MathWorks met l’accent sur la vérification statique de code

Publié le 12 septembre 2013 à 12:59 par François Gauthier        

A l’occasion du lancement de la version 2013b de ses familles d’outils Matlab et Simulink, l’américain MathWorks introduit deux outils de vérification statique de code, Polyspace Code Prover et Polyspace Bug Finder. ...

Réservé aux abonnés Partager
Lire

"Les développeurs veulent de plus en plus valider leurs designs en amont grâce à la modélisation"

Publié le 21 août 2013 à 15:28 par François Gauthier        

Alors que MathWorks va fêter ses 30 ans d'existence l'année prochaine, Philippe Foucault, le directeur général de Mathworks France, dresse pour L'Embarqué un rapide portrait de la société et décrypte quelques tendances importantes qui traversent le domaine de la conception des systèmes embarqués, où son logiciel Simulink, notamment dans les industries aéronautiques et automobiles, joue un rôle très important. ...

Réservé aux abonnés Partager
Lire

Lire les articles précèdents

Lire les articles suivants