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)
Art/Status:
Norm,
gültig
Ausgabedatum: 2026 -02
VDE-Artnr.: 0801083
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.
Dieses Dokument wird folgenden, in Fettschrift gekennzeichneten, Fachgebiet(en) zugeordnet:
Für die Anzeige aller gültigen Dokumente klicken Sie bitte auf den entsprechenden Fachgebiets-Link oder nutzen Sie die erweiterte Normsuche.