AdaCore: differenze tra le versioni

Versione delle 22:34, 31 ago 2015

Versione delle 17:43, 1 set 2015

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 nello sviluppo di applicazioni mission-critical che richiedono grande affidabilità e sicurezza,<ref>{{citecita web|last1cognome1=Electronic Design|titletitolo=AdaCore|url=http://electronicdesign.com/adacore-0|websitesito=Electronic Design|accessdateaccesso=17 Junegiugno 2014}}</ref> 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 Systems|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.