The increase of automation in the automotive industry and the adoption of ISO 26262 have increased the need for safer hardware systems. This thesis presents several methods to assess a system’s fault tolerance via fault injection, reduce its fault-verification space by a factor of 33, and speed up its safety verification by up to two orders of magnitude using virtual prototypes.
Übersetzte Kurzfassung:
Die zunehmende Automatisierung in der Automobilindustrie und die Einführung der Norm ISO26262 hat zu einem erhöhten Bedarf an sicheren Hardwaresystemen geführt. In dieser Dissertation werden verschiedene, neu entwickelte Verfahren zur fehlerinjektionsbasierten Fehlertoleranzmessung, zur Verkleinerung des Fehlerverifikationsraums um einen Faktor von 33 und zur Beschleunigung der Sicherheitsverifikation um bis zu zwei Größenordnungen unter Einsatz von Virtuellen Prototypen vorgestellt.