Hobbs, Chris, <br/><br/>
Embedded software development for safety-critical systems /  
Chris Hobbs. 
 - Boca Raton, Florida :   CRC Press, an imprint of Taylor & Francis Group,   2016 ; First issued in paperback 2020 
 - xx, 343 pages ;   23 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9780367658748 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Embedded computer systems--Reliability.<br/>Industrial safety--Data processing.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47 
<br/><br/><label>Dewey Class. No.: </label>005.3  / H652e