Vedi traduzione automatica
Questa è una traduzione automatica. Per vedere il testo originale in inglese cliccare qui
#News
{{{sourceTextContent.title}}}
Airbus seleziona la tuta di sviluppo software per il sistema di elicotteri senza pilota
{{{sourceTextContent.subTitle}}}
AdaCore, un fornitore collaudato di strumenti di sviluppo e verifica del software, ha annunciato che Airbus Helicopters (Francia) ha scelto la sua suite di strumenti GNAT Pro e il linguaggio di programmazione Ada per sviluppare nuovi componenti software per il progetto prototipo VSR700.
{{{sourceTextContent.description}}}
Il VSR700 è il sistema aereo tattico senza equipaggio (UAS) di Airbus Helicopters, progettato per soddisfare le esigenti richieste delle marine e degli eserciti globali nel 21° secolo.
Airbus Helicopters ha selezionato il GNAT Pro AdaCore di AdaCore per PowerPC VxWorks 6.x/Cert sulla base di diversi criteri, tra cui la facilità di integrazione nell'infrastruttura di sviluppo esistente, la capacità di sviluppare algoritmi di monitoraggio e la capacità di aiutare a certificare il software fino al DO-178C Design Assurance Level B.
Matthieu Vatinet, responsabile dei prodotti software embedded, ha detto Airbus Helicopters: "Abbiamo scelto AdaCore e la lingua Ada perché crediamo che questa tecnologia e i relativi strumenti aumenteranno la manutenibilità e la qualità del nostro software e renderanno più facile fornire alcune prove per certi obiettivi di certificazione del software. La qualità del supporto di AdaCore è stato un vantaggio importante, e un altro vantaggio previsto è stato la facilità di sviluppare codice maturo"
Jamie Ayre, direttore commerciale di AdaCore ha commentato: "Sapendo che il team di Airbus Helicopters doveva sviluppare un codice altamente affidabile e sicuro per il loro progetto prototipo VSR700, siamo stati estremamente soddisfatti che abbiano scelto Ada e AdaCore. La suite di strumenti GNAT Pro Ada offre eccezionali capacità di verifica che aiuteranno Airbus a rilevare i problemi nelle prime fasi del processo di sviluppo quando sono più facili e meno costosi da correggere. E i nostri servizi di supporto risponderanno a qualsiasi domanda o problema che possa sorgere"
AdaCore fornisce strumenti di sviluppo software e di verifica per sistemi mission-critical, safety-critical e security-critical. Quattro prodotti di punta mettono in evidenza l'offerta dell'azienda. L'ambiente di sviluppo GNAT Pro è un set di strumenti completo per la progettazione, l'implementazione e la gestione di applicazioni che richiedono un'elevata affidabilità e manutenibilità.
Nel corso degli anni i clienti hanno utilizzato i prodotti AdaCore per mettere in campo e mantenere una vasta gamma di applicazioni critiche in settori quali l'avionica commerciale e militare, l'industria automobilistica, ferroviaria, spaziale, sistemi di difesa, gestione/controllo del traffico aereo, dispositivi medici e servizi finanziari.
AdaCore
www.adacore.com