1 von 1 Kunden fanden die folgende Rezension hilfreich
- Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe
This book gives both a concise overview of the current techniques used in the design of safety critical systems (nuclear reactors, aircraft, medical equipment, etc.), and extensive coverage of the emerging use of formal methods to automate aspects of safety assessment, verification and validation. A running example of a Pressureized Water Reactor (PWR) is used to illustrate the techniques. I think the book is quite successful in giving a comprehensive overview of the field while keeping the book accessible to the non-specialist.
The overall presentation style is fairly entertaining for a technical book, with brief histories describing the development of fields like safety analysis, model checking, etc. There is even a bit of drama in the running example of a PWR when they show how an automated safety analysis technique can detect the failure combination that actually caused the Three Mile Island meltdown. Topics are covered from concepts down to equations and algorithms, giving sufficient detail that you feel like you understand the concepts and technology, without getting lost in the minutiae. For more details there are extensive references at the end of each chapter.
The first half of the book covers fundamental engineering concepts that are applicable to safety critical system, including dependability, reliability, fault tolerance, hazard analysis, and risk analysis. The authors then cover the process for developing safety critical applications, including work flows for development, safety assessment , testing, and certification. The second half of the book focuses on the authors' research expertise: The use of formal methods in design and safety analysis. There is a concise introduction to a variety of formal methods and examples of their use in over a dozen industrial projects. They then describe in detail the use of formal methods for requirements validation, model verification, fault tree generation, and FMEA summary generation, the last two using algorithms adapted from model checking, the underlying analysis technique.
Overall, this book is great reading for any engineer or technically oriented reader who wants an introduction to the design of safety critical systems, and the latest in the use of formal methods to develop increasingly complex and integrated products.