Embedded software development for safety-critical systems

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. I...

Full description

Saved in:
Bibliographic Details
Main Author Hobbs, Chris (Author)
Format Electronic eBook
LanguageEnglish
Published Boca Raton, FL : CRC Press, 2020.
EditionSecond edition.
Subjects
Computer software > Development.
Embedded computer systems > Reliability.
Industrial safety > Data processing.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780429323010
0429323018
9781000507331
1000507335
9781000502398
1000502392
9781000497458
1000497453
0367338858
9780367338855
Physical Description1 online resource (xviii, 366 pages)

Cover

Table of Contents:
  • 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.

Similar Items