Real-Time Systems Group

Presentation
People
Publications
Tools

Publications

Chronologically, two different topics were the focus of the group's research. First, the topic was the finding of exact schedulability bounds for multiprocessors. Currently, the topic is the stochastic analysis of probabilistic real-time systems.

These are the most relevant publications in these topics.

Multiprocessor bounds

In journals
In conference proceedings
Technical Reports

Stochastic analysis

In journals
In conference proceedings
Technical Reports

Please, note that copyright and all rights therein are retained by authors or by other copyright holders. You may download and print the provided pdf files for your personal use only. You may not disseminate this material without the explicit permission of the copyright holder.

Multiprocessor bounds

In journals

[PDF] Utilization bounds for multiprocessor rate-monotonic scheduling. José María López, Manuel García, José Luis Díaz, and Daniel Fernando García. Real-Time Systems, vol. 24(1), pp. 5--28. 2003.
[PDF] Utilization Bounds for EDF Scheduling on Real-Time Multiprocessor Systems. José María López, José Luis Díaz, and Daniel Fernando García. Real-Time Systems, vol. 28, pp. 39--68. 2004.
[PDF] Minimum and Maximum Utilization Bounds for Multiprocessor Rate Monotonic Scheduling. José María López, José Luis Díaz, and Daniel Fernando García. IEEE Trans. on Parallel and Distributed Systems, vol. 15(7), pp. 642--653. 2004.

In conference proceedings

[PDF] Worst-Case Utilization Bound for EDF Scheduling on Real-Time Multiprocessor Systems. José María López, Manuel García, José Luis Díaz, and Daniel Fernando García. 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden. 2000.
[PDF] Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling. José María López, José Luis Díaz, and Daniel Fernando García. 13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. 2001.

Phd Theses and technical reports

[PDF] Análisis de planificabilidad basado en utilizaciones de sistemas de tiempo real implementados sobre multiprocesadores con téecnicas de particionado [in Spanish]. José María López. PhD. Thesis. Departamento de Informática. University of Oviedo. 2001.

Stochastic Analysis

In journals

[PDF] An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations [PREPRINT]. K. Kim, J. L. Díaz, L. Lo Bello, J. M. Lopez, C.-G. Lee, S. L. Min. Submitted to IEEE Trans. on Computers in 2003. The final version, published in 2005, has been substantially cut-down (see below).
[PDF] An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations. K. Kim, J. L. Díaz, L. Lo Bello, J. M. Lopez, C.-G. Lee, S. L. Min. IEEE Trans. on Computers, vol. 54(11), pp. 1460--1466. See also the preprint (above) which is 20 pages longer. 2005.
[PDF] Stochastic Analysis of Real-Time Systems under Preemptive Priority-Driven Scheduling [PREPRINT]. José María López, José Luis Díaz, Joaquín Entrialgo and Daniel Fernando García. Accepted for publication in Real-Time Systems Journal, to appear in 2008.

In conference proceedings

[PDF] Probabilistic Analysis of the Response Time in a Real-Time System. José Luis Díaz, José María López, and Daniel Fernando García. In Proc. of the 1st CARTS Workshop on Advanced Real-Time Technologies. Aranjuez, Spain. 2002.
[PDF] Stochastic Analysis of Periodic Real-Time Systems. J. L. Díaz, D. F. García, K. Kim, C.-G. Lee, L. Lo Bello, J. M. López, S. L. Min and O. Mirabella. In Proc. of the 23rd IEEE Real-Time Systems Symposium, pp. 289--300. Austin, Texas. 2002.
[PDF] Debugging Time Behavior of Probabilistic Real-Time Systems. Joaquín Entrialgo, Javier García, José L. Díaz, and Daniel F. García. In Proc. of the 1st International Workshop on Probabilistic Analysis Techniques for Real-Time and Embedded Systems (PARTES). Pisa, Italy. 2004.
[PDF] Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications. José L. Díaz, José M. López, Manuel García, Antonio M. Campos, Kanghee Kim and Lucia Lo Bello. In Proc. of the 25rd IEEE Real-Time Systems Symposium. Lisboa, Portugal. 2004.
[PDF] Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems. Joaquín Entrialgo, Javier García, José Luis Díaz and Daniel F. García. Proc. of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2007), pp. 183--192. Bellevue, Washington. 2007.

Phd Theses and technical reports

[PDF] Probabilistic Analysis of the Response Time in a Real-Time System. José Luis Díaz, and José María López. Technical report TR-01-PART. Departamento de Informática, University of Oviedo. 2001.
[PDF] Stochastic Analysis of the Steady-State Backlog in Periodical Real-Time Systems. José Luis Díaz, José María López and Daniel F. García. Technical report TR-03-SASS. Departamento de Informática, University of Oviedo. 2003.
[PDF] Técnicas estocásticas para el cálculo del tiempo de respuesta en sistemas de tiempo-real [in Spanish]. José Luis Díaz. PhD. Thesis. Departamento de Informática, University of Oviedo. 2003.
[PDF] An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems. Kanghee Kim, José Luis Díaz, Lucia Lo Bello, José María López, Chang-Gun Lee, Daniel F. García, Sang Lyul Min, and Orazio Mirabella. Technical report TR-04-AESA. Departamento de Informática, University of Oviedo. 2004.
[PDF] Safe extensions to the stochastic analysis of real-time systems. José Luis Díaz and José María López. Technical report TR-04-SESART. Departamento de Informática, University of Oviedo. 2004.
[PDF] Some Notes on Stochastic Analysis Using EDF Scheduling. José Luis Díaz and José María López. Technical report TR-07-SNSAUES. Departamento de Informática, University of Oviedo. 2007.