Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica...

26
Centro de Investigación y Estudios Evanzados del IPN Departamento de Engeniería Eléctrica Sección de Computación Para ver disponer un descom Roberto M. Linares Zamora Cinvestav- IPN Para ver e disponer d un descompre “Desarrollo de una herramienta en Matlab sobre un kernel multitareas para simulación de un sistema de control en tiempo real” Tesista: Roberto Manuel Linares Zamora Director de tesis: Dr. Pedro Mejía Álvarez Co-Asesor de tesis: Dr. Alberto Soria López 12 de Octubre de 2004 Tesis:

Transcript of Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica...

Page 1: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Centro de Investigación y Estudios Evanzados del IPNDepartamento de Engeniería Eléctrica

Sección de Computación

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Roberto M. Linares ZamoraCinvestav- IPN

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

“Desarrollo de una herramienta en Matlab sobre un kernel multitareas para

simulación de un sistema de control en tiempo real”

Tesista: Roberto Manuel Linares ZamoraDirector de tesis: Dr. Pedro Mejía Álvarez

Co-Asesor de tesis: Dr. Alberto Soria López12 de Octubre de 2004

Tesis:

Page 2: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Contenido:

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Roberto M. Linares ZamoraCinvestav- IPN

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Marco General Antecedentes Planteamiento del

problema Propuesta Objetivo General Objetivos Particulares Metodología Calendario Resultados Esperados Referencias

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 3: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Marco General (1/5)

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Un sistema de tiempo real es un sistema de procesamiento de información el cual tiene que responder a estímulos de entrada generados externamente en un período de tiempo finito y específico

•Estricto cumplimiento de tiempos, o plazos de respuesta

•Las tareas son la unidad de cómputo a ser planificada y ejecutada

•Plazo de respuesta definido por su aplicación

•Un STR maneja variables de procesos externos (E/S)

•Concurrencia. El sistema debe resolver distintos problemas a la vez (||)

•Un STR responde de manera predecible a estímulos externos impredecibles

Page 4: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Marco General (2/5)

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

SISTEMAS DE CONTROLCombinación sus componentes actúan conjuntamente para alcanzar un objetivo particular.Objetivo es el control manual o automático de cierta cantidad o variable física.

Entrada: Estímulo, excitación o mandato aplicado para producir una respuesta específica del sistema.

Salida: Respuesta real del sistema. Puede coincidir o no con la respuesta del sistema, implícita en la entrada correspondiente

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Tipo de control:•Lazo abierto: Control independiente de la salida y de las variables del sistema (por ejemplo una tostadora).•Lazo cerrado: Control dependiente de la salida y/o de las variables del sistema (por ejemplo un sistema de aire acondicionado).

Page 5: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Marco General (3/5)

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Los recientes sistemas de control son subsistemas de un sistema complejo, donde el componente básico de control es un microprocesador que usa un kernel de tiempo real o un sistema operativo en timepo real.

Page 6: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Marco General (4/5)

Las técnicas de tiempo real aún no estan bien definidas en los sistemas de control, ya que los microprocesadores tienen que compartir recursos y no se puede garantizar el tiempo de ejecución de cada tarea.

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 7: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Marco General (5/5)El diseño de un sistema de control en tiempo real es esencialmente un problema de co-

diseño, debido a que las decisiones hechas en tiempo real afectan al diseño de control y viceversa.

Esta combinación de co-diseño crea la posibilidad de desarrollar sistemas más integrados, flexibles y dinámicos.

La integración de estos dos enfoques requiere de nuevas herramientas para su análisis, diseño e implementación

Page 8: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Antecedentes (1/2)

Los sistemas de control en tiempo real son tradicionalmente diseñados en base a dos enfoques de la ingeniería.

La teoría de control desarrolla modelos para plantas que va a ser controladas por medio del diseño de una ley de control y su prueba en una simulación.

La teoría de sistemas en tiempo real desarrolla un algoritmo de control para implementar, y configurar el sistema en tiempo real, por medio de la asignación de prioridades, fin de plazo (deadlines), periodos, etc.

Page 9: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Antecedentes (2/2)

SCTR de autosSCTR de plantas

eléctricasSCTR aéreosSCTR para plantas

nucleares

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 10: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Definición del problema (1/2)

En la mayor parte de los casos el control es ejecutado periódicamente, enfocándose solamente en el dominio del problema sin preocuparse de cómo la planificación afecta al lazo de control.

la latencia de entrada y salida el periodo retardo del tiempo de computo

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 11: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Se requiere de nuevas herramientas para su análisis, diseño, simulación e implementación.

Poco soporte para el manejo de interrupciones.

Ambiente grafico del modelo de control y limitado para el manejo de tiempos de ejecución

Manejo de sobrecarga de las tareas, donde se cuestiona ¿Qué pasa si el control de tareas no termina a su fin de plazo?

Peor caso del tiempo de ejecución.

Definición del problema (2/2)

Page 12: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Trabajo Relacionado (1/2)

[Liu and Layland, 1973], suponen que la E/S es representada periódicamente por las funciones del hardware, introduciendo retrasos en todos los lazos cerrados del control sobre la computadora.

STRESS [Audsley et al., 1994] y DRTSS [Storch and Liu, 1996], herramientas para la simulación de la planificación en tiempo real

[Seto et al., 1996], donde la tasa de muestreo de un conjunto de controladores que comparten el mismo CPU, es calculada usando las métricas de control estándar.

Page 13: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

[Eker, 1999], prototipo de una herramienta desarrollada en Matlab, la cual tenia poco soporte para el manejo de interrupciones.

[Palopoli et al., 2000], RTSIM simulador de planificación en tiempo real, desarrollado en C++.

[Roberto Saco, Eduardo Pires, Carlos Godfrid, 2002], laboratorio de control en tiempo real.

[A. Cervin, 2003], donde la teoría de control y la teoría de sistemas en tiempo real se conjuntan para crear las herramientas TrueTime y Jitterbug.

[Raimund Kirner, Roland Lang, 2004], WCET simulación del peorcaso, Matlab/Simulink.

Trabajo Relacionado (2/2)

Page 14: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Propuesta (1/2) La propuesta de esta tesis es el desarrollo de una herramienta

visual en Matlab sobre un kernel multitareas para simular sistemas de control en tiempo real. Esta herramienta tiene como objetivo auxiliar el desarrollo de co-diseños de sistemas de control y planificación en tiempo real.

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 15: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Propuesta (2/2)

La parte fundamental del desarrollo de la tesis se enfoca en aprovechar las ventajas de Matlab/Simulink para simular sistemas de control fuera del ambiente de Matlab, que permitan un análisis más flexible del comportamiento del algoritmo de control y su interacción entre la planificación y el control de tareas.

Funciones de C/C++ Funciones de Matlab Diagramas de bloques de Simulink

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 16: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Objetivo General

Generar una herramienta de software para simular un sistema de control en tiempo real desarrollada en Matlab/Simulink sobre un kernel multitareas.

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Page 17: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Objetivos Específicos

Desarrollar una conexión entre el código de Matlab/Simulink y el kernel de tiempo real.

Simular un sistema de control en tiempo real aplicando técnicas de planificación de tareas sobre un kernel de tiempo real

Ejecutar pruebas de desempeño en varios procesos sobre el kernel de tiempo real, simulando problemas relacionados con la integracion de tiempos en un sistema de control.

Page 18: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Metodología (1/3)

La metodología a seguir para el desarrollo de este trabajo de tesis:

Recopilación bibliografíca de los artículos relacionados y revisión del estado del arte. Realizar un estudio de las características de simulación de procesos de control y tiempo real en Simulink.

Identificar herramientas para convertir programas de MATLAB en componentes que puedan ser usados fuera del ambiente de MATLAB.

Desarrollar un prototipo experimental con un sistema de control de lazo cerrado sobre el kernel de tiempo real sin algoritmos de planificación y recopilación de datos

Page 19: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Metodología (2/3)

Realizar pruebas del prototipo con un sistema de control en tiempo real, utilizando los algoritmos de planificación conocidos y recopilación de datos.

Generación de la versión de prueba sobre Simulink de la herramienta de simulación y generación de reportes.

Pruebas de la herramienta de simulación.

Page 20: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Metodología (3/3)

Simular y analizar el peor caso del tiempo de ejecución para el sistema de control en tiempo real y pruebas finales.

Escritura de la tesis.

Generar reportes de los resultados obtenidos para publicaciones.

Page 21: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Calendario

Actividades SEP OCT NOV DIC ENE FEB

1.- Recopilación bibliografíca            

2.- Identificación de herramientas            

3.- Generación del Prototipo            

4.- Pruebas con el Prototipo            

5.- Generación de la versión de Prueba            

6.- Estudio de PCTE            

7.- Pruebas de la herramienta            

8.- Escritura de la Tesis            

             

             

Calendario (2004-2005)

Periodo (Sep –Feb)

Page 22: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

CalendarioCalendario (2005)

Periodo (Mar - Sep)

Actividades MAR ABR MAY JUN JUL AGO SEP

1.- Recopilación bibliografíca 6.- Estudio de PCTE (Continuación)

7.- Pruebas de la herramienta y reportes. 8.- Escritura de la Tesis (Continuación) 9.- Revisión, Correcciones y Entrega de Tesis 10.- Presentación

Page 23: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Resultados EsperadosDel presente trabajo de tesis lo que se pretende obtener:

Generar una herramienta para simular un sistema de control de lazo cerrado sobre un kernel de tiempo real. Esta herramienta se podrá ejecutar sobre una máquina virtual de Tiempo Real (kernel para DOS) con un enfoque de programación de concurrencia, tratando el problema de exclusión mutua, con solución mediante semáforos.

También generar reportes para publicar en por lo menos en un foro nacional y la revista:Journal of Real Time Systems.

Page 24: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Referencias[1] Johan Eker: “A Matllab Toolbox for Real-Time and Control Systems Co-Desing”. 6ht International Conference on Real-Time Computing Systems and Applications, Hong Kong, P.R. China, December 1999

[2] Karl-Erik Årzen, A. Cervin: “An Introduction to Control and Scheduling Co-Desing” 39th IEEE Conference on Descision and Control, Sydney, Australia, December 2000

[3] R. Kirner, R. Lang, P. Puschner, C. Temple.: “Integrating WCET Analysis into a Matlab/Simulink Simulation Model”. 16th IFAC Workshop on Distributed Computer Systems, Sydney, Australia, November 2000.

[4] Anton Cervin, Dan Henriksson, Bo Lincoln.: “Jitterbug and True Time: Analysis Tools for Real-Time Control Systems ”.2nd Workshop on Real-Time Tools, Copenhagen, Denmark, August, 2002

Page 25: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Referencias

[5] Roberto Saco, Eduardo Pires, Carlos Godfrid.:”Real Time Controlled Laboratory Plant for Control ”. 32nd ASEE/IEEE Frontiers in Educantion Conference, Boston, MA, November 2002.

[6] Dan Henriksson, Karl-Erik Årzen. : “On Dynamic Real-Time Scheduling of Model Predictive Controllers”. 41st IEEE Conference on Decision and Control, Las Vegas, Nevada, December 2002.

[7] Anton Cervin, Dan Henriksson, Bo Lincoln.: “Analysis and Simulation of Controller Timing ”. IEEE Control Systems Magazine 2003.

[8] Tesis: Antón Cervin, “Integrated Control and Real-Time Scheduling”. Department of Automatic Contorl Lund Institute of Technology, Lund, April 2003

Page 26: Centro de Investigaci ó n y Estudios Evanzados del IPN Departamento de Engenier í a El é ctrica Secci ó n de Computaci ó n Roberto M. Linares Zamora Cinvestav-

Para ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (LZW).

Cinvestav- IPNPara ver esta película, debedisponer de QuickTime™ y deun descompresor TIFF (sin comprimir).

Roberto M. Linares Zamora

Referencias

[9] Raimund Kirner, Roland Lang: “WCET Analysis for system Modeled in Matlab/Simulink”. Vienna University of Technology, Austria 2004

[10] Tesis: Oscar Miranda Gómez: “Kernel de tiempo real para el control de procesos”. Maestría en Ciencias – CINVESTAV – Departamento de Ingeniería Eléctrica – Sección de Computación. Marzo 2004.