Embedded Software Development for Safety-Critical Systems, Second Edition: 2nd Edition (Paperback) book cover

Embedded Software Development for Safety-Critical Systems, Second Edition

2nd Edition

By Chris Hobbs

CRC Press

366 pages

Purchasing Options:$ = USD
Paperback: 9780367338855
pub: 2019-08-05
SAVE ~$15.99
Available for pre-order
$79.95
$63.96
x


FREE Standard Shipping!

Description

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and veriers 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 people 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 62304, or related

standards.

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.

About the Author

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.

Subject Categories

BISAC Subject Codes/Headings:
COM032000
COMPUTERS / Information Technology
COM051240
COMPUTERS / Software Development & Engineering / Systems Analysis & Design