ABSTRACT

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

chapter 1|20 pages

Introduction

chapter 3|18 pages

Techniques for Safety Assessment

chapter 5|74 pages

Formal Methods for Safety Assessment

chapter 6|28 pages

Formal Methods for Certification