Líneas de investigación - Sistemas de tiempo real

Líneas de investigación

Sistemas de tiempo real

Resumen

Las actividades de docencia e investigación en este área abarcan todos los aspectos de los sistemas de tiempo real, incluyendo métodos de diseño y especificación, prototipado, lenguajes de programación, sistemas operativos, sistemas distribuidos y tolerancia a fallos.

Algunos proyectos acabados recientemente o actualmente en curso son los siguientes:

Proyectos europeos
- IPTES (Incremental Prototyping of Real-Time Embedded Systems) - ESPRIT 5570/7811 (1990-1993).
- IDERS (ESPRIT 8593) (1993-1995)
- ARES (ESPRIT 20477) (1995-1998)
- COMITY (ESPRIT 23015) (1997-1999)
Proyectos nacionales
- Critical Real-Time Software (CICYT TAP93-0001-CP ) (1993-1996)
- Complex, distributed, fault-tolerant RTS (CICYT TIC96-0614) (1996-1999)
Proyectos industriales
- Ada Component Library for Avionics (Programa COINCIDENTE) (1989-1992)
- Software architecture for nuclear plant maintenance robots (Programa OCIDE) (1994-1996)

Mas información

En la descripción detallada de actividades en este área puede encontrar información sobre proyectos de investigación, publicaciones recientes, una lista de personas que trabajan en esta línea y otros datos complementarios.

18/07/1997