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 Reunión con empresas del CEEI´04

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

Financiación de Proyectos: Reunión con empresas del CEEI´04 Resultados Evolución del número de publicaciones 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) 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

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) This is a third line of activity intended to give support to the work carried out in design automation of reactive systems and to explore the applications of the new concurrent oriented technologies ‘around Java’ to the development of high quality simulators for discrete and continous event systems which allow us to verify safety and timing requirements of these systems. Free available libraries, such as the referred in the above slide, give us the possibility of obtaining excellent 3D visualizations of simulated environments, like the production cell shown in the slide. Reunión con empresas del CEEI´04 Spanish-French Meeting (Zaragoza)

Ejemplo de sistema desarrollado “Executable” CSP program Control Program Interface to the simulator (ASCII protocol) simulator UNIX pipes Process algebras like CSP or CCS provide concise notations for obtaining a complete design of event based systems, reactive and real time systems. One such design can be verified using formal techniques like model checking or can be validated in a simulated environment. The system design can be systematically transformed into a executable program for several programming languages, like CML, Occam, etc. In our case we selected the programming language Java and several specific CSP-style programming libraries to implement the control program. The simulated environment, necessary to validate functional, safety and timing requirements of the control program, has been programmed with the Java on Time Synchronous Animation library. The simulator has two significant functions: to simulate physical components including internal controllers of each component, to visualize the movements of each physical component during the control program execution It is shown in the slide a screen dump of the working window of the Production Cell simulator which has been developed by the FZI in Karlsruhe as a benchmark example of real-time systems development. The control program has been combined with FZI simulator to a working prototype. 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,… Process algebras like CSP or CCS provide concise notations for obtaining a complete design of event based systems, reactive and real time systems. One such design can be verified using formal techniques like model checking or can be validated in a simulated environment. The system design can be systematically transformed into a executable program for several programming languages, like CML, Occam, etc. In our case we selected the programming language Java and several specific CSP-style programming libraries to implement the control program. The simulated environment, necessary to validate functional, safety and timing requirements of the control program, has been programmed with the Java on Time Synchronous Animation library. The simulator has two significant functions: to simulate physical components including internal controllers of each component, to visualize the movements of each physical component during the control program execution It is shown in the slide a screen dump of the working window of the Production Cell simulator which has been developed by the FZI in Karlsruhe as a benchmark example of real-time systems development. The control program has been combined with FZI simulator to a working prototype. Reunión con empresas del CEEI´04

Reunión con empresas del CEEI´04 Process algebras like CSP or CCS provide concise notations for obtaining a complete design of event based systems, reactive and real time systems. One such design can be verified using formal techniques like model checking or can be validated in a simulated environment. The system design can be systematically transformed into a executable program for several programming languages, like CML, Occam, etc. In our case we selected the programming language Java and several specific CSP-style programming libraries to implement the control program. The simulated environment, necessary to validate functional, safety and timing requirements of the control program, has been programmed with the Java on Time Synchronous Animation library. The simulator has two significant functions: to simulate physical components including internal controllers of each component, to visualize the movements of each physical component during the control program execution It is shown in the slide a screen dump of the working window of the Production Cell simulator which has been developed by the FZI in Karlsruhe as a benchmark example of real-time systems development. The control program has been combined with FZI simulator to a working prototype. Reunión con empresas del CEEI´04

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) Process algebras like CSP or CCS provide concise notations for obtaining a complete design of event based systems, reactive and real time systems. One such design can be verified using formal techniques like model checking or can be validated in a simulated environment. The system design can be systematically transformed into a executable program for several programming languages, like CML, Occam, etc. In our case we selected the programming language Java and several specific CSP-style programming libraries to implement the control program. The simulated environment, necessary to validate functional, safety and timing requirements of the control program, has been programmed with the Java on Time Synchronous Animation library. The simulator has two significant functions: to simulate physical components including internal controllers of each component, to visualize the movements of each physical component during the control program execution It is shown in the slide a screen dump of the working window of the Production Cell simulator which has been developed by the FZI in Karlsruhe as a benchmark example of real-time systems development. The control program has been combined with FZI simulator to a working prototype. 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 Reunión con empresas del CEEI´04