Design and Safety Assessment of Critical Systems: 1st Edition (e-Book) book cover

Design and Safety Assessment of Critical Systems

1st Edition

By Marco Bozzano, Adolfo Villafiorita

Auerbach Publications

298 pages

Purchasing Options:$ = USD
Hardback: 9781439803318
pub: 2010-11-12
eBook (VitalSource) : 9780429070044
pub: 2010-11-12
from $28.98

FREE Standard Shipping!


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

Table of Contents

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.

About the Authors

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.

Subject Categories

BISAC Subject Codes/Headings:
COMPUTERS / Systems Architecture / General
COMPUTERS / Software Development & Engineering / General
TECHNOLOGY & ENGINEERING / Engineering (General)