Related Books

Embedded Software Verification and Debugging
Language: en
Pages: 220
Authors: Djones Lettnin
Categories: Technology & Engineering
Type: BOOK - Published: 2017-04-17 - Publisher: Springer

DOWNLOAD EBOOK

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applicatio
Embedded Systems and Software Validation
Language: en
Pages: 267
Authors: Abhik Roychoudhury
Categories: Computers
Type: BOOK - Published: 2009-04-29 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors
Co-verification of Hardware and Software for ARM SoC Design
Language: en
Pages: 287
Authors: Jason Andrews
Categories: Technology & Engineering
Type: BOOK - Published: 2004-09-04 - Publisher: Elsevier

DOWNLOAD EBOOK

Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly d
Verification of Temporal Properties in Embedded Software
Language: en
Pages: 0
Authors: Djones Lettnin
Categories:
Type: BOOK - Published: 2009 - Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften AG

DOWNLOAD EBOOK

For some years ago the main statement among verification engineers was "Bugs in hardware cost money". Nowadays, the embedded software is playing an important ro
Embedded Software: Know It All
Language: en
Pages: 793
Authors: Jean J. Labrosse
Categories: Computers
Type: BOOK - Published: 2007-09-14 - Publisher: Elsevier

DOWNLOAD EBOOK

The Newnes Know It All Series takes the best of what our authors have written to create hard-working desk references that will be an engineer's first port of ca