Software Engineering, 10th Edition

12 Safety engineering

Objectives

The objective of this chapter is to explain techniques that are used to ensure safety when developing critical systems. When you have read this chapter, you will:

• understand what is meant by a safety-critical system and why safety has to be considered separately from reliability in critical systems engineering;

• understand how an analysis of hazards can be used to derive safety requirements;

• know about processes and tools that are used for software safety assurance;

• understand the notion of a safety case that is used to justify the safety of a system to regulators, and how formal arguments may be used in safety cases.

Contents

1. 12.1 Safety-critical systems

2. 12.2 Safety requirements

3. 12.3 Safety engineering processes ...