AdaCore: differenze tra le versioni

Versione delle 18:04, 30 mag 2016

Versione attuale delle 14:32, 25 mar 2024

(13 versioni intermedie di 11 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 strumenti [[special purpose]] impiegati principalmente nello sviluppo di applicazioni[[sistema mission-criticalcritico|sistemi checritici]] richiedono[[sistema grande affidabilità e sicurezza,real-time]].<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> come [[astronautica]], [[avionica]], applicazioni militari, [[controllo del traffico aereo]], [[ferrovia]], [[finanza]] e dispositivi medici.

== 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> come [[astronautica]], [[avionica]], applicazioni militari, [[controllo del traffico aereo]], [[ferrovia]], [[finanza]] e dispositivi medici.

== ProdottiNote ==

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.

{{<references}}/>

== Altri progetti ==

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>

{{interprogetto}}

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

{{references}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{cita web|http://www.adacore.com|Sito ufficiale}}

* {{cita web|http://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}}