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
|
| 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 in astronautica, avionica, applicazioni militari, controllo del traffico aereo, ferrovia, finanza e dispositivi medici. [1] [2]
AdaCore collabora con HP e GNAT Pro è supportato anche su piattaforme specifiche come OpenVMS e Tru64 su sistemi AlphaServer, HP-UX, HP Linux, e OpenVMS su HP Integrity Servers. Verocel ha sviluppato un package di certificazione di livello A secondo lo standard DO-178B per le librerie runtime di GNAT Pro High Integrity Edition.
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.
Note
- ^ Tra i progetti di rilievo, si possono citare la Stazione Spaziale Internazionale, l'Eurofighter Typhoon, il Boeing 787 Dreamliner, il Dassault nEUROn, il C130J, sistemi di controllo o sorveglianza della Siemens, Rockwell Collins, Saabe Toyota.
- ^ Electronic Design, AdaCore, su Electronic Design. URL consultato il 17 giugno 2014.
Collegamenti esterni
- (EN) Sito ufficiale, su adacore.com.
- AdaCore Libre site, su libre.adacore.com.
- AdaCore University, su university.adacore.com.
- COTS, FLOSS, and Market Freedom in Safety-Centric Industries, su oss-in-atm.info.
- Atego, AdaCore, su atego.com.
- Systematic, AdaCore, su systematic-paris-region.org.
- AdaCore Europe, su newelectronics.co.uk.
