EMB 91

EMBEDDED 91 • FEBBRAIO • 2024 61 COMPILER LIBRARIES | SOFTWARE L a norma ISO 26262 sulla functional safety e la nor- ma ISO/SAE 21434 sulla cybersecurity richiedono che le librerie software, comprese le librerie che fanno parte del set di strumenti di compilazione, siano qualificate prima di essere integrate in un software automotive: entrambe le norme considerano la qualifica degli strumenti e della libreria software come due argomenti indipendenti e non correlati. Questo principio generale è valido per la mag- gior parte degli strumenti e librerie, ma è opinabile se sia valido anche per un compilatore e le librerie associate. L’implementazione di un compilatore C e delle librerie associate si basa sulla norma ISO/IEC 9899 (ISO C), che specifica fra l’altro: -- le caratteristiche degli ambienti che traducono ed eseguono programmi C (Articolo 5), che stanno alla base dei requisiti del cosiddetto “codice di startup”; -- la sintassi del linguaggio, i limiti e la semantica (Arti- colo 6), che stanno alla base dell’implementazione del compilatore (il file eseguibile, lo strumento) e delle li- brerie di runtime associate; -- le risorse delle librerie (Articolo 7), che descrivono i contenuti dei file di intestazione e il comportamento delle funzioni delle librerie C. Ogni articolo della norma ISO C contiene riferimenti a tutti gli altri articoli, indicando le dipendenze fra il codice di startup, il compilatore, le librerie di runtime, i file di intestazione e la libreria C. Pertanto, non è chiaro a pri- ori se le linee guida per la qualifica dello strumento e/o della libreria si applichino a una parte specifica del set di strumenti di compilazione e se eventuali modifiche a una parte del set di strumenti invalidi la qualifica delle parti restanti. Questo articolo delinea brevemente i requisiti per la qualifica di strumenti e librerie previsti dalla norma ISO 26262, descrive la composizione di un set di strumenti di compilazione C, comprese le dipendenze fra i componen- ti, e illustra quali criteri di qualifica si applicano ai diversi componenti. Qualifica dello strumento e qualifica della libreria La qualifica di un compilatore per quanto concer- ne la functional safety è considerata in generale un Le insidie nella qualifica delle librerie del compilatore Le norme relative a functional safety e cybersecurity trattano la qualifica degli strumenti e delle librerie come argomenti indipendenti. Questa indipendenza non è coerente con la prospettiva della norma ISO C che sta alla base dell’implementazione del set di strumenti di compilazione e delle sue librerie. In linea di principio generale questa differenza fa emergere “alcune sfide” quando si tratta di qualificare uno strumento di compilazione e le librerie associate a tale strumento Gerard Vink Industry Specialist Product Definition TASKING