*** 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/
==============================================================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
