Software-Systeme in Autos bestehen aus vielen Komponenten, die alle korrekt zusammenarbeiten müssen, um die Sicherheit nicht zu gefährden. Eine essentielle Designvorgabe ist es deshalb, diese Komponenten entlang mehrerer Achsen voneinander zu isolieren, damit sie sich nicht unbeabsichtigt beeinflussen. In diesem Beitrag diskutieren wir, wie a) die von der ISO 26262 vorgeschriebene Isolation erreicht wird und b) man zeigt, dass diese Isolation korrekt implementiert wurde.