ABSTRACT

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards.

Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book." 

 

section I|1 pages

Background

chapter Chapter 1|10 pages

Introduction

chapter Chapter 2|10 pages

Terminology of Safety

chapter Chapter 3|25 pages

Safety Standards and Certification

chapter Chapter 4|3 pages

Representative Companies

section II|1 pages

The Project

chapter Chapter 5|26 pages

Foundational Analyses

chapter Chapter 6|10 pages

Certified and Uncertified Components

section III|1 pages

Design Patterns

chapter Chapter 7|8 pages

Architectural Balancing

chapter Chapter 8|25 pages

Error Detection and Handling

chapter Chapter 9|7 pages

Expecting the Unexpected

chapter Chapter 10|22 pages

Replication and Diversification

section IV|1 pages

Design Validation

chapter Chapter 11|11 pages

Markov Models

chapter Chapter 12|13 pages

The Fault Tree

chapter Chapter 13|11 pages

Software Failure Rates

chapter Chapter 14|24 pages

Semi-Formal Design Verification

chapter Chapter 15|25 pages

Formal Design Verification

section V|1 pages

Coding

chapter Chapter 16|10 pages

Coding Guidelines

chapter Chapter 17|11 pages

Code Coverage Metrics

chapter Chapter 18|14 pages

Static Analysis

section VI|1 pages

Verification

chapter Chapter 19|19 pages

Integration Testing

chapter Chapter 20|13 pages

The Tool Chain

chapter Chapter 21|2 pages

Conclusion