Der Nachweis, dass eine Notbremsung auf einem modernen SoC immer unter 5 ms ausfuehrt, gehoert zu den groessten Herausforderungen der funktionalen Sicherheit.
Statische Werkzeuge erstellen Kontrollflussgraphen (CFGs) aus ELF-Binaries. Mittels abstrakter Interpretation ermitteln sie den laengstmoeglichen Ausfuehrungspfad.
CAST-32A und ISO 26262 klassifizieren geteilte Hardware als Interferenzkanaele. Test-Suiten belegen, dass Bandbreitendrosselung Latenzaufschlaege unter 8 Prozent haelt.