Embedded software development for safety-critical systems

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. I...

Full description

Saved in:
Bibliographic Details
Main Author: Hobbs, Chris, (Author)
Format: eBook
Language: English
Published: Boca Raton, FL : CRC Press, 2020.
Edition: Second edition.
Subjects:
Computer software > Development.
Embedded computer systems > Reliability.
Industrial safety > Data processing.
elektronické knihy
electronic books
ISBN: 9780429323010
0429323018
9781000507331
1000507335
9781000502398
1000502392
9781000497458
1000497453
0367338858
9780367338855
Physical Description: 1 online resource (xviii, 366 pages)

Cover

Table of contents

LEADER 03554cam a2200493 i 4500
001 kn-on1112702965
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 190822s2020 flu ob 001 0 eng d
040 |a TYFRS  |b eng  |e rda  |e pn  |c TYFRS  |d YDX  |d N$T  |d COO  |d OCLCF  |d OCLCQ  |d AAA  |d OCLCO  |d OCLCQ  |d DLC  |d SFB  |d OCLCQ  |d OCLCO  |d OCLCL 
020 |a 9780429323010  |q (electronic bk.) 
020 |a 0429323018  |q (electronic bk.) 
020 |a 9781000507331  |q (electronic bk. ;  |q EPUB) 
020 |a 1000507335  |q (electronic bk. ;  |q EPUB) 
020 |a 9781000502398  |q (electronic bk. ;  |q Mobipocket) 
020 |a 1000502392  |q (electronic bk. ;  |q Mobipocket) 
020 |a 9781000497458  |q (electronic bk. ;  |q PDF) 
020 |a 1000497453  |q (electronic bk. ;  |q PDF) 
020 |a 0367338858 
020 |a 9780367338855 
020 |z 9780367338855 
024 3 |a 9780429323010 
035 |a (OCoLC)1112702965  |z (OCoLC)1114282948  |z (OCoLC)1114934912  |z (OCoLC)1120087274 
100 1 |a Hobbs, Chris,  |e author. 
245 1 0 |a Embedded software development for safety-critical systems /  |c Chris Hobbs. 
250 |a Second edition. 
264 1 |a Boca Raton, FL :  |b CRC Press,  |c 2020. 
300 |a 1 online resource (xviii, 366 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a 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. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a 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." 
504 |a Includes bibliographical references and index. 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Computer software  |x Development. 
650 0 |a Embedded computer systems  |x Reliability. 
650 0 |a Industrial safety  |x Data processing. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpESDSCSE1/embedded-software-development?kpromoter=marc  |y Full text 

Similar Items