DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE
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)
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
Overview
This document covers the general assurance of dependable software used in critical operational-technology (OT) which is running on hardware devices which are specified as part of the OT application. This document refers to mathematical and logical techniques (M<). Some of the M< techniques discussed in this document are not limited to software development, but are equally applicable to other engineering techniques based on digital systems. Successful use of some or all of the assurance points specified in this document enhances the confidence that a particular piece of safety-related software meets the requirements of the SIL of the safety function which it (partially or fully) implements, and thereby increases the systematic capability of the software.
