Explaining how to improve safety-critical systems to reduce risks to people and the environment, this book introduces fundamental concepts and reviews issues related to the design, development, and assessment of safety-critical systems. The text covers the most well-known notations, techniques, and procedures, and supplies many in-depth examples from a range of industrial sectors. It also provides access to a website with additional information and code for the examples presented.

Marco Bozzano is a senior researcher in the Embedded Systems Unit of Fondazione Bruno Kessler, Italy. He has strong expertise in the application of formal methods, and he has published a number of papers in the area of formal verification of safety critical systems.

Adolfo Villafiorita is a senior researcher at Fondazione Bruno Kessler. He has many years of experience in the application of formal methods in technology transfer projects and in the development of security and safety-critical applications. He is a contract professor at the University of Trento.

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.