A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

By Francisco Mendoza Cervantes

This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

• Format: Paperback
• Language: English
• ISBN: 101328352X
• ISBN13: 9781013283529
• Release Date: October 2020
• Publisher: Saint Philip Street Press
• Length: 190 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.4" x 8.5" x 11.0"