s
19 708 Pages

AdaCore
logo
état États-Unis États-Unis
sous forme de société société
fondation 1994
quartier général New-York, Paris
personnes clés Robert Dewar
Ed Schonberg
Cyrille Comar
Tucker Taft
Richard Kenner
Franco Gasperoni
secteur informatique
produits GNAT Pro
GPS
PolyORB
site Web

AdaCore est un société informatique qui fournit des outils de développement de logiciels open source pour langages de programmation Ada et SPARK. La société a son siège social Amérique du Nord à New-York et européen à Paris. Elle a été fondée en 1994 sous le nom de Ada Core Technologies (ACT), Et en 2004, il a réalisé une nouvelle image de marque comme AdaCore.

produits

Les principaux produits sont AdaCore Compilateurs GNAT Pro et SPARK Pro, l'environnement de développement Studio de GNAT Programming et le validateur CodePeer. Tous les produits sont AdaCore distribués sous licence GPL ou GMGPL. Les outils AdaCore, comme la plupart des solutions logicielles pour Ada, sont utilisés principalement dans astronautique, avionique, applications militaires, le contrôle du trafic aérien, chemin de fer, financement et des dispositifs médicaux. [1] [2]

AdaCore collaboration avec HP et GNAT Pro est également pris en charge sur les plates-formes spécifiques telles que OpenVMS et Tru64 systèmes AlphaServer, HP-UX, HP Linux, et OpenVMS sur les serveurs HP Integrity. Verocel a mis au point un niveau de certification Un emballage selon la norme DO-178B standard pour les bibliothèques d'exécution de GNAT Pro High Integrity Edition.

AdaCore a développé le soutien à l'étude de la langue Ada dans l'enseignement, et plusieurs projets d'enseignement universitaires du projet Programme universitaire GNAT (GAP) liée à robotique et astronautique.

notes

  1. ^ Parmi les grands projets, on peut citer la Station spatiale internationale, l 'Eurofighter Typhoon, la Boeing 787 Dreamliner, la neurone Dassault, la C130J, des systèmes de contrôle ou de surveillance de l' Siemens, Rockwell Collins, Saab et Toyota.
  2. ^ Electronique, AdaCore, sur Conception électronique. Récupéré 17 Juin, 2014.

liens externes