Cantitate/Preț
Produs
Total produse
Vezi coșul
Embedded Software Development for Safety-Critical Systems, Second Edition de Chris Hobbs

Embedded Software Development for Safety-Critical Systems, Second Edition

Autor Chris Hobbs
en Limba Engleză Paperback – 9 aug 2019
This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and veriers 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 people 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.
Citește tot Restrânge

Preț: 38012 lei

Preț vechi: 55222 lei
-31% Nou

Puncte Express: 570
Preț estimativ în valută:
7275€ • 7675$ • 6063£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25
Livrare express 27 noiembrie-03 decembrie pentru 9347 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780367338855
ISBN-10: 0367338858
Pagini: 384
Ilustrații: 12 Tables, black and white
Dimensiuni: 156 x 234 x 23 mm
Greutate: 0.54 kg
Ediția:2 New edition
Editura: CRC Press
Colecția CRC Press

Public țintă

Academic and Professional Practice & Development

Cuprins

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.

Descriere

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and veriers 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 people 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.