Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes...
-
Upload
horacio-arboleda -
Category
Documents
-
view
6 -
download
0
Transcript of Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes...
![Page 1: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/1.jpg)
Reunión con empresas del CEEI´04
Grupo de investigación
Sistemas Concurrentes
Dpto. de Lenguajes y Sistemas Informáticos
Escuela Técnica Superior
de Ingeniería Informática
Universidad de Granada
Periodista Daniel Saucedo, s/n
18015 Granadahttp://lsi.ugr.es/~sc
![Page 2: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/2.jpg)
Reunión con empresas del CEEI´04
Resumen
• Presentación del grupo• Resultados• Experiencia en la organización de actividades I+D • Proyectos actuales• Intereses de investigación
– Control de sistemas de tiempo real– Automatización del diseño– Sistemas de instrumentación distribuidos
• Trabajo actual/futuro
![Page 3: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/3.jpg)
Reunión con empresas del CEEI´04
Presentación del grupo
Datos del grupo TIC-157:•Puntuación científica en la última convocatoria del PAI: 15/25•Miembros del grupo:- José Ramón Balsas Almagro (Dpto.Informática-U.Jaén)
- José Miguel Cantón Gurrero (Junta de Andalucía)
- Juan Antonio Holgado Terriza (Dpto.LSI-U.Granada) - Manuel I. Capel Tuñón (Dpto.LSI-U.Granada) - Miguel J. Hornos Barranco (Dpto.LSI-U.Granada)
•Financiación actual del grupo:– Apoyo a grupos del PAI (III Plan Andaluz 2003/05): 5.067,80 EUR
![Page 4: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/4.jpg)
Reunión con empresas del CEEI´04
Resultados
Financiación de Proyectos:
•13 Mptas. (1994/97) “A programming Environment for the Development of Heterogeneous Distributed Systems ” (TIC94-0930-C02-02 )
•101.741 EUR (2003/06) Subproyecto I+D+i “DEHDMS”
del MCyT (2003)
0
1
2
3
4
5
6
7
2000 2001 2002 2003
Internacional
Nacional
Internas
Evolución del número de publicaciones
![Page 5: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/5.jpg)
Reunión con empresas del CEEI´04
Experiencia en la organización de actividades I+D
• Advanced Parallel Programming with Transputers (curso
bilingüe) 7 – 10 Marzo, 1995 (en colaboración con
Dr.A.Bakkers Twente University -NL-).
• Seminario: “Concurrent Programming” en el ForschunInstitut
fur Microprocessortechnik (University of Linz) Junio, 1998.
• Mathematical Modeling of Technical Processes ERASMUS -IP
project 9 -17 Julio, 2000; 2-13 Julio 2001. En cooperación
con Technical University of Kosice (República Eslovaca).
![Page 6: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/6.jpg)
Reunión con empresas del CEEI´04
Proyectos Actuales
• Control de sistemas de tiempo real
• Herramientas software de automatización
del diseño de sistemas de control
• Sistemas de instrumentación distribuidos
![Page 7: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/7.jpg)
Reunión con empresas del CEEI´04
Control de Sistemas de Tiempo Real
• Aplicación de álgebras de
procesos temporizadas al diseño
detallado
• Desarrollo de herramientas soft.
• Desarrollo automatizable en Java
con plataformas basadas en:
– Jini de Sun Microsystems
– csp.lang de CTJ (Twente U.)
– jcsp.lang de JCSP (U. of Kent)
Spanish-French Meeting (Zaragoza)
![Page 8: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/8.jpg)
Reunión con empresas del CEEI´04
Ejemplo de sistema desarrollado
UNIX
pipes
“Executable” CSP program
Control
Program
Interface
to the
simulator
(ASCII protocol)
simulator
The production cell case study
![Page 9: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/9.jpg)
Reunión con empresas del CEEI´04
Automatización del diseño de sistemas de control
• Implementación de herramientas software que ayuden a acortar la distancia entre especificación formal de sistemas de control y los modernos lenguajes de programación
• Formalización y verificación de las restricciones de tiempo real de los sistemas
• Integración efectiva de métodos de especificación y diseño:UML, Statecharts,…
![Page 10: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/10.jpg)
Reunión con empresas del CEEI´04
![Page 11: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/11.jpg)
Reunión con empresas del CEEI´04
Cliente
Servidor
Servidorempotrado
Puerto Serie
GPIB 488
CAN BUS
BUS IEEE 488
Web Cam
Servidor
Cliente
ClienteLAN
LAN
INTERNET
Sistemas de Instrumentación Distribuidos
![Page 12: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/12.jpg)
Reunión con empresas del CEEI´04
Sistemas de Instrumentación
Distribuidos• Falta estandarización del software de control de instrumentos
científicos; soluciones parciales GPIB (IEEE488), actualmente
• Sistemas de instrumentación en red (p.e. LabView de NI) son
licencias de propietario para plataformas concretas (Windows)
• Sistemas de desarrollo independientes con una arquitecturas
software abiertas, bien diseñadas y altamente modulares
• Sistemas usando tecnología middleware (DCE, Corba, Jini,):– Reconfiguración dinámica– Autoadaptabilidad– Predecibilidad (muy importante para mediciones en tiempo real)
Cliente
Servidor
Puerto Serie
GPIB 488
CAN BUS
BUS IEEE 488
Web Cam
Servidor
Cliente
ClienteLAN
LAN
INTERNET
![Page 13: Reunión con empresas del CEEI´04 Grupo de investigación Sistemas Concurrentes Dpto. de Lenguajes y Sistemas Informáticos Escuela Técnica Superior de Ingeniería.](https://reader033.fdocuments.es/reader033/viewer/2022061301/54d6e3534979596c658b55d0/html5/thumbnails/13.jpg)
Reunión con empresas del CEEI´04
Trabajo actual/futuro
• Aplicación de conceptos y métodos formales de especificación a las aplicaciones de Tiempo Real
• Desarrollo de herramientas software de automatización
• Aplicación de tecnologías middleware al desarrollo e implantación de sistemas de medición y control de aparatos científicos