Skip to main content
Taylor & Francis Group Logo
Advanced Search

Click here to search books using title name,author name and keywords.

  • Login
  • Hi, User  
    • Your Account
    • Logout
Advanced Search

Click here to search books using title name,author name and keywords.

Breadcrumbs Section. Click here to navigate to respective pages.

Book

Embedded Software Development for Safety-Critical Systems

Book

Embedded Software Development for Safety-Critical Systems

DOI link for Embedded Software Development for Safety-Critical Systems

Embedded Software Development for Safety-Critical Systems book

Embedded Software Development for Safety-Critical Systems

DOI link for Embedded Software Development for Safety-Critical Systems

Embedded Software Development for Safety-Critical Systems book

ByChris Hobbs
Edition 2nd Edition
First Published 2019
eBook Published 19 August 2019
Pub. Location Boca Raton
Imprint CRC Press
DOI https://doi.org/10.1201/9780429323010
Pages 384
eBook ISBN 9780429323010
Subjects Computer Science, Engineering & Technology
Share
Share

Get Citation

Hobbs, C. (2019). Embedded Software Development for Safety-Critical Systems (2nd ed.). CRC Press. https://doi.org/10.1201/9780429323010

ABSTRACT

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards.

Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book." 

 

TABLE OF CONTENTS

section I|1 pages

Background

chapter Chapter 1|10 pages

Introduction

chapter Chapter 2|10 pages

Terminology of Safety

chapter Chapter 3|25 pages

Safety Standards and Certification

chapter Chapter 4|3 pages

Representative Companies

section II|1 pages

The Project

chapter Chapter 5|26 pages

Foundational Analyses

chapter Chapter 6|10 pages

Certified and Uncertified Components

section III|1 pages

Design Patterns

chapter Chapter 7|8 pages

Architectural Balancing

chapter Chapter 8|25 pages

Error Detection and Handling

chapter Chapter 9|7 pages

Expecting the Unexpected

chapter Chapter 10|22 pages

Replication and Diversification

section IV|1 pages

Design Validation

chapter Chapter 11|11 pages

Markov Models

chapter Chapter 12|13 pages

The Fault Tree

chapter Chapter 13|11 pages

Software Failure Rates

chapter Chapter 14|24 pages

Semi-Formal Design Verification

chapter Chapter 15|25 pages

Formal Design Verification

section V|1 pages

Coding

chapter Chapter 16|10 pages

Coding Guidelines

chapter Chapter 17|11 pages

Code Coverage Metrics

chapter Chapter 18|14 pages

Static Analysis

section VI|1 pages

Verification

chapter Chapter 19|19 pages

Integration Testing

chapter Chapter 20|13 pages

The Tool Chain

chapter Chapter 21|2 pages

Conclusion

T&F logoTaylor & Francis Group logo
  • Policies
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
    • Privacy Policy
    • Terms & Conditions
    • Cookie Policy
  • Journals
    • Taylor & Francis Online
    • CogentOA
    • Taylor & Francis Online
    • CogentOA
  • Corporate
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
    • Taylor & Francis Group
  • Help & Contact
    • Students/Researchers
    • Librarians/Institutions
    • Students/Researchers
    • Librarians/Institutions
  • Connect with us

Connect with us

Registered in England & Wales No. 3099067
5 Howick Place | London | SW1P 1WG © 2021 Informa UK Limited