• Produktbild: Hobbs, C: Embedded Software Development for Safety-Critical
  • Produktbild: Hobbs, C: Embedded Software Development for Safety-Critical

Hobbs, C: Embedded Software Development for Safety-Critical Editio

Fr. 111.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2019

Verlag

Taylor & Francis

Seitenzahl

384

Maße (L/B/H)

23.4/15.6/2.1 cm

Gewicht

585 g

Auflage

2. Auflage

Sprache

Englisch

ISBN

978-0-367-33885-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2019

Verlag

Taylor & Francis

Seitenzahl

384

Maße (L/B/H)

23.4/15.6/2.1 cm

Gewicht

585 g

Auflage

2. Auflage

Sprache

Englisch

ISBN

978-0-367-33885-5

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Die Leseprobe wird geladen.
  • Produktbild: Hobbs, C: Embedded Software Development for Safety-Critical
  • Produktbild: Hobbs, C: Embedded Software Development for Safety-Critical
  • 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.