DIN IEC/TS 61508-3-2 (VDE V 0803-12):2026-02

Dieses Dokument umfasst die allgemeine Zusicherung zuverlässiger Software, die in der kritischen Betriebstechnik (en: operational technology, OT) verwendet wird und auf Hardwaregeräten läuft, die als Teil der OT-Anwendung festgelegt sind. In diesem Dokument wird bezug genommen auf mathematische und logische Verfahren (M<, manchmal auch M<-Verfahren). Einige der in diesem Dokument behandelten M<-Verfahren sind nicht auf die Software-Entwicklung beschränkt, sondern gleichermaßen auf andere auf digitalen Systemen basierende Engineering-Techniken anwendbar. Die erfolgreiche Anwendung einiger oder aller der in diesem Dokument festgelegten Zusicherungspunkte erhöht das Vertrauen, dass ein bestimmtes Teilstück einer sicherheitsbezogenen Software die Anforderungen des SIL der Sicherheitsfunktion, die es (teilweise oder vollständig) implementiert, erfüllt, und erhöht dadurch die systematische Eignung der Software.