Embedded Software Development for Safety-Critical Systems, Second Edition Chris Hobbs 1000507335 9781000507331

This completed downloadable of Embedded Software Development for Safety-Critical Systems, Second Edition Chris Hobbs

Instant downloaded Embedded Software Development for Safety-Critical Systems, Second Edition Chris Hobbs pdf docx epub after payment.

Product details:

• ISBN 10: 1000507335
• ISBN 13: 9781000507331
• Author: Chris Hobbs

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 1: Background

1. Introduction

2. Terminology of Safety

3. Safety Standards and Certification

4. Representative Companies

Section 2: The Project

5. Foundational Analyses

6. Certified and Uncertified Components

7. Architectural Balancing

8. Error Detection and Handling

9. Expecting the Unexpected

10. Replication and Diversification

Section 4: Design Validation

11. Markov Models

12. The Fault Tree

13. Software Failure Rates

14. Semi-Formal Design Verification

15. Formal Design Verification

Section 5: Coding

16. Coding Guidelines

17. Code Coverage Metrics

18. Static Analysis

Section 6: Verification

19. Integration Testing

20. The Tool Chain

21. Conclusion

People also search:

embedded software engineer at google

embedded software engineer at apple

embedded software engineer in dubai

embedded software engineer in germany

embedded software engineer in uae