Embedded software development for safety-critical systems. (2019)

• Record Type: Book
• Further Information: Note: Chris Hobbs.
• Authors: Hobbs, Chris
• Contents: Part 1: Background. 1. Introduction. 2. Terminology of Safety. 3. Safety Standards and Certification. 4. Representative Companies. Part 2: The Project. 5. Foundational Analyses. 6. Certified and Uncertified Components. Part 3: Design Patterns. 7. Architectural Balancing. 8. Error Detection and Handling. 9. Expecting the Unexpected. 10 Replication and Diversification. Part 4: Design Validation. 11. Markov Models. 12. The Fault Tree. 13. Software Failure Rates. 14. Semi-Formal Design Verification. 15. Formal Design Verification. Part 5: Coding. 16. Coding Guidelines. 17. Code Coverage Metrics. 18. Static Analysis. Part 6: Verification. 19. Integration Testing. 20. The Tool Chain. 21. Conclusion. Part 7: Appendices. A. Goal Structuring Notation. B. Bayesian Belief Networks. C .Calculating (2+3)+4. D. Notations.
• Edition: Second edition
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2019
• Extent: 1 online resource, illustrations (black and white)
• Subjects: 005.3; Computer software -- Development; Embedded computer systems -- Reliability; Industrial safety -- Data processing
• Languages: English
• ISBNs: 9781000507331; 9781000497458; 9781000502398; 9780429323010
• Related ISBNs: 9780367338855
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.