Die Komplexität moderner technischer Systeme nimmt ständig zu. Die Anforderungen sicherheitskritische Prozesse zu steuern und zu regeln werden immer vielfältiger und auch der wachsende Wettbewerb treibt Hersteller leistungsfähigere und sichere Produkte und Systeme zu entwickeln.
In modernen Systemen werden die Sicherheitsfunktionen verstärkt von elektronischen, vor allem programmierbaren Systemen implementiert. Die funktionale Sicherheit dieser Systeme fordert, die korrekte Funktion von komplexen programmierbaren Systemen sicherzustellen.