Book Announcement: "Design and Safety Assessment of Critical Systems"

*** Apologies for multiple copies ***

We are glad to announce the publication of the following book:

   Design and Safety Assessment of Critical Systems
   by Marco Bozzano and Adolfo Villafiorita
   CRC Press (Taylor and Francis Group), November 2010.

An introduction to the area of design and verification of 
safety-critical systems, the book covers traditional notations, 
techniques, and procedures, including Fault Tree Analysis, FMECA, HAZOP, 
and Event Tree Analysis, and explains in detail how formal methods can 
be used to realize such procedures. It looks at the development process 
of safety-critical systems, and highlights influential management and 
organizational aspects. Finally, it describes verification and 
validation techniques and new trends in formal methods for safety and 
concludes with some widely adopted standards for the certification of 
safety-critical systems.

For further information please visit: http://www.safety-critical.org.


	Sincerely

	 Marco Bozzano
	 Adolfo Villafiorita

==============================================================================
  Marco Bozzano, PhD, Researcher at FBK
    Via Sommarive 18, Povo, 38123 Trento (Italy)
    ph.: +39-0461-314367, mobile ph.: +39-328-8453534
    [email protected], http://es.fbk.eu/people/bozzano/
==============================================================================