L'embarqué > Logiciel > Plate-forme > Du modèle au code généré, méthodes formelles et analyse statique renforcent la confiance

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        Plate-forme MathWorks

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

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...

La lecture de cet article est réservé aux abonnés payants du site.

 

 

Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :

       Durée Prix
       1 mois      12 euros HT, soit 14,40 euros TTC
       6 mois   60 euros HT, soit 72 euros TTC 
       1 an  120 euros HT, soit 144 euros TTC

 

  • Vous avez déjà un compte, n'oubliez pas de vous connecter en cliquant sur "Connexion"

 

  • Vous avez déjà un compte, vous êtes connecté, et vous souhaitez souscrire un abonnement payant : 


 

  • Vous n'avez pas de compte et vous souhaitez souscrire un abonnement payant :





 

 

Sur le même sujet