TY  - BOOK
AU  - Hobbs,Chris‏.
TI  - Embedded software development for safety-critical systems
SN  - 9781498726702
U1  - 005.1  22
PY  - 2016///
CY  - Boca Raton, Florida : 
PB  - CRC Press / Taylor & Francis Group, LLC
KW  - Computer software
KW  - Reliability
KW  - BUEsh
KW  - Development
KW  - Embedded computer systems
KW  - Design and construction
KW  - Automatic control
KW  - COMSCI
KW  - November2016
N1  - Index : p. 335-343; Includes bibliographical references; Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices
N2  - "Embedded Software Development for Safety-Critical Systems 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 "safety bag" systems."
ER  -