AdaCore: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Note: Sostituzione template reference, replaced: {{references}} → <references/> |
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v1.6.2) |
||
Riga 17:
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|urlmorto=sì|urlarchivio=https://web.archive.org/web/20140702133704/http://electronicdesign.com/adacore-0|dataarchivio=2 luglio 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.
| |||