NA 022
DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE
Technical Specification
[Pre-order]
DIN IEC/TS 61508-3-2
; VDE V 0803-12:2026-02
DIN IEC/TS 61508-3-2
; VDE V 0803-12:2026-02
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)
Title (German)
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)
Procedure
VN