Marco Bozzano, Adolfo Villafiorita

Design and Safety Assessment of Critical Systems (eBook, PDF)

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 298
• Erscheinungstermin: 12. November 2010
• Englisch
• ISBN-13: 9781439803325
• Artikelnr.: 57532518

Autorenporträt

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.

Inhaltsangabe

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.