O'Reilly logo

The Safety Critical Systems Handbook, 4th Edition by Kenneth L. Simpson, David J. Smith

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required