PROGRAMA DE LA JORNADA

10:00	Bienvenida, anuncios de la asociación, presentación del programa y presentación de la charla invitada Presenta: Alejandro Mosteo
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 Presenta: Juan Carlos Ruano y Alejandro Mosteo