Embedded Software Development for Safety-Critical Systems

ISBN-13: 9780367658748 / Angielski / Miękka / 2020

Chris Hobbs

Opis

This book discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called

Recenzje

"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com

Spis treści

Background. The Project. Architectural Patterns. Design Validation. Coding. Verification. Appendix A: Goal. Structuring Notation. Appendix B: Bayesian Belief Networks. Appendix C: Notations.

O autorze

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. Outside his professional work as a software developer, Chris is the author of several books including "Flying Beyond: The Canadian Commercial Pilot Textbook" and "Embedded Software Development for Safety-Critical Systems."