L'embarqué > AdaCore

AdaCore

La démocratisation des méthodes de preuve formelle est en marche

Publié le 06 juin 2013 à 13:13 par François Gauthier        

Initié en 2010, doté d'une enveloppe globale de 3,9 millions d’euros et financé à hauteur de 1,4 million par les pouvoirs publics dans le cadre du pôle de compétitivité Systematic, le projet de recherche industrielle Hi-Lite trouve aujourd’hui son épilogue. Porté par la société Adacore, fournisseur d’outils de développement et de test pour le langage Ada, ce projet s'est attaché à évaluer comment l’utilisation des méthodes de preuve formelle pouvait améliorer les méthodes de test des codes embarqués critiques. ...

Réservé aux abonnés Partager
Lire

Adacore aligne ses outils sur Ada 2012

Publié le 29 avril 2013 à 13:48 par François Gauthier        

Lors de la manifestation Design West 2013, le français Adacore a lancé la version 7.1 de son environnement de développement en open source GNAT Pro, ainsi que la version 2.2 de son outil d’analyse statique Code Peer. ...

Réservé aux abonnés Partager
Lire

Cyrille Comar, Adacore : "Ada a une belle carte à jouer dans les systèmes critiques de demain"

Publié le 11 avril 2013 à 07:07 par François Gauthier        

Le langage Ada fait partie depuis de nombreuses années du paysage des langages de programmation, au même titre que le C/C++ ou Java, apparu plus récemment. Moins connu que ces derniers, il a cependant su se faire un nom dans le monde des applications critiques à haut niveau de fiabilité pour les domaines de la Défense et des transports (aéronautique, espace, ferroviaire). L’évolution Ada 2012 lui ouvre aujourd’hui de nouvelles perspectives et un bel avenir; notamment pour des applications critiques, où la notion de sécurité devient primordiale. Cyrille Comar, l'un des fondateurs de la société AdaCore, analyse cette tendance. ...

Réservé aux abonnés Partager
Lire

Du Ada sur ARM, c’est désormais possible

Publié le 27 février 2013 à 11:01 par François Gauthier        

Faisant le constat que les processeurs à cœur ARM, avec l’écosystème qui les accompagne, commençaient à être utilisés de manière significative dans les secteurs de la Défense, de l’aérospatial et des transports, la société Adacore ...

Réservé aux abonnés Partager
Lire

Lire les articles précèdents

Lire les articles suivants