A beágyazott rendszerek biztonságossága (safety) kiemelt jelentőségű az ún. kritikus rendszerek tervezésekor, amelyek meghibásodása közvetlen emberek életét, egészségét veszélyeztetheti vagy jelentős üzleti veszteséggel járhat. A tantárgy célja, hogy áttekintse a nagy megbízhatóságra tervezés és a biztonságigazolás modern módszereit, technológiáit és szabványait, elsősorban az elosztott és beágyazott alkalmazások területén. A tárgy második fele kifejezetten a nukleáris biztonság (azon belül is specifikusan a villamosmérnöki és informatikai területhez legközelebb álló mérnöki területhez, a biztonság szempontjából fontos nukleáris irányítástechnikai rendszerek) kérdéseire koncentrál.