Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone
Introduction. Dependability, Reliability and Safety Analysis. Development of Safety Critical Systems. Techniques for Safety Assessment. Formal methods for Safety Assessment. Formal Methods for Certification. Bibliography.