Embedded software verification and debugging

• Other Authors: Lettnin, Djones, (Editor), Winterholer, Markus, (Editor)
• Format: eBook
• Language: English
• Published: New York, NY : Springer, 2017.
• Series: Embedded systems (Springer (Firm))
• Subjects: vestavěné systémy; software; počítačové programy; ladění softwaru; formální verifikace; embedded systems; computer program; software debugging; formal verification; elektronické knihy; sborníky; electronic books; papers of several authors
• ISBN: 9781461422662; 9781461422655
• Physical Description: 1 online resource

This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.- Resumé vydavatel