AdaCore

La société AdaCore, éditeur d’outils de développement et de vérification de logiciels critiques qui nécessitent de hauts niveaux de sécurité et/ou de sûreté, a profité de l’événement ERTS 2016,...

AdaCore Raspberry Pi 2 2
AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, annonce la mise à disposition gratuite sur son site d’une version de son compilateur Ada en open source GNAT GPL pour la carte ...de prototypage Raspberry Pi 2. Carte sur...

AdaCore Qgen
Le franco-américain AdaCore a profité du salon Embedded World qui se tient cette semaine à Nuremberg pour annoncer la sortie de l'outil Qgen 1.0 qui est à la fois un générateur de code qualifiable et un vérificateur de modèles ...écrits...

Adacore ProofinUSe
Le lundi 2 février prochain marquera le lancement opérationnel du laboratoire de recherche ProofInUse, fruit d’une collaboration étroite entre l’Inria, plus spécifiquement l’équipe de recherche Toccata spécialisée dans ...les...

La version de développement 0.6 du micronoyau open source à très haut niveau de sécurité et de fiabilité Muen Separation Kernel est désormais compatible avec la technologie Spark 2014. C’est ce que viennent de confirmer...

AdaCore CodePeer
CodePeer, l’outil d’analyse de code statique pour le langage Ada édité par la société Adacore, est désormais qualifié comme outil de vérification pour les projets de développement de code critique dans l’avionique,...
Réservé aux abonnés

Muen Separation Kernel
La société AdaCore et l’Institut ITA (Internet Technologies and Applications) de l’Université des sciences appliquées de Rapperswil (Suisse) annoncent une évolution, jugée significative, des modèles logiciels open source ...dans le...
Réservé aux abonnés
Ecrit par John Barnes, un expert du langage Ada, l'ouvrage intitulé “Ada 2012 Language Rationale” a pour ambition d’expliquer noir sur blanc les concepts clés du langage Ada 2012. Les associations de promotion du langage Ada, ...en l'occurrence l’Ada Resource...
Réservé aux abonnés
AdaCore University
L'AdaCore University, développée et promue par AdaCore, le spécialiste franco-américain des outils de développement en langage Ada, est une plate-forme Web gratuite destinée à ceux qui souhaitent apprendre à programmer en Ada. ...Cette...
Réservé aux abonnés
Hi-Lite Project
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...
Réservé aux abonnés
ADA 2012
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. ...Désormais, GNAT Pro supporte la version 2012...
Réservé aux abonnés
Cyrille Comar
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...
Réservé aux abonnés