Towards the exhaustive verification of real-time aspects in controller implementation.

Carlo A. Furia Marco Mazzucchelli Paola Spoletini Mara Tanelli

Published in: CACSD (2008)

Keyphrases

real time
control system
graphics processing units
low cost
efficient implementation
formal methods
vlsi architecture
neural network
general purpose
model checking
control loop
dedicated hardware
activity monitoring