XVI JORNADA TÉCNICA DE ADA-SPAIN
Martes 31 de marzo de 2009 en la Sala de Juntas del edificio A
(A-128.2),
ETSI de Telecomunicación
Universidad Politécnica de Madrid
COLABORA:
|
 |
|
|
CONFERENCIAS INVITADAS
Título:
Couverture --- Next generation coverage
analysis for safety critical applications
Por:
Thomas Quinot, AdaCore (Paris, France)
Thomas Quinot holds an
engineering degree from Telecom Paris and a PhD from Universite Paris
VI. The main contribution of his research work is the definition of a
flexible middleware architecture aiming at interoperability across
distribution models. He is now a Senior Software Engineer with AdaCore,
a leading provider of tools and solutions for embedded, real-time and
criticial systems, where he is responsible for
the distribution technologies.
Título:
ARINC 653: Particionado en tiempo y
espacio para la integración de sistemas de aviónica
Por:
José María
Martínez, EADS-CASA (Madrid, Spain)
Experto en sistemas embebidos y de
tiempo real, experiencia repartida en sistemas de
telecomunicación (alta disponibilidad), robótica y
aviónica (alta integridad).
Título:
Software Vulnerabilities,
ISO/IEC/JTC1/SC22/WG23 and Ada
Por:
Stephen Michell, Maurya Software
(Canada)
Stephen Michell is a longtime
participant in the high integrity, standardization and Ada communities.
He has participated in Ada standards since 1987, served on the Ada9X
project on the requirements team, served as an Ada9X Distinguished
Reviewer, and was instrumental in the creation of ISO/IEC 15942
"Guidance in the Use of Ada for High Integrity Systems". Stephen serves
as the Canadian representative to ISO/IEC/JTC1/SC22 and is a
participating member of WG23. He is also leading an effort at Canada
Department of National Defence in the area of improving the security of
software under development.)
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.
La jornada se celebrará el próximo 31 de marzo en la Sala
de Juntas del edificio A (A-128.2) de la ETSI de
Telecomunicación de la Universidad Politécnica de Madrid.
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
- 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:
J. Javier Gutiérrez (gutierjj@unican.es)
hasta el día 23 de marzo
incluido. Asimismo, deberán estar dispuestos a enviar copia del
material de presentación para el día 27 de marzo.
PROGRAMA DE LA JORNADA
9:15 a 9:30
Inscripción
9:30 a 11:00 Conferencia invitada I
- Thomas Quinot
AdaCore
Couverture --- Next generation coverage analysis for safety critical
applications
11:00 a 11:30 Descanso
11:30 a 12:30 Conferencia invitada II
- José María Martínez
EADS-CASA
ARINC 653: Particionado en tiempo y espacio para la integración
de sistemas de aviónica
12:30 a 13:00 Presentación técnica
- Héctor Pérez, J. Javier Gutiérrez y
Michael González Harbour
Universidad de Cantabria
Interchangeable Scheduling Policies within PolyORB Middleware
13:00 a 15:00 Comida
15:00 a 16:00 Conferencia invitada III
(Teleconferencia)
- Stephen Michell
Maurya Software (Canada)
Software Vulnerabilities, ISO/IEC/JTC1/SC22/WG23 and Ada
16:00 a 17:45 Presentaciones técnicas
- Sergio Sáez, Silvia Terrasa, Vicente Lorente y Alfons
Crespo
Universidad Politécnica de Valencia
Implementando sistema reactivos mediante las máquinas de estado
de UML y Ada 2005
- Patricia López, José María Drake y Laura
Barros
Universidad de Cantabria
Tecnología de componentes de tiempo real basada en Ada 2005
- Jorge López
Universidad Politécnica de Madrid
Manejador de red Spacewire para ORK+
- Mario Aldea Rivas[1] , Michael
González Harbour[1] y José F. Ruiz [2]
[1] Universidad de Cantabria
[2] AdaCore
Implementación de la planificación de tareas en Ada 2005
sobre MaRTE OS y GNAT
18: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
2009.
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)
91 453 3516
Cómo llegar:
http://www.dit.upm.es/travelinfo.html