Termina es un lenguaje de programación específico de dominio para el desarrollo de sistemas empotrados de tiempo real crítico. El lenguaje ha sido diseñado e implementado por el Space Research Group de la Universidad de Alcalá en colaboración con investigadores del IMDEA Software Institute. En este curso, de carácter teórico-práctico, abordaremos una introducción al lenguaje, describiendo sus aspectos principales y las garantías de seguridad y determinismo que lo hacen único, y realizaremos una primera experiencia práctica de programación y depuración de aplicaciones.

• Introducir a los alumnos en los principios fundamentales del lenguaje Termina y su modelo de programación reactivo.
• Comprender las garantías de seguridad (memoria, concurrencia, recursos compartidos) que aporta el lenguaje.
• Familiarizarse con la estructura básica de un programa en Termina.
• Realizar experiencia práctica de programación y depuración de aplicaciones.

1. Introducción al lenguaje Termina
2. Entorno de desarrollo
3. Primera práctica: “Hello, Real-Time World!”
4. Programando aplicaciones reactivas
5. Conclusiones

• Comprender la filosofía y los fundamentos de diseño del lenguaje de programación Termina.
• Identificar las diferencias entre Termina y otros lenguajes imperativos convencionales en el ámbito de los sistemas empotrados de tiempo real crítico.
• Implementar y ejecutar programas básicos en Termina.
• Utilizar las herramientas de depuración y análisis proporcionadas por el entorno de desarrollo.

Pablo Parra Espada