KIT Scientific Publishing

Im Shop suchen

49,00 €

inkl. 7 % USt. exkl. Versandkosten

Francisco Mendoza Cervantes

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

AutorMendoza Cervantes, Francisco

VerlagKIT Scientific Publishing, Karlsruhe

ISBN9783731501695

UmfangX, 168 S.

Veröffentlicht
am:
25.04.2014

Erscheinungs-
jahr
2013

VerfügbarkeitAktiv

Downloads:

Für Zitate bitte die folgende URL verwenden:
http://dx.doi.org/10.5445/KSP/1000038209

Abstract

This dissertation 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.