Embedded Software Verification and Debugging (Embedded Systems) (Hardcover)

Embedded Software Verification and Debugging (Embedded Systems) Cover Image
By Djones Lettnin (Editor), Markus Winterholer (Editor)
WE CAN ORDER THIS FOR YOU (store pickup in 5-14 days)


An Overview about Debugging and Verification Techniques for Embedded Software.- Embedded Software Debug in Simulation and Emulation Environments for Interface IP.- The Use of Dynamic Temporal Assertions for Debugging.- Automated Reproduction and Analysis of Bugs in Embedded Software.- Model-Based Debugging of Embedded Software Systems.- A Mechanism for Monitoring Driver-Device Communication.- Model Checking Embedded C Software using k-Induction and Invariants.- Scalable and Optimized Hybrid Verification of Embedded Software.-

Product Details
ISBN: 9781461422655
ISBN-10: 1461422655
Publisher: Springer
Publication Date: January 5th, 2016
Pages: 208
Language: English
Series: Embedded Systems