Embedded software development for safety-critical systems /
Hobbs, Chris,
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.
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.
9780367658748
Computer software--Development.
Embedded computer systems--Reliability.
Industrial safety--Data processing.
QA76.76.D47
005.3 / H652e
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.
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.
9780367658748
Computer software--Development.
Embedded computer systems--Reliability.
Industrial safety--Data processing.
QA76.76.D47
005.3 / H652e