Justifying the Dependability of Computer-based Systems

Safety is a paradoxical system property. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability.