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

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

Description


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