IEC TS 61508-3-2:2024 PDF

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

Статус документа:: Действующий
Формат:: Электронный (PDF)
Количество страниц:: 27
Дата публикации:: 26 августа 2024 г.
Издание:: IEC TS 61508 edition 1 version 1
ICS:: 25.040.40

Тип поставки:

Full version405 €Read online 24h10 €Read online 72h15 €

Язык документа:

ruen

Срок поставки:5 раб. дн. (перевод)

Цена:405 €

Описание (английский):

IEC TS 61508-3-2:2024 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 safety-related 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 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.

Технические детали

Технический комитет: SC 65A - System aspects
SKU: IEC TS 61508-3-2:2024

Abstract

Overview

IEC TS 61508-3-2:2024 is a Technical Specification in the IEC 61508 series that gives requirements and guidance for using mathematical and logical techniques (M&LT / formal methods) to establish exact properties of safety-related software and its documentation. It targets dependable software for operational-technology (OT) systems developed to a Formal Safety Requirements Specification and intended to meet a given Safety Integrity Level (SIL). The specification complements IEC 61508-3 by focusing on formal techniques that increase systematic capability and confidence that software implements its safety function correctly.

Key topics

Scope and applicability: Use of M&LT for software running on OT hardware, aligned with IEC 61508-3 development practices.
Assurance points: Formal triples (S1, S2, property P) where mathematical proofs can establish joint properties between software artifacts.
Formal specifications: Guidance on producing a Formal Safety Requirements Specification, and on formal software architecture and design specifications.
Languages and compilation: Selection of executable source-code-level (ESCL) languages, coding standards (language subsetting), and safe compilation practices including code generation.
Verification techniques: Static analysis (e.g., abstract interpretation), automated theorem provers/automated proving, model checking and other M&LTs to prove exact properties of source and object code.
Run-time behavior: Handling of run-time errors, exceptions and techniques for assuring absence or controlled management of runtime faults.
Normative and informative annexes:
- Annex A (normative): Applicable M&LTs (Table A.1).
- Annex B (informative): Specific techniques and tools (Table B.1).
- Annex C (informative): Properties assured by M&LTs (Table C.1).
- Annex D (informative): Software refinement and transformation traces from specification to code.

Applications

Safety engineers and software developers: Implement and verify safety-related software to meet SIL claims using formal proofs, static analysis and coding standards.
Verification and validation teams: Define and check assurance points, select appropriate M&LT tools, and produce evidence for assessments.
System integrators and OT operators: Apply formal methods to components of E/E/PE systems where increased assurance is needed.
Assessors and certification bodies: Evaluate evidence that software meets IEC 61508-3 requirements and SIL targets through documented M&LT application.

Related standards

IEC 61508-3:2010 - Software requirements for functional safety (normative reference).
IEC 61508-4:2010 - Definitions and abbreviations (normative reference).
The TS is part of the broader IEC 61508 suite for functional safety of E/E/PE systems.

This specification is essential when adopting formal methods, mathematical verification, and rigorous software assurance to strengthen confidence in safety-related OT software and to provide auditable evidence aligned with IEC functional-safety processes.

Overview

Key topics

Scope and applicability: Use of M&LT for software running on OT hardware, aligned with IEC 61508-3 development practices.
Assurance points: Formal triples (S1, S2, property P) where mathematical proofs can establish joint properties between software artifacts.
Formal specifications: Guidance on producing a Formal Safety Requirements Specification, and on formal software architecture and design specifications.
Languages and compilation: Selection of executable source-code-level (ESCL) languages, coding standards (language subsetting), and safe compilation practices including code generation.
Verification techniques: Static analysis (e.g., abstract interpretation), automated theorem provers/automated proving, model checking and other M&LTs to prove exact properties of source and object code.
Run-time behavior: Handling of run-time errors, exceptions and techniques for assuring absence or controlled management of runtime faults.
Normative and informative annexes:
- Annex A (normative): Applicable M&LTs (Table A.1).
- Annex B (informative): Specific techniques and tools (Table B.1).
- Annex C (informative): Properties assured by M&LTs (Table C.1).
- Annex D (informative): Software refinement and transformation traces from specification to code.

Applications

Safety engineers and software developers: Implement and verify safety-related software to meet SIL claims using formal proofs, static analysis and coding standards.
Verification and validation teams: Define and check assurance points, select appropriate M&LT tools, and produce evidence for assessments.
System integrators and OT operators: Apply formal methods to components of E/E/PE systems where increased assurance is needed.
Assessors and certification bodies: Evaluate evidence that software meets IEC 61508-3 requirements and SIL targets through documented M&LT application.

Related standards

IEC 61508-3:2010 - Software requirements for functional safety (normative reference).
IEC 61508-4:2010 - Definitions and abbreviations (normative reference).
The TS is part of the broader IEC 61508 suite for functional safety of E/E/PE systems.

IEC TS 61508-3-2:2024 PDF

Технические детали

Abstract

Overview

Key topics

Applications

Related standards

Похожие стандарты

Abstract

Overview

Key topics

Applications

Related standards

Похожие стандарты

Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software…

Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 4: Definitio…

Functional safety of electrical/electronic/ programmable electronic safety related systems - Guidelines on th…