Solución de software basada en algoritmos de Inteligencia Artificial para la validación de software embebido crítico.