AdaCore: differenze tra le versioni

Versione delle 20:30, 25 apr 2019

Versione attuale delle 14:32, 25 mar 2024

(6 versioni intermedie di 6 utenti non mostrate)

Riga 1:

{{Azienda

|nome = AdaCore

|forma societaria =

|logo = AdaCore (logo).jpg

|data fondazione = 1994

|logo_dimensione = 250px

|forza cat anno =

|tipo = società (diritto){{!}}società

|luogo fondazione =

|data_fondazione = 1994

|fondatori =

|data chiusura =

|causa chiusura =

|nazione = USA

|sede = [[New York]], [[Parigi]]

|controllate =

|persone_chiave = Robert Dewar<br />Ed Schonberg<br />Cyrille Comar<br />[[Tucker Taft]]<br />Richard Kenner<br />Franco Gasperoni

|gruppo =

|industria = informatica

|persone_chiavepersone chiave = Robert Dewar<br />Ed Schonberg<br />Cyrille Comar<br />[[Tucker Taft]]<br />Richard Kenner<br />Franco Gasperoni

|industriasettore = informatica

|prodotti = [[GNAT|GNAT Pro]]<br />[[GNAT Programming Studio|GPS]]<br />[[PolyORB]]

|fatturato =

|anno fatturato =

|utile netto =

|anno utile netto =

|dipendenti =

|anno dipendenti =

}}

'''AdaCore''' è una [[società (diritto)|società]] [[informatica]] che fornisceproduce strumenti di sviluppo software [[open source]] per i [[linguaggio di programmazione|linguaggi di programmazione]] [[Ada (linguaggio di programmazione)|Ada]] e [[SPARK]]. La società ha sede [[America Settentrionale|nordamericana]] a [[New York]] ed [[Europa|europea]] a [[Parigi]]. È stata fondata nel 1994 con il nome '''Ada Core Technologies''' ('''ACT'''), e nel 2004 ha effettuato un rebrand come AdaCore.

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 iI prodotti di AdaCore sono distribuiti sotto [[licenza libera]] ([[GNU General Public License|GPL]] o [[GNAT Modified General Public License|GMGPL]].) Gli strumenti AdaCoree, come buona parte delle soluzioni software in linguaggio Ada, sono impiegati principalmente instrumenti [[astronautica]],special [[avionicapurpose]], applicazioniimpiegati militari,principalmente [[controllonello delsviluppo traffico aereo]],di [[ferroviasistema critico|sistemi critici]], [[finanzasistema real-time]].<ref>{{cita eweb|cognome1=Electronic dispositiviDesign|titolo=AdaCore|url=http://electronicdesign.com/adacore-0|sito=Electronic mediciDesign|accesso=17 giugno 2014|urlmorto=sì|urlarchivio=https://web.archive.org/web/20140702133704/http://electronicdesign.com/adacore-0|dataarchivio=2 luglio 2014}}</ref>

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

AdaCore ha sviluppato il progetto GNAT Academic Program (GAP) per sostenere lo studio del linguaggio Ada nella didattica, e diversi progetti didattici universitari legati a [[robotica]] e [[astronautica]].

== Note ==

<references/>

== Altri progetti ==

{{interprogetto}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{cita web|https://libre.adacore.com/|AdaCore Libre site}}

* {{cita web|http://university.adacore.com|AdaCore University}}

* {{cita web|http://www.oss-in-atm.info/20051207/09-gasperoni.php|COTS, FLOSS, and Market Freedom in Safety-Centric Industries}}

* {{cita web|http://www.atego.com//partners/adacore/|Atego, ''AdaCore''}}

* {{cita web|http://www.systematic-paris-region.org/en/members/adacore|Systematic, ''AdaCore''}}

* {{cita web|http://www.newelectronics.co.uk/electronics-interviews/cyrille-comar-adacore-europe/38796/,|AdaCore Europe}}

{{Controllo di autorità}}

{{portale|aziende|informatica}}