Desarrollo de software para sistemas embebidos, modelado y simulación, diseño de entornos de validación automatizados.
