No Preview

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)
Class/Status: Standard, valid
Released: 2026-02
VDE Art. No.: 0801083

Note: You can pre-order this document (delivery subject to availability). Valid from 2026-02-01.

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 is particularly aimed at software which is being developed according to the E/E/PE software functional safety standard IEC 61508-3; in particular, the development of the software follows a Formal Safety Requirements Specification. Successful use 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.