Learning Resource and Development
Amazon cover image
Image from Amazon.com
Image from Coce

Embedded software development for safety-critical systems / Chris Hobbs.

By: Material type: TextTextPublication details: Boca Raton, Florida : CRC Press, an imprint of Taylor & Francis Group, 2016 ; First issued in paperback 2020Description: xx, 343 pages ; 23 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9780367658748
Subject(s): DDC classification:
  • 005.3 H652e
LOC classification:
  • QA76.76.D47
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Shelving location Call number Copy number Status Date due Barcode
Books Books Main Library Circulation Section CIR 005.3 H652e 2016 (Browse shelf(Opens below)) 1-1 Available 028123

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.

There are no comments on this title.

to post a comment.