Lauterbach ha annunciato che la sua suite di strumenti di sviluppo TRACE32 supporta completamente il compilatore AdaCore GNAT Pro Ada, progettato per applicazioni critiche per la sicurezza in settori come per esempio l’avionica, l’automotive e la difesa.
Questo supporto -precisa il produttore- permette il debug dei programmi Ada compilati a livello di codice sorgente, anche in applicazioni multithread, e le misure di copertura del codice per le certificazioni. Il supporto di TRACE32 consente infatti di effettuare operazioni come debug e il tracciamento in tempo reale, sia software che hardware, del codice Ada, ma anche del codice misto Ada e C/C++. A queste capacità si aggiunge il supporto per applicazioni multithread grazie alla funzionalità di task awareness. L’analisi delle tracce di esecuzione, comprese le misure di copertura del codice per le certificazioni di sicurezza secondo DO-178C, ISO 26262 e altri standard, permette di immettere sul mercato più rapidamente i progetti embedded.
“Ada è un linguaggio di programmazione che offre sicurezza, elevate prestazioni e facilità d’uso”, ha dichiarato Alexandre Schaefer, Direttore Vendite di Lauterbach. “Grazie al supporto dei nostri strumenti di debug e tracciamento TRACE32, leader di mercato, per il compilatore AdaCore, gli sviluppatori di Ada embedded hanno ora accesso a strumenti di debug e tracciamento leader a livello mondiale, in grado di accelerare significativamente i tempi di sviluppo e integrazione in tutti i tipi di progetti.”
Il Dott. José Ruiz, GNAT Pro Embedded Product Manager presso AdaCore, ha dichiarato: “Siamo molto lieti di offrire, insieme al nostro partner di lunga data Lauterbach, TRACE32, una soluzione leader per lo sviluppo, il debug, il tracciamento e l’implementazione di applicazioni embedded sicure e protette scritte in Ada e C/C++”.