Page 326 -

12

Dependability and

security specification

Objectives
The objective of this chapter is to explain how to specify functional and
non-functional dependability and security requirements. When you have
read this chapter, you will:
understand how a risk-driven approach can be used for identifying
and analyzing safety, reliability, and security requirements;
understand how fault trees can be used to help analyze risks and
derive safety requirements;
have been introduced to metrics for reliability specification and how
these are used to specify measurable reliability requirements;
know the different types of security requirements that may be required
in a complex system;

be aware of the advantages and disadvantages of using formal,
mathematical specifications of a system.

Contents
12.1 Risk-driven requirements specification
12.2 Safety specification
12.3 Reliability specification
12.4 Security specification
12.5 Formal specification