AdaCore: differenze tra le versioni

Versione delle 22:24, 17 feb 2017

Versione delle 22:25, 17 feb 2017

Riga 16:

== 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 in [[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>

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 ==