grupo de investigación sistemas concurrentes
DESCRIPTION
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 Granada http://lsi.ugr.es/~sc [email protected]. Resumen. Presentación del grupo Resultados - PowerPoint PPT PresentationTRANSCRIPT
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
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
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
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
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).
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
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)
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
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,…
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
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
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