Marco Bozzano, Adolfo Villafiorita

Gebundenes Buch

Design and Safety Assessment of Critical Systems

Beschreibung

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.

Autor

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.

Produktdetails

• Verlag: Auerbach Publications
• Seitenzahl: 298
• Erscheinungstermin: 12. November 2010
• Englisch
• Abmessung: 240mm x 161mm x 21mm
• Gewicht: 614g
• ISBN-13: 9781439803318
• ISBN-10: 1439803315
• Artikelnr.: 25337254