Don't have a credit card? Never mind we support BANK TRANSFER .

Log inSign up
LANGUAGE en
Menu
STOREHelp centerContactsDelivery chargesABOUT US News
SEARCH
0
Total price
0 EUR
PRICES include / exclude VAT
Homepage>IEC Standards>IEC TS 61508-3-2:2024 - 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
download between 0-24 hoursReleased: 2024-08-26
IEC TS 61508-3-2:2024 - 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

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

Format
Availability
Price and currency
English PDF
Immediate download
220.00 EUR
English Hardcopy
in stock
220.00 EUR
Standard number:IEC TS 61508-3-2:2024
Released:2024-08-26
Language:English
DESCRIPTION

IEC TS 61508-3-2:2024

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.

Print