{{{sourceTextContent.title}}}

Ada a bordo: Thales usa la ZANZARA di AdaCore pro per il software critico dell'elettronica aeronautica

{{{sourceTextContent.subTitle}}}

Lo spazio aereo, la difesa, il trasporto e la compagnia di sicurezza Thales nella difesa della La, Francia, hanno selezionato ed usato ambiente del Ada della ZANZARA di AdaCore il pro per sviluppare e verificare un generatore qualificato di autocode per software disperso nell'aria critico.

{{{sourceTextContent.description}}}

Il personale di Thales ha implementato il generatore di autocode in Ada; lo strumento prende un file XML e produce il codice sorgente per un sistema incluso dell'elettronica aeronautica che sarà valutato contro gli obiettivi livellati di B considerazioni nel software ED-12C/di DO-178C norma in certificazione dispersa nell'aria delle attrezzature e dei sistemi.

Il processo di sviluppo per il generatore di autocode è stato eseguito secondo l'Agenzia europea per la sicurezza aerea norma di considerazioni di qualificazione dello strumento DO-330/ED-215 (di EASA) e lo strumento è stato qualificato per il progetto dell'elettronica aeronautica al ‑ 2. del livello TQL di qualificazione dello strumento.

MERIGNAC, Francia. Lo spazio aereo, la difesa, il trasporto e la compagnia di sicurezza Thales nella difesa della La, Francia, hanno selezionato ed usato ambiente del Ada della ZANZARA di AdaCore il pro per sviluppare e verificare un generatore qualificato di autocode per software disperso nell'aria critico. Il personale di Thales ha implementato il generatore di autocode in Ada; lo strumento prende un file XML e produce il codice sorgente per un sistema incluso dell'elettronica aeronautica che sarà valutato contro gli obiettivi livellati di B considerazioni nel software ED-12C/di DO-178C norma in certificazione dispersa nell'aria delle attrezzature e dei sistemi.

Oltre all'ambiente della compilazione usato per lo sviluppo e la verifica del generatore di autocode, parecchi strumenti di AdaCore sono stati utilizzati per il software stesso dell'elettronica aeronautica. Questi includono l'ambiente di sviluppo integrato di programmazione dello studio della ZANZARA (GPS) (ido), la macchina verificatrice standard di codifica di GNATcheck e l'analizzatore strutturale di copertura di GNATcoverage.

Secondo l'ingegnere di Thales incaricato del generatore di autocode, facendo uso di una macchina verificatrice standard di codifica automatizzata e di un analizzatore strutturale qualificato di copertura di codice notevolmente ha aiutato il progetto realizzano il processo di verifica dello strumento.

«AdaCore ha un lungo e riuscita storia nell'industria di elettronica aeronautica, con una gamma di prodotti crescente che ha permesso ai clienti di sviluppare e verificare il software sicurezza-critico ai livelli elevati della certificazione ED-12B/C/di DO-178B/C,» AdaCore Team Lead Jamie Ayre commerciale dice. «Siamo soddisfatti di vedere il pro Ada della ZANZARA che è usato da Thales, sia per la loro applicazione che anche il generatore qualificato di autocode che sta producendo il codice.»

Il Ada è (iso) un linguaggio di programmazione normalizzato a livello internazionale progettato per longevo, l'alto-affidabilità, sistemi in tempo reale inclusi, comprendenti le caratteristiche sane di ingegneria del software per sia le applicazioni sequenziali che concorrenti mentre però fornendo le facilità per la programmazione a basso livello. La versione più recente della lingua, Ada 2012, comprende le caratteristiche per alla la programmazione basata a contratto (quali il sottoprogramma pre- e i postconditions) che includono i requisiti a basso livello nel codice sorgente dove possono essere verificati che dinamicamente con tempo di esecuzione i controlli o a compilino il tempo con il supporto appropriato dello strumento.

MERIGNAC, Francia. Lo spazio aereo, la difesa, il trasporto e la compagnia di sicurezza Thales nella difesa della La, Francia, hanno selezionato ed usato ambiente del Ada della ZANZARA di AdaCore il pro per sviluppare e verificare un generatore qualificato di autocode per software disperso nell'aria critico. Il personale di Thales ha implementato il generatore di autocode in Ada; lo strumento prende un file XML e produce il codice sorgente per un sistema incluso dell'elettronica aeronautica che sarà valutato contro gli obiettivi livellati di B considerazioni nel software ED-12C/di DO-178C norma in certificazione dispersa nell'aria delle attrezzature e dei sistemi.

Fondato nel 1994, rifornimenti sviluppo di software di AdaCore e strumenti di verifica per i sistemi missione-critici, sicurezza-critici e sicurezza-critici. Quattro prodotti di nave ammiraglia evidenziano le offerti della società:

Il pro ambiente di sviluppo della ZANZARA per il Ada, gli strumenti completi per la progettazione, implementare ed applicazioni in carico che richiedono l'alte affidabilità e manutenibilità;

Il CodePeer ha avanzato lo strumento di analisi statica, un critico automatico di codice del Ada ed il Validator che possono individuare ed eliminare gli errori sia durante lo sviluppo che in modo retrospettivo su software attuale;

Il pro ambiente di verifica della SCINTILLA, gli strumenti basati sui metodi convenzionali ed orientati verso i sistemi di alto-assicurazione; e

Alla la serie basata a modello dello strumento di sviluppo di QGen per i sistemi di controllo sicurezza-critici, fornendo un generatore di codice qualifiable e personalizzabile, una macchina verificatrice statica per i modelli di Stateflow® e di Simulink® e di un debugger livello del modello.

Negli anni i clienti hanno usato i prodotti di AdaCore e del Ada per sistemare e mantenere una vasta gamma di applicazioni critiche nei dominii quali l'elettronica aeronautica commerciale, automobilistico, ferroviario, lo spazio, i sistemi militari, la gestione del traffico aereo/il controllo, gli apparecchi medici ed i servizi finanziari. AdaCore ha un'estesa e base di clienti mondiale crescente.

I prodotti di AdaCore sono open source e vengono con supporto online esperto fornito dagli sviluppatori stessi. La società ha le sedi europee a Parigi e sedi nordamericane a New York.

Thales è una società globale della tecnologia per lo spazio aereo, il trasporto, la difesa ed i mercati della sicurezza. Con 64.000 impiegati in 56 paesi, Thales ha riferito nel 2016 le vendite di €14.9 miliardo ($17,9 miliardo). Con oltre 25.000 ingegneri e ricercatori, Thales ha una capacità unica per progettare e spiegare le attrezzature, i sistemi ed i servizi per soddisfare le richieste più complesse di sicurezza. La sua orma internazionale eccezionale permette che lavori molto attentamente con i suoi clienti dappertutto.