III. ACTIVIDADES DE INVESTIGACION
El desarrollo de las actividades de investigación se lleva
a cabo mediante grupos de composición variable que participan
en proyectos de investigación financiados a través
del Programa nacional, del Programa Marco de la Unión Europea
y de contratos diversos con las empresas del sector.
3.1. LINEAS DE INVESTIGACION
Diseño de software de comunicaciones: ingeniería
de protocolos (E-LOTOS), entornos de programación, ingenieria
software, sistemas de tiempo real críticos, plataformas
distribuidas, CORBA, TINA, técnicas orientadas a objetos.
Codiseño Hardware/Software, métodos formales.
Aplicaciones multimedia, trabajo cooperativo (CSCW), tele-educación,
tele-trabajo, interfaces de usuario y protocolos multimedia.
Redes y servicios telemáticos: nuevos servicios telemáticos,
servicios INTERNET, WWW, protocolos de alta velocidad, ATM, redes
de banda ancha, RDSI, gestión integrada de redes, sistemas
y servicios (TMN, SMNP); redes satélite, redes locales
y metropolitanaas: simulación; cifrado; seguridad en redes.
Sistemas inteligentes: procesamiento del lenguaje natural; agentes
inteligentes; aprendizaje e inducción del conocimiento;
aplicaciones en monotorización, control y comunicaciones.
Bases de Datos: bases de datos distribuidas; modelos de datos;
bases de datos orientadas a objetos; interoperabilidad en bases
de datos heterogéneas.
Teoría de la ofimática, sistemas complejos.
PALABRAS CLAVE:
Telemática, Ingeniería Software, Inteligencia Artificial,
Redes de Ordenadores, Simulación, Protocolos de Comunicación,
Bases de Datos.
LINES OF RESEARCH:
Software design, software engineering, software engineering toolsets,
protocol engineering E-LOTOS, real time critical systems, distributed
platforms, CORBA, TINA object oriented techniques. Hardware/Software
design, formal methods.
Multimedia applications, cooperative work (CSCW), tele-education
and tele-training, multimedia protocols and user's interfaces.
Telematic services and networks: new telematic services, Internet
service, WWW, high speed protocols, ATM, broadband network, ISDN,
integrated management of networks, systems and services (TMN,
SNMP); satellite network, local and metropolitan network; simulation;
criptography; network security.
Expert Systems: natural language processing; knowledge induction
and learning; monitoring applications control and communications.
Databases: distributed data bases; data models; object databases;
interoperability of heterogeneous databases.
Office automation theory, complex systems.
KEYWORDS:
Telematics, Software Engineering, Artificial Intelligence, Computer
Networks, Simulation, Communication Protocols, Databases.
* * *
3.2. PROYECTOS DE INVESTIGACION
A continuación se señalan la mayor parte de los
Proyectos de Investigación activos durante 1995, por orden
alfabético de Directores. Gran parte de ellos tienen una
duración superior al año, y en algunos casos se
especifican las fechas de comienzo y fin de los mismos.
- *TITULO DEL PROYECTO: Infraestructura para Servidor
Multimedia
- DIRECTOR: Azcorra Saloña, Arturo
- FINANCIACION: CICYT
- RESUMEN: Es un proyecto
de infraestructura avalado por varios grupos de investigación
de los departamentos de Senales, Sistemas y Radiocomunicación
y de Ingenieria de Sistemas Telematicos. El objetivo es permitir
acceder a servicios multimedia sobre una red de banda ancha. Los
servicios objetivo son tanto de acceso y recuperación de
información multimedia, como de procesamiento de la misma
en tiempo real.
- *TITULO DEL PROYECTO: Sistema Integral de Gestión
de Red (SIGER)
- DIRECTOR: Azcorra Saloña, Arturo
- FINANCIACION: Programa PASO (CDTI, MINER y Unión
Europea)
- RESUMEN: Sistema Integral de Gestión de Red.
Tiene como objetivo la definición de requisitos, el diseno
global del sistema, el desarrollo de los componentes necesarios,
la implantación y evaluación de un sistema integral
de gestión de red y servicios de información. Se
cubre el ciclo completo del servicio, haciendo especial hincapie
en los aspectos de red. El desarrollo realizado debe ser complementario
a la funcionalidad ofrecida por los distintos productos existentes
en el mercado, que cubren parcialmente las necesidades del usuario.
- *TITULO DEL PROYECTO: Servidor de Información
Multimedia (SIMM)
- DIRECTOR: Azcorra Saloña, Arturo (por parte
del DIT)
- FINANCIACION: Plan Nacional de I+D (CICYT). Programa
Tecnologías de la Información y Comunicaciones.
Proyecto integrado Comunicaciones de Banda Ancha. CITAM
- RESUMEN: Servidor de Información Multimedia.
El objetivo es el diseno, desarrollo y demostración de
un sistema multimedia multiservicio. Se trata de proporcionar
servicios de acceso y recuperación de información
multimedia, como de procesamiento de la misma en tiempo real a
un conjunto de clientes distribuidos multiaplicación. Dentro
del proyecto esta cubierto el desarrollo de una aplicación
piloto de acceso remoto a una base de datos de noticias digitalizadas.
Asimismo, se cubre la integración del servidor con una
aplicación de teleensenanza y otra de acceso remoto a bases
de datos de museos.
- *TITULO DEL PROYECTO: BONAPARTE
- DIRECTOR: Azcorra Saloña, Arturo
- FINANCIACION: Programa ACTS, Unión Europea
- RESUMEN: Este proyecto se centra en la realización
de una red de fibra óptica oscura sobre la que se realizan
experiencias de teleeducación y telemedicina, utilizando
comunicaciones de banda ancha. Septiembre 1995 a agosto 1998.
- *TITULO DEL PROYECTO: UNICORN
- DIRECTOR: Berrocal Colmenarejo, Julio
- FINANCIACION: CICYT, PLANBA
- RESUMEN: El proyecto
UNICORN (UNidad de Interconexión para Redes EEE802.6 e
IEEE802.3 con nodo ATM) tiene como objetivo principal el desarrollo
hardware y software de un entidad de interconexión que
permita la comunicación entre redes MAN (IEEE 802.6) de
tipo privado y LANs de tipo Ethernet (IEEE 802.3), utilizando
la capacidad de transporte de una red ATM.
- *TITULO DEL PROYECTO: Tecnologías de Bases de
Datos
- DIRECTOR: Costilla Rodríguez, Carmen
- FINANCIACION: Programa PASO, Proyecto OFIPLAN. Subcontratación
de CIMSA
- RESUMEN: Subcontratación para el desarrollo
de una cédula of a dispatching task system workflow. Está
codificado en C, above ORACLE RDBMS. De abril a octubre de 1995.
- *TITULO DEL PROYECTO: INTEGRAL: Integración
de Metodologías para el desarrollo de circuitos electrónicos
a nivel de sistema
- DIRECTOR: Delgado Kloos, Carlos (Investigador responsable
del subproyecto)
- FINANCIACION: CICYT. Programa Nacional de Investigación
en Tecnologías de la Información y Comunicaciones
- RESUMEN: El proyecto INTEGRAL (TIC93-0515-C02-01) es
un proyecto financiado por la CICYT. El proyecto pretende definir
una metodología y un entorno de diseño de sistemas
digitales que parta de especificaciones abstractas, utilice métodos
formales y se base en bibliotecas de células VHDL. El sistema
ofrece una parte de diseño abstracto basado en la técnica
de descripción formal LOTOS y otra parte de diseño
orientado a hardware basado en VHDL. Este proyecto comenzó
en Mayo de 1993 y finalizó en Mayo de 1996.
- *TITULO DEL PROYECTO: EUROFORM: Formal Methods for
Correct System Design (Red de cooperación científica
y técnica)
- DIRECTOR: Delgado Kloos, Carlos
- FINANCIACION: CE (Programa Capital Humano y Movilidad
de la CE), en colaboración con otras 14 instituciones europeas
- RESUMEN: El proyecto EUROFORM (HCM 2/ERB4050PL921826)
es un proyecto de movilidad de capital humano ({\it Human Capital
Mobility}). Soporta la investigación en varias instituciones
europeas en el campo de los métodos formales aplicados
al diseño hardware. El trabajo realizado en el DIT se ha
concentrado en la definición de una semántica formal
para VHDL. En el contexto de este proyecto se ha contratado a
un investigador inglés (Peter T. Breuer). Este proyecto
comenzó el 1 de Septiembre de 1993 y terminó el
30 de Agosto de 1995.
- *TITULO DEL PROYECTO: COBRA: Hardware/Software Co-Design
- DIRECTOR: Delgado Kloos, Carlos
- FINANCIACION: Programa ESPRIT III (CE), en colaboración
con FZI Karlsruhe, Univ. Tübingen, Univ. Braunschweig, Siemens,
Tech. Univ. Denmark y VTT
- RESUMEN: El proyecto COBRA (EP 8135) es un proyecto
de investigación básica financiado por la Comunidad
Europea que trata del codiseño de sistemas hardware/software.
El proyecto esta dividido en varias tareas: especificación
de sistemas, particionado en componentes hardware y software,
verificación, estudio de arquitecturas hardware/software
e integración de componentes en la arquitectura. El trabajo
realizado por el DIT esta centrado en torno al lenguaje de especificación
LOTOS. Basándose en herramientas preexistentes, tales como
traductores de LOTOS a VHDL (véase el proyecto FORMAT)
y a C se ha desarrollado una metodología de codiseño
que permite, a partir de una especificación en LOTOS, partirla
en componentes hardware y software e implementarla en una tarjeta
prototipo. Este proyecto se ha realizado en colaboración
con el Departamento de Ingeniería Electrónica de
la Universidad Politécnica de Madrid. Este proyecto comenzó
el 1 de Octubre de 1993 y terminó el 31 de Marzo de 1996.
- *TITULO DEL PROYECTO: NADA: New Methods in Hardware
Design
- DIRECTOR: Delgado Kloos, Carlos
- FINANCIACION:Programa ESPRIT III (CE), en colaboración
con Univ. Augsburgo, Univ. Téc. de Münich, Univ. Münich,
Univ. Swansea, Univ. Kent, Univ. Amsterdam, Univ. Uppsala
- RESUMEN: El proyecto NADA (EP 8533) es un proyecto
financiado por la Comunidad Europea. Este proyecto investiga en
el uso de métodos matemáticamente correctos para
la descripción y diseño de sistemas hardware. Uno
de los principales objetivos es el desarrollo de un lenguaje de
descripción de hardware de nueva generación. Los
aspectos que debe soportar este lenguaje incluyen el modelado
del tiempo, parametrización y modularización. Las
técnicas que se usarán para el diseño basado
en ese lenguaje incluirán verificación, diseño
deductivo y diseño estructural. Este proyecto comenzó
el 1 de Abril de 1994 y terminará el 31 de Marzo de 1997.
- *TITULO DEL PROYECTO: CODESIGN
- DIRECTOR: Delgado Kloos, Carlos
- FINANCIACION: Programa KEEP IN TOUCH (CE), en colaboración
con Univ. Tübingen, Siemens, Tech. Univ. Denmark, VTT y Univ.
Federal de Pernambuco (Brasil).
-
RESUMEN: El proyecto CODESIGN (KIT 128) es un proyecto
financiado por la Comunidad Europea. El objetivo principal de
este proyecto es cooperar en el area del codiseño hardware/software
entre los miembros de dos proyectos relacionados con el tema:
el proyecto europeo COBRA y el brasileño PISH. Este proyecto
comenzó el 1 de Noviembre de 1994 y terminará el
31 de Octubre de 1997.
- *TITULO DEL PROYECTO: FORMAT: Formal Methods in Hardware
Verification
- DIRECTOR: Delgado Kloos, Carlos
- FINANCIACION: Programa ESPRIT III (C.E.) E-6128
- RESUMEN: El proyecto FORMAT (EP 6128) es un proyecto
de investigación financiado por la Comunidad Europea que
trata del diseño VLSI utilizando métodos formales.
El proyecto utiliza como lenguaje de implementación el
lenguaje de descripción de hardware VHDL (estándar
del IEEE). El proyecto se subdivide en dos grandes tareas: verificación
formal de diseños en VHDL y síntesis de diseños
especificados en lenguajes de alto nivel. La tarea fundamental
realizada por el DIT en este proyecto fue la de desarrollar un
traductor del lenguaje de especificación LOTOS a VHDL.
Este proyecto comenzó el 1 de Junio de 1992 y terminó
el 30 de Noviembre de 1995.
- *TITULO DEL PROYECTO: SEIC: Sistema de Información
Ciudadana
- DIRECTOR: Fernández Fernández, Gregorio
- FINANCIACION: Unión Europea-CDTI (Acción
Especial PASO)
- RESUMEN: Enero 94-Diciembre 95. En el Consorcio de
SEIC, el Grupo de Sistemas Inteligentes (GSI) colabora con las
empresas Enware y Genasys, con el Consorcio de Transportes de
Madrid y con el Colegio Oficial de Farmacéuticos de Madrid.
El objetivo es el desarrollo de un sistema de difusión
de información, con dos aplicaciones iniciales: consultas
sobre transporte público y sobre la red de farmacias. La
contribución del GSI consiste en el desarrollo de un módulo
de inducción de conocimiento que permita, a partir de los
datos almacenados tras un funcionamiento prolongado, obtener conclusiones
de utilidad para los planificadores de servicios.
- *TITULO DEL PROYECTO: SICHAN: Sistema Inteligente para
Chequeo Automático con Normas y Códigos de Diseño
- DIRECTOR: Garijo Ayestarán, Mercedes
- FINANCIACION: Unión Europea-CDTI (Acción
Especial PASO)
- RESUMEN: Enero 94-Julio 95. Este proyecto ha sido una
continuación de otro denominado AUTOCODE y su objetivo
era obtener un producto competitivo, partiendo de los trabajos
de prototipado del proyecto anterior y de la experiencia adquirida
en su desarrollo. El resultado es un sistema integrado y abierto
que, haciendo uso de técnicas de inteligencia artificial,
sea capaz de chequear los resultados obtenidos (tras un análisis
del producto con un Programa de Elementos Finitos), y asesorar
al diseñador teniendo en cuenta los criterios y requisitos
definidos en las normas. Su principal ventaja es que elimina al
usuario la necesidad de conocer todas y cada una de las normas
existentes.
- *TITULO DEL PROYECTO: PROTEGER: Sistema MultiAgente
Experimental para Gestión de Red y Servicios
- DIRECTOR: Garijo Ayestarán, Mercedes
- FINANCIACION: CICYT (Plan Nacional I+D, Programa de
Tecnologías de la información y las Telecomunicaciones)
Proyecto TIC--94--139
- RESUMEN: Mayo 94-Mayo 97. Como continuación
del Proyecto "Arquitectura para una Gestión Inteligente
de Redes de Comunicación", se propone la realización
de un prototipo de sistema de gestión en los niveles de
red y servicios, utilizando el modelo arquitectónico definido
en dicho proyecto. El sistema de gestión debe ser integrable
con las plataformas de gestión normalizadas, de manera
que acceda a la información de gestión mediante
interfaces estándar.
Antes de desarrollar el prototipo será necesario analizar
las diferentes alternativas existentes respecto a los criterios
de partición de las actividades gestoras para establecer
las clases de agentes participantes en el sistema. El prototipo
permitirá validar no sólo el modelo arquitectónico
y los criterios de distribución de tareas, sino también
los métodos de resolución de problemas incluídos
en los agentes.
- *TITULO DEL PROYECTO: MIX: Modular Integration of Connectionist
and Symbolic Processing in Knowledge-Based Systems
- DIRECTOR: González Cristóbal, José
Carlos
- FINANCIACION: Unión Europea (Programa ESPRIT,
Proyecto 9119)
- RESUMEN: Marzo 94-Febrero 97. El Consorcio MIX investiga
estrategias y desarrolla herramientas para la integración
de técnicas simbólicas y conexionistas en sistemas
híbridos basados en conocimiento. En este contexto, se
ha desarrollado una plataforma distribuída para la cooperación
entre agentes inteligentes.
Los objetivos generales del Proyecto son los siguientes: a) Mejorar
la versatilidad de los sistemas híbridos simbólico-conexionistas
combinando una variedad de esquemas de representación,
inferencia y aprendizaje, provenientes de los paradigmas simbólico
y conexionista. b) Aumentar las capacidades de razonamiento de
estos sistemas superando su limitación tradicional a la
lógica proposicional. c) Clarificar el impacto teórico
de la integración simbólico-conexionista sobre
aspectos fundamentales del aprendizaje automático, como
la elección y combinanción de métodos, asignación
de mérito y asimilación de conocimiento. d) Asegurar
la escalabilidad y utilidad real de los modelos híbridos
resultantes, validándolos sobre tres aplicaciones concretas:
La optimización de un cambio de marchas en combinación
con un motor turbo - alimentado, el control de trenes de laminación
en la industria del acero y la monitorización de una unidad
de cuidados intensivos.
- *TITULO DEL PROYECTO: CRATER: Corpus Resources and
Terminology Extraction
- DIRECTOR: González Cristóbal, José
Carlos
- FINANCIACION: Unión Europea (Programa MLAP,
Proyecto 93-20)
- RESUMEN: Marzo 94-Diciembre 95. El objetivo de CRATER
es examinar la extendibilidad de los corpus multilingües
modernos. Para este fin se ha añadido el español
al corpus anotado de la ITU (International Telecommunications
Union), que hasta ahora sólo cubría ingl´rs
y francés. Como parte de este trabajo se ha desarrollado
un etiquetador morfosintáctico para el Español y
se han revisado las versiones inglesa y francesa del corpus.
Resultado de todo ello es un corpues alineado trilingüe de
un millón de palabras que debe ser útil en otros
proyectos europeos de investigación en lingüística
computacional en general y en traducción automática
en particular. Además de estos objetivos, CRATER pretende
impulsar el trabajo del Proyecto ET10-63 por lo que respecta a
la generación de recursos mono y multilingües a partir
de los corpus desarrollados. Para este fin se han desarrollado
técnicas de alineamiento híbridas que incorporan
métodos estadísticos y otros plausibles desde el
punto de vista cognitivo. Finalmente, se ha desarrollado un conjunto
de herramientas para la inspección del corpues trilingüe
y examinar el alineamiento de palabras o expresiones.
- *TITULO DEL PROYECTO: INTAS 93-725: Multivariate Statistical
Analysis and Bayesian Belief Networks for the Development of Intelligence
Decision Support Systems with Applications in Medicine and Agriculture
- DIRECTOR: González Cristóbal, José
Carlos
- FINANCIACION: Unión Europea (Programa INTAS,
Proyecto 93-725)
- RESUMEN: Octubre 94-Marzo 96. El principal objetivo
estratégico de este Proyecto es mejorar la generación
actual de Sistemas Inteligentes de Ayuda a la Toma de Decisiones
mediante el uso de técnicas de Análisis Estadístico
Multivariante en general, y de Redes Bayesianas en particular.
El principal objetivo técnico es desarrollar un conjunto
de herramientas y una arquitectura genérica que permita
representar múltiples modelos de problemas en cualquier
dominio de aplicación. En el Proyecto se desarrollarán
demostradores para refinar y validar las técnicas citadas
y aplicarlas para el diagnóstico médico y para el
tratamiento de tierras de cultivo sometidas a uso exhaustivo de
herbicidas.
- *TITULO DEL PROYECTO: COST-247: Verification and Validation
Methods for Formal Descriptions
- DIRECTOR: Inan, Kemal (coordinador), Quemada, Juan
y Frutos, David de
- FINANCIACION: TYDSA
- RESUMEN:
- *TITULO DEL PROYECTO: RICOTEL: Red de investigación
y coordinación en Telemática
- DIRECTOR: Janilce, María (coordinadora) y León
Serrano, Gonzalo
- FINANCIACION: CYTED (Ciencia y Tecnología para
el Desarrollo)
- RESUMEN: Coordinación entre diversas Universidades
en el ámbito del Sub-programa de Informática en
los temas de Métodos Formales, Redes de Banda Ancha y Servidores
de Información en Internet.
- *TITULO DEL PROYECTO: IDERS: Integrated Development
Environment for Embedded Real-Time Systems with Complete Process
and Product Visibility
- DIRECTOR: León Serrano, Gonzalo y Puente Alfaro,
Juan Antonio de la (por la UPM)
- FINANCIACION: CEE (Programa ESPRIT III, Nº 8593)
- RESUMEN: 94-Abril 96. Este Proyecto es continuación
de otro ESPRIT denominado IPTES y finalizado en 1993. En colaboración
con varios socios europeos dentro del Programa ESPRIT: IFAD (Dinamarca),
PDM (Italia), VTT (Finlandia), MARI (UK), LATTICE (UK), ALENIA
(Italia) y SPECTRA (Finlandia), los objetivos de IDERS son:
- Apoyar la fase de diseño de Sistemas de Tiempo Real
- Soporte a la visualización de código
- Desarrollo de herramientas de integración de herramientas
- Definición de métodos de prueba de sistemas
de tiempo real distribuidos
- *TITULO DEL PROYECTO: ARES: Architectural Reasoning
for Embedded Software
- DIRECTOR: León Serrano, Gonzalo y Puente Alfaro,
Juan Antonio de la
- FINANCIACION: UE (Programa ESPRIT)
- RESUMEN: Noviembre 95-Octubre 97. En colaboración
con Nokia (Finlandia), Imperial College (UK), ABB (Noruega), Phillips
Research (Holanda) y Universidad de Viena (Austria), este Proyecto
tiene los siguientes objetivos:
- Definir arquitecturas para sistemas de tiempo real y comunicaciones
embebidos (el DIT sobre sistemas de conmutación)
- Analizar arquitecturas para evaluar y comparar entre alternativas
- Desarrollar herramientas de análisis automático
de arquitecturas software a partir de su descripción
- *TITULO DEL PROYECTO: OTELSO: Object-Oriented Technology
for Telecommunication Software
- DIRECTOR: León Serrano, Gonzalo
- FINANCIACION: : Programa EUREKA. CDTI/CICYT y PEIN
- RESUMEN: Abril 94-Octubre 96. En colaboración
con Telefónica I + D, Nokia (Finlandia), Telelogic (Suecia).
Es un Proyecto Eureka cuyo principal objetivo es la elaboración
de directrices metodológicas para la aplicación
del paradigma de orientación a objetos en el campo de desarrollo
de software de comunicaciones sobre entornos heterogéneos
de ejecución distribuída. En concreto:
- Desarrollar una metodología que permita definir, implementar
y probar sistemas distribuidos a partir de SDL-LOTOS con MSCs
- Utilizar servicios distribuidos con plataformas OMG-CORBA
- Desarrollo de lenguajes gráficos para la descripción
arquitectónica de sistemas
- *TITULO DEL PROYECTO: EMEDAS: Entorno avanzado para
la especificación y diseño de sistemas de comunicaciones
basados en LOTOS
- DIRECTOR: León Serrano, Gonzalo
- FINANCIACION: CYCIT
- RESUMEN: Mayo 93-Mayo 96. El Proyecto pretende completar
la labor realizada en el Proyecto MEDAS extendiendo las herramientas
diseñadas para especificación y diseño de
sistemas de comunicaciones en LOTOS con el fin de cubrir la generación
y análisis de prototipos distribuidos. Se pretende que
globalmente el entorno pueda generar automáticamente implementaciones
para un sistema distribuído previamente configurado, que
sea capaz de soportar la animación de las especificaciones
LOTOS con inclusión de aspectos temporales. El entorno
se creará a partir de la definición por parte del
usuario del modelo de ciclo de vida de desarrollo que desee.
- *TITULO DEL PROYECTO: VITAL: Validation of Integrated
Telecommunication Architecture for the Long - Term
- DIRECTOR: León Serrano, Gonzalo (por la U.P.M.)
- FINANCIACION: CE, Programa ACTS
- RESUMEN: Noviembre 95-Octubre 98. En colaboración
con varios socios europeos dentro del Programa ACTS como Proyecto
asociado a la definición de la futura red de telecomunicaciones
TINA (Telecommunication Information Network Architecture). Los
objetivos son:
- Colaborar en la definición de la arquitectura de servicios
para la TINA
- Desarrollo de componentes de gestión de recursos y
de aplicaciones
- Adaptación de aplicación de tele-enseñanza
(posiblemente ISABEL) al empleo de componentes TINA
- *TITULO DEL PROYECTO: Red experimental ATM
- DIRECTOR: León Serrano, Gonzalo
- FINANCIACION: CICYT (Acción especial en PLANBA)
- RESUMEN: Adquisición de infraestructura para
instalar una red experimental de Banda Ancha en la ETSITM. Esta
red forma parte del SNH (Spanish National Host).
- *TITULO DEL PROYECTO: GAP: Generación Automática
de Pruebas
- DIRECTOR: Mañas, José Antonio
- FINANCIACION: Telefónica I+D
- RESUMEN: Se trata de un desarrollo encargado por Telefónica
para sustanciar la fase de generación de pruebas para protocolos
de comunicaciones. Se trata de tomar una especificación
formal, decidir una serie de objetivos de prueba, y desarrollar
las baterías de prueba pertinentes de forma semi-automática.
El sistema se completa con un análisis de cobertura y una
ayuda en la gestión del sistema de ejecución de
pruebas. Se trabaja con SDL.
- *TITULO DEL PROYECTO: IRMEM: Interconexión de
redes metropolitanas por enlaces ATM
- DIRECTOR: Martínez Mas, Antonio (subproyecto
del DIT)
- FINANCIACION: CICYT. Plan Nacional de Banda Ancha.
Consorcio liderado por Alcatel
- RESUMEN: IRMEM (Interconexión de Redes Metropolitanas
con Enlaces MTA), del Plan Nacional de I+D de Comunicaciones en
Banda Ancha (PlanBA): Desarrollo de un equipo de interconexión
de redes metropolitanas IEEE 802.6 con la B-ISDN. El equipo del
DIT ha participado como investigador principal en las fases de
diseño, y de evaluación de prestaciones mediante
simulación y especificación del equipo. Duración:
Septiembre 1992 - Septiembre 1995.
- *TITULO DEL PROYECTO: IBER: Infrastructure for Broadband
Experiments and Research
- DIRECTOR: Miguel Moro, Tomás de
- FINANCIACION: CEE, Programa RACE, DG XIII (M-1011)
- RESUMEN:
- *TITULO DEL PROYECTO: TECODIS
- DIRECTOR: Miguel Moro, Tomás de
- FINANCIACION: Programa ACTS, Unión Europea
- RESUMEN: Este proyecto se centra en la realización
de experiencias de teletrabajo en entornos industriales y utilizando
comunicaciones de banda ancha. Septiembre 1995 a agosto 1988.
- *TITULO DEL PROYECTO: SONAH
- DIRECTOR: Miguel Moro, Tomás de
- FINANCIACION: Programa RACE.
- RESUMEN: 95-96. Provisión de servicios avanzados
(trabajo cooperativo, acceso a servidores WWW, videoconferencia,
etc.) en el entorno de los National Hosts de ACTS.
- *TITULO DEL PROYECTO: Architectural Framework for CSCW
Systems Support (Cooperation Technology)
- DIRECTORA: Pastor Martín, Encarnación
- FINANCIACION: CE, Acción COST 14
- RESUMEN: El objetivo del proyecto es investigar sobre
modelos y arquitecturas que ayuden al diseño de sistemas
de trabajo cooperativo. Se trata de estudiar los diferentes enfoques
de CSCW para obtener un marco de referencia genérico utlizando
conceptos del estándar ODP (Open Distributed Processing).
- *TITULO DEL PROYECTO: Aplicaciones Educativas para
Red de Banda Ancha (EDUBA)
- DIRECTORA: Pastor Martín, Encarnación
- FINANCIACION: Plan Nacional de I+D (CICYT). Programa
Tecnologías de la Información y Comunicaciones.
Proyecto Integrado Comunicaciones de Banda Ancha
- RESUMEN: Junio 92-Diciembre 95. El objetivo
del proyecto EDUBA consiste en investigar y experimentar sobre
nuevas aplicaciones y servicios orientados a la educación
utilizando un soporte de comunicaciones de banda ancha. En concreto,
el proyecto ha definido y desarrollado un conjunto de aplicaciones
distribuidas multimedia que ayudan a completar distintas fases
de aprendizaje de un grupo de estudiantes, con facilidades para
mantener conversaciones en tiempo real, compartir información
a través de canales de audio y vídeo, manipular
documentos multimedia o acceder a fuentes de información
remota. Tambien se ha llevado a cabo una evaluación pedagógica
de los prototipos desarrollados realizando una serie de experimentos
reales de utilización.
- *TITULO DEL PROYECTO: Sistema Multimedia para Trabajo
Cooperativo (MULTICOOP)
- DIRECTORA: Pastor Martín, Encarnación
- FINANCIACION: Programa PASO (CDTI, MINER, CE)
- RESUMEN: Julio 94-Junio 96. El objetivo del proyecto
es experimentar con tecnologías que permitan realizar Trabajo
Cooperativo. Se han definido dos entornos de trabajo distintos.
Uno de ellos se diseñará para permitir la colaboración
entre dos usuarios remotos (punto a punto), dando lugar a un "Sistema
Interpersonal". El segundo, tiene en cuenta las necesidades
de colaboración entre un grupo de usuarios (multipunto)
y dara lugar a un "Sistema para Grupos". Otro aspecto
relevante que investiga el proyecto se centra en el almacenamiento
de documentos multimedia y facilidades de acceso remoto a información
via RDSI.
- *TITULO DEL PROYECTO: Sistemas Cooperativos Software
(SISCO)
- DIRECTORA: Pastor Martín, Encarnación
(Representante de la unidad participante en España)
- FINANCIACION: Programa Iberoamericano de Ciencia y
Tecnología para el Desarrollo (CYTED). Subprograma Electrónica
e Informática Aplicadas
- RESUMEN: 95-97. El objetivo del proyecto es investigar
sobre mecanismos de cooperación en grupo para preparación
de reuniones de trabajo. La preparación incluye la distribución
de tareas, discusión de ideas, comentarios a documentos,
etc. En el aspecto teórico, se definen varios modelos:
de datos, de cooperación y de comunicación entre
participantes. En el aspecto práctico se implementarán
varios prototipos y se llevarán a cabo experimentos para
validar cada una de las soluciones planteadas.
- *TITULO DEL PROYECTO: Técnicas avanzadas de
desarrollo de software para el control de procesos con requisitos
de seguridad críticos
- DIRECTOR: Puente Alfaro, Juan Antonio de la
- FINANCIACION: CICYT
- RESUMEN: El objetivo del proyecto es estudiar algunos
de los problemas relacionados con la fiabilidad del software en
sistemas de control por computador distribuidos. El proyecto está
enfocado a la realización de sistemas de control de procesos
críticos, en los que los fallos de funcionamiento o diseño
del software pueden comprometer la seguridad de las personas o
instalaciones. Problemas de este tipo se encuentran en sistemas
de control de fabricación, producción de energía,
robótica, control de procesos químicos, aviónica,
control de tráfico aéreo, control de tráfico
ferroviario, y otros tipos de sistemas industriales. El enfoque
elegido está orientado al desarrollo de sistemas de tiempo
real distribuidos en Ada con un alto grado de fiabilidad y posibilidades
de reconfiguración dinámica, para lo que se han
investigado los mecanismos más adecuados, cuyo comportamiento
se está validando experimentalmente mediante un banco de
pruebas de sistemas de control distribuidos.
- *TITULO DEL PROYECTO: Desarrollo de software de tiempo
real para el robot ROSA-III
- DIRECTOR: Puente Alfaro, Juan Antonio de la
- FINANCIACION: ENWESA-OCIDE
- RESUMEN: Se trata de un proyecto piloto cuyo objetivo
consiste en explorar la aplicación de técnicas avanzadas
de desarrollo de software de tiempo real en el dominio de los
robots teleoperados. En primer lugar, se trata de desarrollar
una arquitectura de software genética para puestos de teleoperación
de robots de la familia ROSA III. Estos robots se utilizan para
realizar trabajos de mantenimiento en generadores de vapor de
centrales nucleares. El principal beneficio que se espera de esta
definición es una mayor adaptabilidad a las necesidades
de cambio que se produzcan en el futuro. Estos cambios en el software
de teleoperación son inevitables, dados los distintos tipos
de generadores de vapor que se encuentran en las centrales, y
los cambios en su diseño que se producen a lo largo del
tiempo, y en este momento suponen un coste muy elevado. A partir
del diseño arquitectónico, se está realizando
una nueva versión del software en Ada, aplicando técnicas
de análisis de sistemas de tiempo real con prioridades
fijas (rate monotonic analysis). Un aspecto interesante
es la integración del software desarrollado en Ada con
software comercial preexistente (ROBCAD) para las funciones de
visualización y simulación de los movimientos del
robot. Como resultado final, se espera adquirir experiencia en
la aplicación industrial de los resultados de otros proyectos
de investigación y un mejor conocimiento de los problemas
que quedan por resolver.
- *TITULO DEL PROYECTO: Broadband Interconnection Network
(BINET)
- DIRECTOR: Quemada Vives, Juan
- FINANCIACION: RACE Unión Europea. Programa Iniciativas
Regionales (D.G. XIII) G-1001
- RESUMEN: Realización de experiencias de SCCW
entre centros de investigación en España y Portugal.
Enero 1994 a septiembre 1995.
- *TITULO DEL PROYECTO: BRAIN: Bring Researches on Advanced
Communications to Industry and Network Operators
- DIRECTOR: Quemada Vives, Juan (DIT-UPM)
- FINANCIACION: RACE Unión Europea (R-2095)
- RESUMEN: Este proyecto se centra en la organización
de eventos distribuidos utilizando tecnologías de banda
ancha (ATM) y CSCW. Ha organizado las tres primeras Escuelas de
Verano sobre Comunicaciones Avanzadas de Banda Ancha. Enero 1992
a octubre 1995.
- *TITULO DEL PROYECTO: MOBICARE: Strategy Definition
for Promoting Mobile Health Telematic: Services in Europe
- DIRECTOR: Quemada Vives, Juan (DIT-UPM)
- FINANCIACION: AIM Unión Europea
- RESUMEN: Definición y desarrollo de un servicio
móvil de acceso a información médica.
- *TITULO DEL PROYECTO: DISC: Diseño Integral
de Sistemas de Comunicación
- DIRECTOR: Quemada Vives, Juan (DIT-UPM)
- FINANCIACION: CICYT
- RESUMEN: El proyecto DISC está coordinado con
el Departamento de Informática y Automática de la
Universidad Complutense de Madrid. Su objetivo es el desarrollo
de un lenguaje de diseño formal de sistemas en línea
con la definición de la norma ELOTOS. Abril 1994 a abril
1995.
- *TITULO DEL PROYECTO: STEN
- DIRECTOR: Quemada Vives, Juan (DIT-UPM)
- FINANCIACION: CEE - Programa TEN/IBC (DG XIII) B-2003
- RESUMEN: Enero 1994 a abril 1995.
- *TITULO DEL PROYECTO: LOTOS Validation
- DIRECTOR: Quemada Vives, Juan (DIT/UPM)
- FINANCIACION: European Space Agency, ESTEC Holanda
- RESUMEN: Este proyecto se centra en la validación
del uso de LOTOS en el diseño de sistemas de gran fiabilidad.
Enero 94-Diciembre 95.
- *TITULO DEL PROYECTO: COST 247. Verification and Validation
of Communications Systems
- DIRECTOR: Quemada Vives, Juan (Representante español)
- FINANCIACION: CEE, DG XIII, Programa COST
- RESUMEN: El proyecto COST 247 coordina las actividades
de investigación en validación y verificación
de sistemas de comunicaciones de diversos países europeos.
Una parte importante de su actividad se centra en la definición
del lenguaje ELOTOS. Enero 1994 a diciembre 1996.
- *TITULO DEL PROYECTO: Servicio Información PYMES/
Plan Telemático CAM
- DIRECTOR: Riera García, Juan
- FINANCIACION: Comunidad Autónoma de Madrid
- *TITULO DEL PROYECTO: Sistema de Tele-educación
ISDN
- DIRECTOR: Robles Valladares, Tomás (por el DIT)
- FINANCIACION: CITAM
- RESUMEN: El proyecto Teleducación RDSI pretende
la construcción de un entorno de teleeducación basado
en multiconferencia sobre RDSI. Usando la RDSI pública
como infraestructura de comunicaciones, y mediante el uso de una
MCU (MultiConference Unit), se proporciona una red para la impartición
de teleclases. En estas clases participan simultáneamente
un profesor y 10 alumnos. El proyecto se articula en torno a tres
experiencias de complejidad creciente. En la primera sólo
se hace uso de las facilidades de teleclase, en la segunda se
utilizan facilidades para intercambio electrónico de documentos,
y en la tercera se permitirá el acceso a clases previamente
grabadas. Noviembre 1995 a abril 1997.
- *TITULO DEL PROYECTO: CAIRD: Servidor de Información
Multimedia
- DIRECTOR: Robles Valladares, Tomás
- FINANCIACION: CITAM
- RESUMEN: El proyecto CAIRD se establece sobre una red
de universidades Europeas y Americanas, con el fin de realizar
trabajos en las áreas de telecomunicación y ciencias
de la computación. Dentro de estas áreas se pretende
hacer hincapié en los temas de: ingeniería de protocolos,
algoritmos distribuidos y análisis de datos. Las tareas
de cooperación se concretarán en cursos, reuniones
de trabajo e intercambio de estudiantes. Diciembre 1995 a diciembre
1998.
- *TITULO DEL PROYECTO: Investigación Educativa
sobre Tecnología de Comunicaciones, Redes y Servicios Integrados
- DIRECTOR: Sáez Vacas, Fernando
- FINANCIACION: BT TELECOMUNICACIONES, SA
- RESUMEN: El objeto de esta investigación consiste,
en primer lugar, en explorar la moderna tecnología de las
comunicaciones en un ámbito de facetas técnicas,
organizativas, ecónómicas, psicológicas,
sociales, industriales y políticas, para desarrollar una
visión de ella coherente e integrada. La segunda parte
será trasladar los resultados de la investigación
anterior a un sistema de formación, orientado a cursos,
seminarios, "workshops" y documentos educativos, a cuyo
fin un trabajo importante se centrará en elegir los soportes
didácticos y vehículos técnicos más
convenientes.
- *TITULO DEL PROYECTO: COMBINE: Combinación de
interfuncionamiento ATM/CPN y modelos extremo a extremo
- DIRECTOR: Vázquez Gallo, Enrique
- FINANCIACION: CICYT
- RESUMEN: 92-95. Estudio de arquitecturas de comunicaciones
y evaluación de prestaciones para el interfuncionamiento
de redes locales y metropolitanas con redes ATM, y para la prestación
de servicios no orientados a conexión.
- *TITULO DEL PROYECTO: CORAGE: Control y optimización
por Razonamiento Aproximado y Algoritmos Genéticos
- DIRECTOR: Velasco Pérez, Juan Ramón
- RESUMEN: Enero 94-Febrero 96. El objetivo principal
de este Proyecto es llegar a un sistema software de optimización/control
adaptativo para procesos complejos, fácilmente adaptable
para hacerlo operativo en nuevos procesos. La idea central parte
del hecho de que en muchos procesos industriales normalmente se
opera en unas condiciones estándar propuestas por el fabricante,
o en condiciones que, a simple vista, parecen las mejores. Sin
embargo, en muy pocos casos se comprueba que éstas son
realmente las condiciones óptimas de funcionamiento. En
la mayoría de estos procesos, el desvío de estos
puntos óptimos de funcionamiento nos llevan a unas pérdidas
que pueden evitarse.
El sistema se desarrolla bajo el aspecto de un sistema experto
de control borroso, que irá alterando la credibilidad que
tiene en su conocimiento en busca de las acciones óptimas.
Al mismo tiempo, existe un módulo de generación
de nuevas reglas que le permitirán adaptarse a variaciones
de funcionamiento del proceso. El sistema general que se desarrolle
será probado en un proceso completo. El sistema intentará
optimizar el consumo del grupo II de la Central Térmica
que Hiberdrola tiene en Velilla del Río Carrión
(Palencia).
- *TITULO DEL PROYECTO: MITA: Metodología de Integración
y Tecnologías Avanzadas de Control Inteligente de Procesos
Continuos
- DIRECTOR: Velasco Pérez, Juan Ramón (por
parte del DIT)
- FINANCIACION: CICYT
- RESUMEN: Este Proyecto de investigación está
enmarcado en el área del control inteligente. Es decir,
en el desarrollo de sistemas de control de procesos complejos
utilizando técnicas procedentes de la inteligencia artificial.
Sus objetivos básicos son el desarrollo de:
- Una metodología de desarrollo de aplicaciones integradas
de control inteligente de procesos. Esta metodología se
basará en tecnología de orientación a objetos
para desarrollo de aplicaciones multi-plataforma.
- Aplicación de tecnologías de lógica borrosa,
redes neuronales y aprendizaje al control de procesos continuos.
- Una aplicación de demostración, basada en la
integración de sistemas expertos, controladores borrosos,
redes neuronales y mecanismos de aprendizaje y planificación,
para controlar un proceso químico.
- *TITULO DEL PROYECTO: INTERACT: Interactive Television
Return Channel Standardisation And Trials
- DIRECTOR: Vidaller Sisó, León
- FINANCIACION: ACTS (AC086)
-
RESUMEN: 95-98. Este Proyecto tiene como objetivo el estudio,
especificación e implantación de un canal de retorno
para sistemas de difusión de video digital (DVB) tanto
terrestre como por cable. Esto permitirá la introducción
de servicios de datos interactivos tales como la telecompra o
el teletrabajo, además de servicios de televisión
interactiva como TV de pago "pay per vieuw" y video
bajo demanda.
* * *
1996