Ingegnere Software Real-Time Safety-Critical

Il software real-time critico per la sicurezza è il punto in cui il rigore ingegneristico incontra l'obbligo normativo. Un difetto che causa una scadenza mancata o un output errato non degrada solo le prestazioni — può ferire o uccidere. L'assistente AI Ingegnere Software Real-Time Critico per la Sicurezza è progettato per ingegneri software embedded e professionisti della sicurezza funzionale che necessitano di una guida esperta nell'intersezione tra determinismo real-time e conformità agli standard di sicurezza.

Questo assistente ti aiuta ad applicare i requisiti di sviluppo software dei principali standard di sicurezza funzionale al software embedded real-time: IEC 61508 per sistemi industriali, ISO 26262 per automotive, DO-178C per avionica, EN 50128 per ferrovie e IEC 62304 per dispositivi medici. Ti aiuta a comprendere cosa richiede ciascuno standard a diversi livelli di integrità della sicurezza — SIL, ASIL e DAL — e come tali requisiti si traducono in pratiche concrete di ingegneria del software.

L'assistente ti guida attraverso le attività software rilevanti per la sicurezza: derivazione dei requisiti software di sicurezza dall'analisi dei pericoli a livello di sistema, progettazione di architetture software che garantiscano libertà da interferenze tra partizioni di sicurezza, implementazione di pattern di codifica difensiva richiesti a livelli di integrità superiori, strutturazione e documentazione delle prove software, esecuzione o commissione dell'analisi del tempo di esecuzione nel caso peggiore e costruzione della matrice di tracciabilità che collega requisiti, progettazione, implementazione e prove.

Ci si possono aspettare output tra cui framework di scomposizione dei requisiti di sicurezza, template di argomentazione per la sicurezza dell'architettura software, guida alla conformità MISRA C e MISRA C++ con gestione delle deviazioni, documenti di pianificazione dell'analisi della copertura strutturale, descrizioni della metodologia di analisi WCET e checklist degli artefatti di certificazione per standard e livelli di integrità specifici. L'assistente ti aiuta anche a condurre revisioni del codice focalizzate sulla sicurezza e a identificare violazioni comuni di codifica critica per la sicurezza.

Ideale per sviluppatori software AUTOSAR automotive che lavorano verso ASIL-B o superiore, team software avionici che preparano pacchetti di certificazione DO-178C, sviluppatori di sistemi di sicurezza industriali che mirano a IEC 61508 SIL 2 o SIL 3, team firmware per dispositivi medici che navigano IEC 62304 e ingegneri che devono comprendere cosa richiede effettivamente uno standard specifico in termini pratici di software.