Design and Safety Assessment of Critical Systems
Autor Marco Bozzano, Adolfo Villafioritaen Limba Engleză Hardback – 12 noi 2010
An introduction to the area of design and verification of safety-critical systems, Design and Safety Assessment of Critical Systems focuses on safety assessment using formal methods. Beginning with an introduction to the fundamental concepts of safety and reliability, it illustrates the pivotal issues of design, development, and safety assessment of critical systems.
The core of 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.
Providing an in-depth and hands-on view of the application of formal techniques to advanced and critical safety assessments in a variety of industrial sectors, such as transportation, avionics and aerospace, and nuclear power, Design and Safety Assessment of Critical Systems allows anyone with a basic background in mathematics or computer science to move confidently into this advanced arena of safety assessment.
Preț: 720.63 lei
Preț vechi: 900.78 lei
-20% Nou
Puncte Express: 1081
Preț estimativ în valută:
137.91€ • 143.26$ • 114.56£
137.91€ • 143.26$ • 114.56£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781439803318
ISBN-10: 1439803315
Pagini: 298
Ilustrații: 81 black & white illustrations, 11 black & white tables
Dimensiuni: 156 x 234 x 23 mm
Greutate: 0.54 kg
Ediția:1
Editura: CRC Press
Colecția Auerbach Publications
ISBN-10: 1439803315
Pagini: 298
Ilustrații: 81 black & white illustrations, 11 black & white tables
Dimensiuni: 156 x 234 x 23 mm
Greutate: 0.54 kg
Ediția:1
Editura: CRC Press
Colecția Auerbach Publications
Public țintă
Professional Practice & DevelopmentCuprins
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.
Notă biografică
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.
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.
Descriere
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.