Embedded Software Development for Safety-Critical Systems, Second Edition (2nd Ed.)
Auteur : Hobbs Chris
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 62304, or related standards.
Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."
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.
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.
Date de parution : 08-2019
15.6x23.4 cm
Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
Prix indicatif 83,43 €
Ajouter au panierThèmes d’Embedded Software Development for Safety-Critical... :
Mots-clés :
Unsigned Char; Markov models; Minimum Cut Sets; SOTIF; Risk Based Testing; safety-critical application; Stochastic Petri Net; software-based system; Mutual Exclusion Algorithm; international standards; Petri Net; Vice Versa; Embedded Software Development; BCI; Backward Error Recovery; Safety Critical Device; Static Code Analysis; Discrete Event Simulation; Safety Critical Product; Safety Critical Systems; Safety Integrity Levels; Safety Critical Application; Cyclomatic Complexity; Virtual Synchrony; Fault Tree; Bayesian Network; Markov Model; Interarrival Times; Timed Petri Nets; Branch Coverage