grupo de investigaci n sistemas concurrentes n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Grupo de investigación Sistemas Concurrentes PowerPoint Presentation
Download Presentation
Grupo de investigación Sistemas Concurrentes

Loading in 2 Seconds...

play fullscreen
1 / 13

Grupo de investigación Sistemas Concurrentes - PowerPoint PPT Presentation


  • 120 Views
  • Uploaded on

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 mcapel@ugr.es. Resumen. Presentación del grupo Resultados

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Grupo de investigación Sistemas Concurrentes' - jamal-weeks


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
grupo de investigaci n sistemas concurrentes
Grupo de investigaciónSistemas 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

mcapel@ugr.es

Reunión con empresas del CEEI´04

resumen
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
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
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)

Evolución del número de publicaciones

Reunión con empresas del CEEI´04

experiencia en la organizaci n de actividades i d
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
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
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)

Reunión con empresas del CEEI´04

Spanish-French Meeting (Zaragoza)

ejemplo de sistema desarrollado

“Executable” CSP program

Interface

to the

simulator

(ASCII protocol)

Control

Program

UNIX

pipes

Ejemplo de sistema desarrollado

simulator

The production cell case study

Reunión con empresas del CEEI´04

automatizaci n del dise o de sistemas de control
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

sistemas de instrumentaci n distribuidos
Sistemas de Instrumentación Distribuidos

Reunión con empresas del CEEI´04

sistemas de instrumentaci n distribuidos1
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)

Reunión con empresas del CEEI´04

trabajo actual futuro
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

Reunión con empresas del CEEI´04