Lo sviluppo software di apparati "safety related"

Il programma tratta la realizzazione di software per dispositivi di segnalamento e controllo ferroviario, dove un guasto può avere conseguenze gravi. Si parte dalle norme di riferimento e dalla qualità, poi si esaminano l'analisi dei pericoli, la messa in sicurezza dei messaggi tra sistemi, le strutture capaci di reagire ai guasti, la scrittura del codice, le prove e il collegamento tra requisiti e test, con una parte finale su strumenti di supporto e sul linguaggio Rust. È pensato per progettisti e programmatori del comparto ferroviario, insieme a chi si occupa di sicurezza funzionale, verifica, qualità o coordinamento di progetto. Chi partecipa ottiene una visione d'insieme su come le regole tecniche del settore incidano sulle scelte quotidiane di linguaggio, documentazione e collaudo.