• 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

86,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

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

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

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.