NA 022

DKE German Commission for Electrical, Electronic & Information Technologies of DIN and VDE

Project

Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation (IEC 65A/932/CD:2019); Text in German and English

Abstract

This Technical Specification 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. It 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.

Begin

2020-05-07

Planned document number

DIN IEC/TS 61508-3-2

Project number

02229486

Responsible national committee

DKE/GK 914 - Funktionale Sicherheit elektrischer, elektronischer und programmierbarer elektronischer Systeme (E, E, PES) zum Schutz von Personen und Umwelt  

Contact

Sascha Man-Son Lee

Merianstr. 28
63069 Offenbach am Main

Tel.: +49 69 6308-291

Send message to contact