Resumen de tesis doctoral

Modelo para Tiempos de Arribo de Tareas en Tiempo Real Concurrentes

Arrival Times Model for Concurrent Real–time Tasks

Graduado: Daniel Cruz Pérez
Centro de Investigación en Computación – I.P.N.
Centro de Investigación en Ciencia Aplicada y Tecnología Avanzada unidad Legaria – I.P.N.
E–mail:dcruzp@yahoo.com

Director de Tesis: Dr. José de Jesús Medel Juárez
Centro de Investigación en Computación – I.P.N.
Centro de Investigación en Ciencia Aplicada y Tecnología Avanzada unidad Legaria – I.P.N.
E–mail: jjmedelj@yahoo.com.mx

Director de Tesis: Dr. Pedro Guevara López
Dirección de Gestión del Capital Humano – I.P.N.
Centro de Investigación en Ciencia Aplicada y Tecnología Avanzada unidad Legaria – I.P.N.
E–mail: pguevara@ipn.mx

Graduado el 14 de Diciembre de 2007

Resumen

Un Sistema en Tiempo Real (STR) implantado en una computadora digital, interactúa con el mundo físico a través de acondicionamientos de variables (sensores, actuadores convertidores Analógico/Digital A/D y Digital/Analógico D/A) y procesa sus peticiones mediante tareas concurrentes con restricciones temporales. En general cada una de las variables del proceso dinámico (entradas, salidas y estados) es relacionada con una Tarea en Tiempo Real específica; si se trata de un sistema multivariable, entonces se tendrá un conjunto de Tareas en Tiempo Real por cada arreglo de variables donde cada una tendrá que dar respuestas correctas acotadas temporálmente. En este trabajo se desarrolla un modelo matemático para la representación de tiempos de arribo de Tareas en Tiempo Real Concurrentes, en donde se incluyen las características generales del comportamiento de los arribos descritos por varios autores. Adicionalmente se propone un criterio para dar la estabilidad del sistema.

Palabras clave: Sistema en tiempo Real, Tarea, Evento discreto, Función de transición, Interarribo.

Abstract

A Real–time system implemented in a computer, interacts with the real physical world through variables conditioners (sensors, actuators, D/A and A/D converters) and processes each processing need as concurrent tasks with temporal deadlines. In general each variable of the dynamic process (inputs, outputs and states) is related with a specific task; if it is about a multivariable system then there is going to be a set of tasks for each variable where each will have to be answered correctly with temporal bounds. In this paper a mathematical model for the representation of arrival times of concurrent Real–time tasks is treated. Additionally a stability analysis is proposed.

Keywords: Real–time system, Task, Discrete event system, Transition function, Inter–arrivals.

DESCARGAR ARTÍCULO EN FORMATO PDF

Bibliografía

1. Adas A. (1997), Traffic Models in Broadband Networks.        [ Links ]

2. Abdelzaher Tarek F. (2000), A Schedulable Utilization Bound for Aperiodic Tasks.        [ Links ]

3. Aydin H., Melhem R., Mossé D. y Mejia–Alvarez P. (1999), Optimal Reward–Based Scheduling for Periodic Real–Time Tasks.        [ Links ]

4. Balbastre–Betoret P. (2002), Modelo De Tareas Para La Integración Del Control Y La Planificación En Sistemas De Tiempo Real, tesis doctoral, Universidad Politécnica de Valencia.        [ Links ]

5. Baruah S.K., Mok A. K. y Rosier L. E. (1990), Preemtively Scheduling Hard–Real–Time Sporadic Tasks on One Processor, Real–Time Systems Symposium, IEEE Computer Society Press.        [ Links ]

6. Choi S. y Agrawala A. K. (1997), Scheduling Aperiodic and Sporadic Tasks in Hard Real–Time Systems.        [ Links ]

7. Calandrino, Baumberger, Li, Hahn y Anderson (2007), Soft Real–time scheduling on performance asymetric multicore platforms, Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium.        [ Links ]

8. Cervin A. y Eker J., A Computational Model for Real–Time Control Tasks. Department of Automatic Control, Lund Institute of Technology, Sweden.        [ Links ]

9. Dey J. K., Kurose J., Towsley D.(1993), On–Line Processor Scheduling for class of IRIS (Increasing Reward with Increasing Service) Real–Time Tasks. Computer Networks and Performance Evaluation Laboratory, Department of Computer Science, University of Masachusetts, Amherst.        [ Links ]

10. Doob L. J. (1953), Stochastic Processes, Willey, New York.        [ Links ]

11. Gardner M. K. y Liu J. W. S. (1999), Performance of Algorithms for Scheduling Real–Time Systems with Overrun and Overload.        [ Links ]

12. Guevara–López P. y Medel–Juárez J. J., Flores–Rueda A. ( 2002), Modelo ARMA para caracterizar Tareas en Tiempo Real.        [ Links ]

13. Haykin S. (2002), Adaptive Filter Theory, Prentice Hall Information and System science series.        [ Links ]

14. Jeffay K. (1992), Scheduling Sporadic Tasks with Shared Resources in Hard–Real–Time Systems.        [ Links ]

15. Jeffay K., Becker D. y Bennett D. (1994), The Design, Implementation and Use of a Sporadic Tasking Model.        [ Links ]

16. Jeffay K., Stanat D. F. y Martel C. U. (1991), On Non–Preemptive Scheduling of Periodic and Sporadic Tasks.        [ Links ]

17. Lehoczky J. P. (1996), Real Time Queueing Theory. IEEE.        [ Links ]

18. Liu C. y Layland J. (1973), Scheduling Algorithms for multiprogramming in Hard Real–Time Environments.        [ Links ]

19. Lauzac S., Malheim R., Mossé D., An Improved Rate Monotonic Admission and its Aplications.        [ Links ]

20. Mejía–Alvarez P., Melheim R., Mossé D., Aydin H. (2003), An Incremental Server for Scheduling Overloaded Real–Time Systems.        [ Links ]

21. Moraes R.; Vasques F. Portigal P. Fonseca J. A. (2006), VTP–CSMA: A Virtual Tokem Passing Aproach for Real–Time Communication in IEEE 802.11 Wireless Networks.        [ Links ]

22. Mok A. K. y Chen D. (1997–1), A General Model For Real–Time Tasks. Technical Report , University of Software Vol. 23 No. 19.        [ Links ]

23. Mok A. K. y Chen D. (1997–2), A Multiframe Model for Real Time Tasks, IEEE Transactions.        [ Links ]

24. Nyquist H. (1928), "Certain Topics in Telegraph Transmission Theory". AIEE Transactions, USA.        [ Links ]

25. Ogata K. (1998), Sistemas de Control en Tiempo Discreto, Segunda edición.        [ Links ]

26. Passino K. M. y Burgess K. L. (1998), Stability Analysis of Discrete Event Systems, John Wiley and Sons, Inc.        [ Links ]

27. Ramanathan P.y Kang D.(1994), A Generalized Guarantee Model For Servicing Sporadic Tasks with Firm Deadlines. Proceedings of the IEEE.        [ Links ]

28. Spuri M. y Buttazzo G. (1996), Scheduling Aperiodic Tasks in Dynamic Priority Systems. ITP An Intenational Thomson Publishing Company.        [ Links ]

29. Thomadakis M. E. (1999), The Mixed Task Scheduling Problem in Open Computing Systems. presentation, Second Annual Workshop on Computer Science and Engineering Program , held at the Computer Science Department, Texas A & M University, College Station, TX 77843–3112, on April 8.        [ Links ]

30. Van Tan, Dae–Seung, Myung–Kuyn, Myeong–Jae (2006), Hard and soft real time based on switched Ethernet, The 1^st International Forum on Strategic Technology, ISBN: 1–4244–0427–4.        [ Links ]