10:00
Bienvenida, anuncios de la asociación, presentación del programa y presentación de la charla invitada
Alejandro Mosteo, Presidente
10:05
Charla Invitada
Uso de Ada para desarrollo de herramientas para verificación de software crítico en sistemas de aviónica
Presenta: Dr. Guillem Bernat y Dr. Antoine Colin, Rapita Systems Ltd.
11:00
Descanso
11:10
Sesión 1
Portado del Sistema Operativo M2OS al microcontrolador Micro:bit
Mario Vicente Garcı́a
Planificación basada en planes temporales en Ada Ravenscar
Sergio Sáez (Universidad Politécnica de Valencia)
Ada-Ecosistema de software libre y su comunidad
Fernando Oleo Blanco
12:10
Descanso
12:20
Sesión 2
Modelado de GPUs en MAST
Iosu Gómez Iturrioz (Ikerlan)
Herramienta basada en modelos para validación y verificación de código autogenerado
Hugo Valente, Miguel Ángel de Miguel (Universidad Politécnica de Madrid)
Verification of AI methods in Embedded Systems
Guillermo López, Irene García, Ángel Pérez (Universidad Politécnica de Madrid)
13:20
Anuncio de resultados del premio y despedida
Juan Carlos Ruano y Alejandro Mosteo
13:30