XI JORNADA TÉCNICA DE ADA-SPAIN
Miércoles 9 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
Título: Modelado de Sistemas de Alta Integridad en UML 1.x y
UML
2.0
Por:
Dr. Miguel Angel de Miguel
DIT - Universidad Politécnica de Madrid
Resumen:
UML es un lenguaje de modelado de proposito general, que no incluye
precisión
suficiente para describir aspectos de sistemas de alta integridad
(ejemplos
de este tipo de sistemas son los sistemas de control de tráfico
aereo, o sistemas de combate naval). La imprecisión de UML y sus
mecanismos de extensión permiten hacer adaptaciones del lenguage
para propositos específicos.
Estándares de perfiles de UML como "UML Profile for
Scheduling,
Time and Performace" y " UML Profile for Quality of Service and Fault
Tolerance",
y nuevos
elementos de modelado que incluye UML 2.0, permiten definir aspectos
específicos de los sistemas de alta integridad y utilizar los
modelos
para procesos de analysis y evaluación de arquitecturas y
generaciones
y transformaciones específicas de modelos.
Breve biografía del conferenciante:
Miguel A. de Miguel trabaja actualmente en el Departamento de
Ingeniería
Telemática de la Universidad Politécnica de Madrid dentro
del programa Ramón y Cajal
del Ministerio de Ciencia y Tecnología. Miguel A. de Miguel
se doctoró en ese departamento en 1997 y ha colaborado como
investigador
visitante durante un año en la Universidad de Illinois en
Urbana-Champaign,
y otro año como ingeniero investigador en el INRIA, y ha
trabajado
varios años como investigador en el laboratorio central de
investigación
de Thales-TRT. Ha participado en varios proyectos europeos y DARPA como
investigador y como líder de paquete. Actualmente colabora
estrechamente
con el grupo de trabajo "Real-Time Analysis and Design" de la OMG para
la elaboración de estándares de adaptación de UML
para sistemas de tiempo real y calidad de servicio.
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
- Sistemas empotrados
- Sistemas de tiempo real
- Sistemas distribuidos
- Sistemas de control industrial
- Metodologías de desarrollo de software
- UML (sesión especial relacionada con la conferencia invitada)
- 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 31 de marzo. Asimismo, deberán estar
dispuestos
a enviar copia del material de
presentación para el día 4 de abril.
Este año además de las presentaciones técnicas,
disfrutaremos de la conferencia invitada sobre
UML de tiempo real impartida por el profesor Miguel Angel de Miguel
de la UPM. La conferencia
irá seguida de una mesa redonda para la que se piden
contribuciones
especiales que deberán
remitirse en los términos anteriormente expresados.
PROGRAMA DE LA JORNADA
9:00 - 9:30 Inscripción
9:30 - 11:15 Conferencia Invitada
-
Miguel Angel de Miguel
Universidad Politécnica de Madrid
Modelado de Sistemas de Alta Integridad en UML 1.x y UML 2.0
11:15 - 11:45 Descanso
11:45 - 12:45 Mesa redonda sobre UML (parte I)
Incluye las presentaciones
técnicas:
-
José M. Álvarez Palomo y Manuel Díaz
Rodríguez
Universidad de Málaga
Semántica en MML de las máquinas de estados de UML
-
Julio L. Medina, Michael González Harbour y José M. Drake
Universidad de Cantabria
El "UML Profile for Schedulability, Performance and Time" en la
representación de sistemas distribuidos de tiempo real
-
Yolanda González Arechavala
Universidad Pontificia Comillas
MODUS: un lenguaje de modelado unificado y simulable
12:45 - 14:30 Comida
14:30 - 15:30 Mesa redonda sobre UML (parte II)
15:30 - 15:45 Descanso
15:45 - 17:15 Presentaciones Técnicas
-
Almudena Díez Gil
TCP Sistemas e Ingeniería
Aplicación de la metodología de Ingeniería
de Requisitos Meta-IRqA en sistemas embarcados
-
Maria Luisa Nassarre Bris y Agustín Arjonilla
TCP Sistemas e Ingeniería
Validación automática de la implementación
de modelos en Simulink (Matlab) con Test Harness Generator
-
José Ruiz
ACT-Europe
GPS (GNAT Programming System)
17:15 - 17:30 Descanso
17:30 - 19:00 Presentaciones Técnicas
-
Alejandro Alonso, Juan Antonio de la Puente y Juan Zamorano
Universidad Politécnica de Madrid
Entorno de pruebas para software de alta integridad.
-
Agustín Arjonilla
TCP Sistemas e Ingeniería
Descripción de la herramienta de evaluación de
arquitecturas
de tiempo real: CARTS
- Javier Miranda y Michael Gonzalez
Universidad de las Palmas de Gran Canaria y Universidad de Cantabria
Relojes de tiempo de ejecución en Ada
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 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
2003.
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