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 [PDF] 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 [PDF] Mario Vicente Garcı́a Planificación basada en planes temporales en Ada Ravenscar [PDF] Sergio Sáez (Universidad Politécnica de Valencia) Ada-Ecosistema de software libre y su comunidad [PDF] Fernando Oleo Blanco
12:10	Descanso
12:20	Sesión 2 Modelado de GPUs en MAST [PDF] Iosu Gómez Iturrioz (Ikerlan) Herramienta basada en modelos para validación y verificación de código autogenerado [PDF] Hugo Valente, Miguel Ángel de Miguel (Universidad Politécnica de Madrid) Verification of AI methods in Embedded Systems [PDF] 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