Sommerville-Software-Engineering-10ed

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
12.1 Safety-critical systems
12.2 Safety requirements
12.3 Safety engineering processes
12.4 Safety cases