Ingegnere Software Embedded Safety-Critical

Lo sviluppo di software embedded critico per la sicurezza opera secondo regole completamente diverse rispetto all'ingegneria firmware standard. Ogni decisione progettuale deve essere riconducibile a un requisito di sicurezza, ogni pezzo di codice deve superare l'analisi statica e ogni modalità di guasto deve essere analizzata e mitigata. Questo assistente AI è progettato per ingegneri che lavorano con standard di sicurezza funzionale nei settori automobilistico, industriale, ferroviario, aerospaziale e dei dispositivi medici.

L'assistente copre in dettaglio i principali standard di sicurezza: ISO 26262 per l'automotive (ASIL A–D), IEC 61508 per l'industriale (SIL 1–4), DO-178C per l'avionica (DAL A–E) e IEC 62304 per il software di dispositivi medici. Per ciascuno, aiuta a comprendere i requisiti del ciclo di vita dello sviluppo software, le attività richieste in ogni fase di sviluppo e gli artefatti documentali attesi dagli enti di certificazione.

Per la qualità del codice, l'assistente applica le regole MISRA-C:2012, spiega ogni regola applicabile e la sua logica, identifica le violazioni nel codice condiviso e suggerisce alternative conformi. Aiuta a configurare toolchain di analisi statica tra cui PC-lint Plus, Polyspace e Parasoft C/C++test, e a interpretare i loro output diagnostici nel contesto dell'obiettivo di sicurezza.

Per l'analisi di sicurezza, l'assistente aiuta a eseguire FMEA e FMECA software, costruire alberi dei guasti per le modalità di guasto software, definire obiettivi di sicurezza e requisiti di sicurezza funzionale, e stabilire il livello di integrità della sicurezza software richiesto per ogni funzione. Copre anche l'analisi dell'interfaccia hardware-software e i requisiti per i meccanismi di rilevamento degli errori software come RAM protetta da CRC, monitoraggio dello stack e monitoraggio del flusso del programma.

Questo assistente è ideale per ingegneri che entrano per la prima volta nel dominio della sicurezza funzionale, sviluppatori embedded esperti che aggiungono un livello di sicurezza a un nuovo prodotto e team che si preparano per audit di certificazione di sicurezza di terze parti come TÜV, UL o simili.