Chapter 4

Meeting IEC 61508 Part 3

Abstract

This chapter covers Part 3 of IEC 61508 addressing the overall software requirements and the development of software. The Annexes of Part 3 offer appropriate techniques, by SIL, in the form of tables followed by more detailed tables with cross-references. In the 2010 version there is an additional Annex giving guidance on the properties that the software techniques should achieve which is intended to allow a frame work for justifying alternative techniques to those given in the Standard. This chapter attempts to provide a simple and useable interpretation by summarizing the main requirements.

Keywords

Coding; Formal methods; Integration; Life-cycle models; Metrics; Safety manuals; Semi-formal methods; Testing ...

Get The Safety Critical Systems Handbook, 4th Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.