XIV  JORNADA TÉCNICA DE ADA-SPAIN

Jueves 27 de abril en el Salón de Actos del edificio López Araújo (C),

ETSI de Telecomunicación

Universidad Politécnica de Madrid

CONFERENCIA INVITADA

PETICIÓN DE CONTRIBUCIONES    (PDF)

PROGRAMA DE LA JORNADA

INSCRIPCIÓN

INFORMACIÓN ADICIONAL

CONFERENCIA INVITADA

Título:

Correctness by construction: UML2 profile enforcing the Ravenscar Computational Model

Por:

Tullio Vardanega

Profesor en el Departamento de Matemáticas Puras y Aplicadas de la Universidad de Padua, experto en sistemas empotrados de tiempo real, y en procesos y metodologías para la ingeniería de sistemas de software de alta integridad.

PETICIÓN DE CONTRIBUCIONES

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

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)

antes del día 18 de abril. Asimismo, deberán estar dispuestos a enviar copia del material de
presentación para el día 24 de abril.

Este año además de las presentaciones técnicas, disfrutaremos de la siguiente conferencia invitada:

• "Correctness by construction: UML2 profile enforcing the Ravenscar Computational Model", impartida por Tullio Vardanega, profesor en el Departamento de Matemáticas Puras y Aplicadas de la Universidad de Padua, experto en  sistemas empotrados de tiempo real, y en procesos y metodologías para la ingeniería de sistemas de software de alta integridad.

PROGRAMA DE LA JORNADA

9:15 a 9:30 Inscripción

9:30 a 12:00    Charla Invitada

• Tullio Vardanega
  Universidad de Padua
  Correctness by construction: UML2 profile enforcing the Ravenscar Computational Model
  

12:00 a 12:30    Descanso

12:30 a 13:30    Presentaciones técnicas (Sesión 1)

• Jorge Real
  Universidad Politécnica de Valencia
  Ada 05 Dynamic Ceilings on top of a POSIX OS
  

• Agustin Arjonilla y Marisa Nassarre - TCP Sistemas e Ingeniería
  J.Patricio Gómez Pérez - Universidad Politécnica de Madrid
  SISCANT: la experiencia de desarrollar un sistema de control de vuelo crítico con generación automática de código y pruebas, certificándolo según la normativa DO-178B

13:30 a 16:00    Comida

16:00 a 18:00    Presentaciones técnicas (Sesión 2)

• Javier Miranda
  Universidad de Las Palmas de Gran Canaria y Ada Core
  Estado actual de la implementación de Ada 2005 en GNAT  
  

• José Pulido, Santiago Urueña, Juan Zamorano y Juan A. de la Puente
  Universidad Politécnica de Madrid
  ORK y Ada 2005

• Mario Aldea Rivas y Michael González Harbour
  Universidad de Cantabria
  Soporte en MaRTE OS de los nuevos servicios de tiempo real definidos en Ada 2005
  

19:00  Asamblea General de la Asociación Ada-Spain

INSCRIPCIÓN

           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 2006. Esta inscripción se podrá hacer durante la Jornada Técnica.

Cuotas de inscripción:

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