Sommerville-Software-Engineering-10ed

10
Dependable systems
Objectives
The objective of this chapter is to introduce the topic of software
dependability and what is involved in developing dependable software
systems. When you have read this chapter, you will:
■ understand why dependability and security are important attributes
for all software systems;
■ understand the five important dimensions of dependability, namely,
availability, reliability, safety, security, and resilience;
■ understand the notion of sociotechnical systems and why we have to
consider these systems as a whole rather than just software systems;
■ know why redundancy and diversity are the fundamental concepts
used in achieving dependable systems and processes;
■ be aware of the potential for using formal methods in dependable
systems engineering.
Contents
10.1 Dependability properties
10.2 Sociotechnical systems
10.3 Redundancy and diversity
10.4 Dependable processes
10.5 Formal methods and dependability