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

Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme -

Teil 3-2: Anforderungen und Anleitung für die Verwendung mathematischer und logischer Verfahren für die Bestimmung genauer Eigenschaften von Software und deren Dokumentation (IEC TS 61508-3-2:2024) Teil 3-2: Anforderungen und Anleitung für die Verwendung mathematischer und logischer Verfahren für die Bestimmung genauer Eigenschaften von Software und deren Dokumentation

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&LT, manchmal auch M&LT-Verfahren). Einige der in diesem Dokument behandelten M&LT-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.