El presente proyecto busca cubrir la necesidad de caracterizar los diferenciales de los usuarios de coches de radio control.

Por ello, el presente proyecto se realizó siguiendo metodologías de desarrollo ágil que llevó al análisis del problema para, a continuación comenzar a diseñar un sistema empotrado capaz de resolver las necesidades de los usuarios e implementar, por último, dicha solución.

El sistema empotrado consta de tres partes bien diferenciadas: software, hardware y mecánica.

La aproximación seguida durante el proyecto ha buscado tanto la innovación en la solución como la viabilidad en caso del desarrollo de un prototipo y la posible comercialización como producto.

A la conclusión del proyecto, se han finalizado tanto la parte software como la hardware y sólo queda finalizar la implementación de la parte mecánica para tener un prototipo completamente funcional.

PALABRAS CLAVE Diferencial, coches de radio control, sistema empotrado, verificación formal, metodologías ágiles.