Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards.

Of the first edition, Stephen Thomas, PE, Founder and Editor of [...] said, "I highly recommend Mr. Hobbs' book."

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards.

Of the first edition, Stephen Thomas, PE, Founder and Editor of [...] said, "I highly recommend Mr. Hobbs' book."

Inhaltsverzeichnis

Part 1: Background. 1. Introduction. 2. Terminology of Safety. 3. Safety Standards and Certification. 4. Representative Companies. Part 2: The Project. 5. Foundational Analyses. 6. Certified and Uncertified Components. Part 3: Design Patterns. 7. Architectural Balancing. 8. Error Detection and Handling. 9. Expecting the Unexpected. 10 Replication and Diversification. Part 4: Design Validation. 11. Markov Models. 12. The Fault Tree. 13. Software Failure Rates. 14. Semi-Formal Design Verification. 15. Formal Design Verification. Part 5: Coding. 16. Coding Guidelines. 17. Code Coverage Metrics. 18. Static Analysis. Part 6: Verification. 19. Integration Testing. 20. The Tool Chain. 21. Conclusion. Part 7: Appendices. A. Goal Structuring Notation. B. Bayesian Belief Networks. C .Calculating (2+3)+4. D. Notations.

Details
Erscheinungsjahr: 2019
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9780367338855
ISBN-10: 0367338858
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Hobbs, Chris
Auflage: 2. Aufl.
Hersteller: CRC Press
Taylor & Francis
Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Abbildungen: 12 Tabellen
Maße: 20 x 156 x 234 mm
Von/Mit: Chris Hobbs
Erscheinungsdatum: 09.08.2019
Gewicht: 0,58 kg
Artikel-ID: 121925951

Ähnliche Produkte