Robot seguidor de linea con el lenguaje Esterel
Descripción:
Implementación de un robot seguidor de línea con el lenguaje Esterel Esterel es uno más de los lenguajes síncronos que se desarrollaron para especificar sistemas embebidos de tiempo real, y probablemente el que más éxito ha tenido. Estos lenguajes permiten hacer diseños verificables formalmente, y tienen construcciones dedicadas para expresar el paralelismo y la respuesta a eventos. El resultado es que se consigue un código mucho más robusto que utilizando metodologías convencionales, por ejemplo C. Muestra de esto es que Esterel ha sido empleado en el diseño de muchos sistemás críticos, como el control de vuelo del Airbus 340.
Esta práctica consiste en aprender a manejar Esterel y adaptar los ejemplos proporcionados con la herramienta para controlar un simple robot seguidor de línea.
Tutor: Sergio López Buedo
Los interesados mandad un correo a Sergio, para concertar una entrevista