Embedded software development for safety-critical systems

Type Book

Rate 0.0 /5

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 6…

Details

Files

Reviews

Download

Title Statements

Full title :Embedded software development for safety-critical systems / Chris Hobbs.

Summary

Edition Statements

Publication Date:2020.
Edition:Second edition

Publication Statements

Publisher(s):CRC Press
Place of Publication:Boca Raton, FL
Language:eng
Publication Date:2020.

The Physical Object

Description:1 online resource (xviii, 366 pages)

Edition Identifiers

ISBN:9780429323010, 0429323018, 9781000507331, 1000507335, 9781000502398, 1000502392, 9781000497458, 1000497453, 0367338858, 9780367338855
oclc:on1112702965
LC Classification:QA76.76.D47
Dewey Decimal:005.3

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.

Subjects