|
== Prodotti ==
I principali prodotti di AdaCore sono i compilatori [[GNAT|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 [[GNU General Public License|GPL]] o [[GNAT Modified General Public License|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,<ref>{{cita web|cognome1=Electronic Design|titolo=AdaCore|url=http://electronicdesign.com/adacore-0|sito=Electronic Design|accesso=17 giugno 2014}}</ref> comein [[astronautica]], [[avionica]], applicazioni militari, [[controllo del traffico aereo]], [[ferrovia]], [[finanza]] e dispositivi medici.
<ref>Tra i progetti di rilievo, si possono citare la [[Stazione Spaziale Internazionale]], l'[[Eurofighter Typhoon]], il [[Boeing 787 Dreamliner]], il [[Dassault nEUROn]], il [[Lockheed Martin C-130J Super Hercules|C130J]], sistemi di controllo o sorveglianza della [[Siemens (azienda)|Siemens]], [[Rockwell Collins]], [[Saab]]e [[Toyota]].</ref>
<ref>{{cita web|cognome1=Electronic Design|titolo=AdaCore|url=http://electronicdesign.com/adacore-0|sito=Electronic Design|accesso=17 giugno 2014}}</ref>
Tra i principali partner di AdaCore vicollabora sonocon [[Altran]],HP [[Wind River Systems|Wind River]], [[Hewlett-Packard]]e (GNAT Pro è supportato suanche diversesu piattaforme HP,specifiche 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.
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. ▼Alcuni tra i principali progetti che impiegano strumenti di sviluppo della AdaCore sono il software della [[Stazione Spaziale Internazionale]]<ref>[http://www.adacore.com/customers/international-space-station/ International Space Station]</ref>, l'[[Eurofighter Typhoon]]<ref>[http://www.adacore.com/uploads/customers/CaseStudy_Eurofighter.pdf Eurofighter Typhoon]</ref> il [[Boeing 787 Dreamliner]]<ref>[http://www.adacore.com/customers/787-dreamliner-common-core-system/ 787 Dreamliner (Common Core System)]<br />[http://www.adacore.com/customers/787-dreamliner-air-conditioning-control-unit/ 787 Dreamliner (Air Conditioning Control Unit)]</ref>, il drone [[Dassault nEUROn]],<ref>[http://www.adacore.com/customers/neuron-unmanned-aircraft/ nEUROn Unmanned Aircraft]</ref> il [[Lockheed Martin C-130J Super Hercules|C130J]]<ref>[http://www.adacore.com/customers/c130-j-flight-management-system/ C130 J Flight Management System]</ref>, i sistemi di controllo ferroviario della [[Siemens (azienda)|Siemens]]<ref>[http://www.adacore.com/customers/railway-control-system/ Railway Control System]</ref>, i sistemi di sorveglianza militare marittima e terrestre di [[Rockwell Collins]]<ref>[http://www.adacore.com/customers/cross-___domain-guard/ Cross Domain Guard for Military Tactical Systems]</ref> e [[Saab]],<ref>[http://www.adacore.com/customers/land-and-naval-surveillance-and-defense-systems/ Land and Naval Surveillance and Defense Systems]</ref> alcuni sistemi di controllo di veicoli della [[Toyota]].<ref>[http://www.adacore.com/customers/toyota-itc-japan/ High-Reliability Vehicle Component Research Project]</ref>
▲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 ==
|
