XIII JORNADA TÉCNICA DE ADA-SPAIN
Lunes 25 de abril en el Salón de Actos del edificio
López
Araújo (C),
ETSI de Telecomunicación
Universidad Politécnica de Madrid
CONFERENCIAS INVITADAS
Título:
Moving Forward with Ada 2005 - New Real-Time Features and other
Goodies
Por:
Alan Burns
Real-Time Systems Research
Group,
Department of Computes Science, University of York (UK), y miembro del
ARG (Ada Rapporteur Group) del comité de estandarización
ISO/IEC
JTC1/SC22/WG9
Título:
Estado actual de la implementación de Ada 2005 en GNAT
Por:
Javier Miranda
Instituto Universitario de
Microelectrónica Aplicada de
la Universidad de Las Palmas de Gran Canaria, y miembro del equipo de
desarrollo de GNAT
PETICIÓN DE CONTRIBUCIONES
Como en ocasiones anteriores, la Jornada Técnica de Ada-Spain es
un foro para presentar y debatir
resultados y proyectos de investigación y desarrollo
relacionados
con el lenguaje Ada y las
tecnologías de software fiable.
Con este motivo, se solicita la participación de aquellas
personas
que están trabajando en proyectos
de investigación y desarrollo en las áreas de:
- Lenguaje Ada, con especial atención al nuevo
estándar Ada 2005
- Sistemas empotrados
- Sistemas de tiempo real
- Sistemas distribuidos
- Sistemas de control industrial
- Metodologías de desarrollo de software
- UML
- Arquitecturas software
- Herramientas CASE
- Casos de estudio y experimentos
La participación consistirá en la presentación del
estado actual o de los resultados del proyecto.
Los participantes dispondrán de una inscripción gratis
en la Jornada Técnica.
Los interesados en participar deben enviar un breve resumen de su
charla
a:
Michael
González
(mgh@unican.es)
antes del día 15 de abril.
Asimismo, deberán estar
dispuestos
a enviar copia del material de
presentación para el día 20
de abril.
Este año además de las presentaciones técnicas,
disfrutaremos de las siguientes conferencia invitadas:
- "Moving Forward with Ada 2005 - New Real-Time Features and other
Goodies", impartida por Alan Burns, Real-Time Systems Research Group,
Department of Computes Science, University of York (UK), y miembro del
ARG (Ada Rapporteur Group) del comité de estandarización
ISO/IEC
JTC1/SC22/WG9.
- "Estado actual de la implementación de Ada 2005 en GNAT",
impartida por
Javier Miranda, Instituto Universitario de Microelectrónica
Aplicada de
la Universidad de Las Palmas de Gran Canaria, y miembro del equipo de
desarrollo de GNAT.
PROGRAMA DE LA JORNADA
9:15 a 9:30
Inscripción
9:30 a 11:00 Presentaciones técnicas
- Mario Aldea, Javier Miranda y Michael González
Universidad de Cantabria
Integrando los planificadores
de aplicación con las nuevas políticas para tareas Ada
- Sergio Saez, V. Lorente, S. Terrasa, A. Crespo
Universidad Politécnica de Valencia
Técnicas eficientes para
la reducción de cambios de contexto en la implementación
de planificadores de tiempo real
- Santiago Urueña, José Pulido, Juan Zamorano
y
Juan Antonio de la Puente<>
Universidad Politécnica de Madrid
ORK ante Ada 2005
- Juan López Campos, J. Javier Gutiérrez
García y Michael González Harbour
Universidad de Cantabria
Políticas de
planificación intercambiables en RT-GLADE
11:00 a 11:30 Descanso
11:30 a 13:00 Presentaciones técnicas
- Miguel Masmano, Jorge Real, Alfons Crespo, e Ismael Ripoll
Universidad Politécnica de Valencia
Distributing Criticality Across
Ada Partitions
- José Ruiz
Ada Core, París
Ada y GNAT para sistemas de alta
integridad
- Louise Arkwright
Ada Core, Paris
GNAT Academic Program
- Agustín Arjonilla
TCP Sistemas e Ingeniería, S.L.
Ada High Integrity Verifier
(Ada-HIVer): The tool to check code compliance to ISO-IEC TR 15942-2000
(Guide for the use of the Ada programming language in high integrity
systems)
13:00 a 15:00 Comida
15:00 a 16:45 Charla Invitada
- Alan Burns
University of York
Moving Forward with Ada 2005 -
New Real-Time Features and other Goodies
16:45 a 17:15 Descanso
17:15 a 18:30 Charla Invitada
- Javier Miranda
Universidad de Las Palmas de Gran Canaria y Ada Core
Estado actual de la
implementación de Ada 2005 en GNAT
19:00 Asamblea General de la Asociación Ada-Spain
INSCRIPCIÓN
Para formalizar la inscripción rellenar el formulario,
adjuntar un cheque nominativo
a nombre de Ada-Spain o resguardo de transferencia
bancaria a la cuenta 3025-0003-94-1400039271 (a nombre de
Ada-Spain) con el
importe
de la inscripción, y enviarlo a:
Alejandro
Alonso Muñoz
ETSI de
Telecomunicación
Ciudad
Universitaria s/n
E-28040
Madrid
También se podrá formalizar la inscripción
antes
del comienzo de la Jornada Técnica, en el lugar de
celebración.
Para los no socios de Ada-Spain, es posible beneficiarse del descuento
a socios de Ada-Spain si se inscribe como socio para el año
2005.
Esta inscripción se podrá hacer durante la Jornada
Técnica.
Cuotas de inscripción:
Estudiantes:
45 Euros
Socios de Ada-Spain o
ATI:
90 Euros
No
socios:
150 Euros
INFORMACIÓN ADICIONAL
Programa Técnico :
Michael González
Harbour (mgh@unican.es)
942201483
Inscripciones y organización:
Alejandro Alonso
Muñoz:
(aalonso@dit.upm.es)
915495700
Ext. 560
Cómo llegar:
http://www.dit.upm.es/travelinfo.html