Verificación pre-hardware para sistemas de control
El esfuerzo en la verificación sigue aumentando en los sistemas embebidos de control. Tradicionalmente, la verificación ha sido un área intensiva en lo que respecta al hardware, ya que implica realizar pruebas costosas sobre hardware valioso. El problema principal de la verificación tradicional es que deja ocultos algunos problemas hasta el último momento del proceso de diseño, lo que termina siendo muy costoso y puede implicar importantes ajustes de hardware que requieren mucho tiempo. Esto es un desafío incluso para sistemas de control simples, pero los complejos controladores de hoy en día hacen necesarias múltiples rondas de verificación (además de enormes gastos y retrasos) hasta que los fallos se resuelven. 
