Eine Matrixmethode, welche der Spezifikation, Validierung und Prüfung sicherheitsgerichteter Anwendungsprogramme dient. Es soll sowohl Maschinenherstellern bei der Entwicklung, als auch externen Stellen bei der Prüfung dieser Programme unterstützen.