TY  - BOOK
AU  - Hobbs,Chris
TI  - Embedded software development for safety-critical systems / 
SN  - 9780367658748
AV  - QA76.76.D47 
U1  - 005.3 
PY  - 2016/// ; First issued in paperback 2020
CY  - Boca Raton, Florida : 
PB  - CRC Press, an imprint of Taylor & Francis Group, 
KW  - Computer software
KW  - Development
KW  - Embedded computer systems
KW  - Reliability
KW  - Industrial safety
KW  - Data processing
N1  - Includes bibliographical references and index; Section I: background -- Introduction -- Terminology of safety -- Safety standards and certification -- Representative companies -- Section II: the project -- Foundational analyses -- Certified and uncertified components -- Section III: design patterns -- Architectural balancing -- Error detection and handling -- Expecting the unexpected -- Replication and diversification -- Section IV: design validation -- Markov models -- The fault tree -- Software failure rates -- Semi-formal design verification -- Formal design verification -- Section V: coding -- Coding guidelines -- Code coverage metrics -- Static analysis -- Section VI: verification -- Integration testing -- The tool chain -- Conclusion
ER  -