Lecture Software Engineering - Chapter 9: Critical Systems Specification

Lecture Software Engineering - Chapter 9: Critical Systems Specification, objectives: To explain how dependability requirements may be identified by analysing the risks faced by critical systems; To explain how safety requirements are generated from the system risk analysis; To explain the derivation of security requirements; To describe metrics used for reliability specification.