AdaCore
AdaCore è una società informatica che fornisce strumenti di sviluppo software open source per i linguaggi di programmazione Ada e SPARK. La società ha sede nordamericana a New York ed europea a Parigi. È stata fondata nel 1994 con il nome Ada Core Technologies (ACT), e nel 2004 ha effettuato un rebrand come AdaCore.
| AdaCore | |
|---|---|
.jpg) | |
| Stato | Stati Uniti, Francia |
| Fondazione | |
| Sede principale | New York, Parigi |
| Prodotti | GNAT Pro GPS PolyORB |
| Sito web | www.adacore.com/ |
Prodotti
I principali prodotti di AdaCore sono i compilatori GNAT Pro e SPARK Pro, l'ambiente di sviluppo GNAT Programming Studio e il validatore CodePeer. Tutti i prodotti di AdaCore sono distribuiti sotto licenza GPL o GMGPL. Gli strumenti AdaCore, come buona parte delle soluzioni software in linguaggio Ada, sono impiegati principalmente nello sviluppo di applicazioni mission-critical che richiedono grande affidabilità e sicurezza,[1] come astronautica, avionica, applicazioni militari, controllo del traffico aereo, ferrovia, finanza e dispositivi medici.
Tra i principali partner di AdaCore vi sono Altran, Wind River, Hewlett-Packard (GNAT Pro è supportato su diverse piattaforme HP, come OpenVMS e Tru64 su sistemi AlphaServer, e HP-UX, HP Linux, e OpenVMS su HP Integrity Servers) e Verocel (che ha sviluppato un package di certificazione di livello A secondo lo standard DO-178B per le librerie runtime di GNAT Pro High Integrity Edition.
Alcuni tra i principali progetti che impiegano strumenti di sviluppo della AdaCore sono il software della Stazione Spaziale Internazionale[2], l'Eurofighter Typhoon[3] il Boeing 787 Dreamliner[4], il drone Dassault nEUROn,[5] il C130J[6], i sistemi di controllo ferroviario della Siemens[7], i sistemi di sorveglianza militare marittima e terrestre di Rockwell Collins[8] e Saab,[9] alcuni sistemi di controllo di veicoli della Toyota.[10]
AdaCore ha sviluppato il progetto GNAT Academic Program (GAP) per sostenere lo studio del linguaggio Ada nella didattica, coinvolgendo 175 istituzioni in 35 paesi, e diversi progetti didattici universitari legati a robotica e astronautica impiegano strumenti AdaCore.
Note
- ^ AdaCore, su electronicdesign.com. URL consultato il 17 June 2014.
- ^ International Space Station
- ^ Eurofighter Typhoon
- ^ 787 Dreamliner (Common Core System)
787 Dreamliner (Air Conditioning Control Unit) - ^ nEUROn Unmanned Aircraft
- ^ C130 J Flight Management System
- ^ Railway Control System
- ^ Cross Domain Guard for Military Tactical Systems
- ^ Land and Naval Surveillance and Defense Systems
- ^ High-Reliability Vehicle Component Research Project
