*** 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 bozz...@fbk.eu, http://es.fbk.eu/people/bozzano/ ============================================================================== _______________________________________________ Om-announce mailing list Om-announce@openmath.org http://openmath.org/mailman/listinfo/om-announce