Design and Safety Assessment of Critical Systems und über 1,5 Millionen weitere Bücher verfügbar für Amazon Kindle. Erfahren Sie mehr
EUR 90,11
  • Alle Preisangaben inkl. MwSt.
Nur noch 1 auf Lager (mehr ist unterwegs).
Verkauf und Versand durch Amazon.
Geschenkverpackung verfügbar.
Menge:1
Design and Safety Assessm... ist in Ihrem Einkaufwagen hinzugefügt worden
Ihren Artikel jetzt
eintauschen und
EUR 7,40 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Dieses Bild anzeigen

Design and Safety Assessment of Critical Systems (Englisch) Gebundene Ausgabe – 12. November 2010


Alle 3 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
Gebundene Ausgabe
"Bitte wiederholen"
EUR 90,11
EUR 73,34 EUR 123,44
10 neu ab EUR 73,34 4 gebraucht ab EUR 123,44

Kunden, die diesen Artikel gekauft haben, kauften auch

Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.


Produktinformation


Mehr über die Autoren

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Über den Autor und weitere Mitwirkende

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.

In diesem Buch (Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 1 Rezension
1 von 1 Kunden fanden die folgende Rezension hilfreich
Latest in the use of formal methods for designing critical systems 20. Dezember 2012
Von D. Jones - 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.
Ist diese Rezension hilfreich? Wir wollen von Ihnen hören.