Software engineering: Dependable Systems Specification

Processes and techniques for developing a specification for system availability, reliability, safety and security. Processes and techniques for developing a specification for system availability, reliability, safety and security
Critical systems specification should be risk-driven.
This approach has been widely used in safety and security-critical systems.
The aim of the specification process should be to understand the risks (safety, security, etc.) faced by the system and to define requirements that reduce these risks.

Từ khóa: software engineering, dependable systems specification, specifications, software, software development technologies, software reliability