DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE
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)
Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation (IEC TS 61508-3-2:2024)
Verfahren
Vornorm
Einführungsbeitrag
Dieses Dokument umfasst die allgemeine Zusicherung zuverlässiger Software, die in der kritischen Betriebstechnik (englisch: operational technology, OT) verwendet wird und auf Hardwaregeräten läuft, die als Teil der OT-Anwendung festgelegt sind. In diesem Dokument wird auf mathematische und logische Verfahren (M<, manchmal auch M<-Verfahren) Bezug genommen. 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.
