EMB_90

EMBEDDED 90 • NOVEMBRE • 2023 56 La qualifica del compilatore è un’attività laboriosa che richiede attenzione ai dettagli: qualsiasi errore può avere infatti costi molto alti. La riconfigurazione ripetuta e la riqualifica obbligatoria del compilatore comportano quantità indesiderate di lavoro extra e potenziali ritardi del progetto, oltre a costi aggiuntivi. Pertanto, è importante la massima precisione sul caso d’uso. Idealmente, la corretta configurazione dovreb- be essere identificata nella fase iniziale per evitare errori. Il primo passo nella metodologia di qualifica è analizzare il caso d’uso e definire i requisiti del com- pilatore. Successivamente, si devono selezionare i test per verificare questi requisiti, eseguirli e analizzare i risultati. La fase finale è la preparazione della docu- mentazione necessaria per garantire la conformità ai requisiti dello standard di sicurezza. Esiste una curva di apprendimento associata con la metodologia e gli strumenti applicabili. Inoltre, gli sviluppatori devono considerare i costi di gestione come quelli che derivano dalla licenza delle test suite, dall’interazione con gli organismi di certificazione e dalla gestione di eventuali fallimenti di test. Le opzioni disponibili per automatizzare il processo Gli sviluppatori di software safety-critical potrebbero rivolgersi a un’azienda partner, ad esempio un forni- tore di processori embedded specifici per applicazioni di questo tipo. Alcuni possono rendere disponibile un kit di qualifica del compilatore che fornisce una me- todologia collaudata corredata da risorse quali casi di test, tool per la generazione di documentazione e un framework per eseguire test di validazione. Solid Sands fornisce SuperTest, la suite di test e vali- dazione del compilatore per C e C++. Se non è dispo- nibile un kit di qualifica, questa suite di test può esse- re utilizzata per validare il compilatore e/o la libreria. Per coloro che invece non vogliono (oppure non sono in grado di farlo in autonomia), i servizi di qualifica del compilatore e della libreria di Solid Sands possono far risparmiare tempo e risorse e fornire un controllo di qualità indipendente. Tuttavia, qualificare internamente un compilatore per applicazioni safety-critical è diventato più semplice grazie al rilascio da parte di BUGSENG , partner di Solid Sands, di un nuovo strumento per l’analisi au- tomatica dei casi d’uso: CerTran. Questa fase è parte fondamentale della qualifica del compilatore ed è cer- tamente complessa. È necessaria una grande cura per garantire che il compilatore sia conforme allo stan- dard di sicurezza richiesto e funzioni come previsto. Diversi parametri definiscono la configurazione del compilatore. Le impostazioni di base includono la ver- sione del compilatore e quella del linguaggio di pro- grammazione. Questi sono estremamente importanti, SuperTest supporta tutte le version di C e C++, da C90 fino a C++20. L’integrazione di CerTran permette di migliorare lo sviluppo di codice C/C++ assicurando l’affidabilità del software e delle librerie, assicurando nel contempo la conformità alle linee guida di MISRA (Fonte: Solid Sands) SOFTWARE | COMPILERS