Chris Hobbs

Embedded Software Development for Safety-Critical Systems, Second Edition (eBook, PDF)

• Format: PDF

Produktbeschreibung

This book 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 that must satisfy one or more of the international standards.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 384
• Erscheinungstermin: 16. August 2019
• Englisch
• ISBN-13: 9781000497458
• Artikelnr.: 57493830

Autorenporträt

Chris is a programmer at QNX Software Systems with some 40 years of software development experience. His specialty is

"Sufficiently Dependable Software," which is software that meets its dependability requirements with the minimum development effort

and risk. In particular, he works with software for safety-critical systems that must meet the requirements of international safety

standards such as IEC61508, ISO26262, EN50128 and IEC62304.

Inhaltsangabe

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.