Embedded software development for safety-critical systems

• 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)

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