Marco Bozzano, Adolfo Villafiorita

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

• Format: PDF

Produktbeschreibung

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone

---

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.