Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling

Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes

2014

Abstract

This research paper deals with reconfigurable real-time systems to be adapted to their environment under user requirements. A reconfiguration scenario is a run-time software operation that allows the addition, removal and update of real-time OS tasks which can share resources and should meet corresponding deadlines. We propose a new Reconfigurable Priority Ceiling Protocol (denoted by RPCP) that avoids deadlocks after any reconfiguration scenario and changes the priorities of tasks in order to reduce their response and blocking times, and to meet their deadlines. This protocol requires the use of two virtual processors in order to guarantee the non-interruption of execution during the reconfiguration step. We develop a tool that encodes this protocol which is applied to a case study.

References

  1. Brennan, R. W., Fletcher, M., and Norrie, D. H. (2002). An agent-based approach to reconfiguration of real-time distributed control systems. Robotics and Automation, IEEE Transactions on, 18(4):444-451.
  2. Chen, M.-I. and Lin, K.-J. (1991). A priority ceiling protocol for multiple-instance resources. In Real-Time Systems Symposium, 1991. Proceedings., Twelfth, pages 140-149. IEEE.
  3. Colnaric, M. and Verber, D. (2007). Distributed Embedded Control Systems: Improving Dependability with Coherent Design. Springer.
  4. Farcas, E. (2006). Scheduling multi-mode real-time distributed components. PhD thesis, PhD thesis, Department of Computer Sciences, University of Salzburg.
  5. Gharbi, A., Gharsellaoui, H., Khalgui, M., and Valentini, A. (2011). Safety reconfiguration of embedded control systems.
  6. Gharbi, A., Khalgui, M., and Ben Ahmed, S. (2013). The embedded control system through real-time task. In Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on, pages 1-8. IEEE.
  7. Kalinsky, D. (2003). Basic concepts of real-time operating systems. LinuxDevices magazine, Nov.
  8. Khalgui, M., Mosbahi, O., Li, Z., and Hanisch, H.-M. (2011). Reconfiguration of distributed embeddedcontrol systems. Mechatronics, IEEE/ASME Transactions on, 16(4):684-694.
  9. Lee, I., Leung, J. Y., and Son, S. H. (2007). Handbook of real-time and embedded systems. CRC Press.
  10. Lehoczky, J., Sha, L., and Ding, Y. (1989). The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Real Time Systems Symposium, 1989., Proceedings., pages 166-171. IEEE.
  11. Lipari, G. and Bini, E. (2003). Resource partitioning among real-time applications. In Real-Time Systems, 2003. Proceedings. 15th Euromicro Conference on, pages 151-158. IEEE.
  12. Liu, C. L. and Layland, J. W. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM), 20(1):46-61.
  13. Liu, F., Narayanan, A., and Bai, Q. (2000). Real-time systems. Citeseer.
  14. Mok, A. K., Feng, X., and Chen, D. (2001). Resource partition for real-time systems. In Real-Time Technology and Applications Symposium, 2001. Proceedings. Seventh IEEE, pages 75-84. IEEE.
  15. Pedro, P. and Burns, A. (1998). Schedulability analysis for mode changes in flexible real-time systems. In Real-Time Systems, 1998. Proceedings. 10th Euromicro Workshop on, pages 172-179. IEEE.
  16. Real, J. and Crespo, A. (2004). Mode change protocols for real-time systems: A survey and a new proposal. Real-time systems, 26(2):161-197.
  17. Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. (1989). Mode change protocols for priority-driven preemptive scheduling. Real-Time Systems, 1(3):243- 264.
  18. Sha, L., Rajkumar, R., and Lehoczky, J. P. (1990). Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on computers, 39(9):1175-1185.
  19. Singhoff, F., Legrand, J., Nana, L., and Marcé, L. (2004). Cheddar: a flexible real time scheduling framework. In ACM SIGAda Ada Letters, volume 24, pages 1-8. ACM.
  20. Stankovic, J. A. (1996). Real-time and embedded systems. ACM Computing Surveys (CSUR), 28(1):205-208.
  21. Stewart, D. B., Volpe, R. A., and Khosla, P. K. (1997). Design of dynamically reconfigurable real-time software using port-based objects. Software Engineering, IEEE Transactions on, 23(12):759-776.
  22. Stoimenov, N., Perathoner, S., and Thiele, L. (2009). Reliable mode changes in real-time systems with fixed priority or edf scheduling. In proceedings of the Conference on Design, Automation and Test in Europe, pages 99-104. European Design and Automation Association.
  23. Tindell, K. and Alonso, A. (1996). A very simple protocol for mode changes in priority preemptive systems. Universidad Politécnica de Madrid, Tech. Rep.
  24. Tindell, K. W., Burns, A., and Wellings, A. J. (1992). Mode changes in priority preemptively scheduled systems. In Real-Time Systems Symposium, 1992, pages 100- 109. IEEE.
  25. Tokuda, H., Nakajima, T., and Rao, P. (1990). Real-time mach: Towards a predictable real-time system. In USENIX Mach Symposium, pages 73-82.
  26. Wang, J.-C., Chiang, H.-D., and Darling, G. R. (1995). An efficient algorithm for real-time network reconfiguration in large scale unbalanced distribution systems. In Power Industry Computer Application Conference, 1995. Conference Proceedings., 1995 IEEE, pages 510-516. IEEE.
Download


Paper Citation


in Harvard Style

Gasmi M., Mosbahi O., Khalgui M. and Gomes L. (2014). Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling . In Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-039-0, pages 42-52. DOI: 10.5220/0005060900420052


in Bibtex Style

@conference{icinco14,
author={Maroua Gasmi and Olfa Mosbahi and Mohamed Khalgui and Luis Gomes},
title={Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling},
booktitle={Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2014},
pages={42-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005060900420052},
isbn={978-989-758-039-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling
SN - 978-989-758-039-0
AU - Gasmi M.
AU - Mosbahi O.
AU - Khalgui M.
AU - Gomes L.
PY - 2014
SP - 42
EP - 52
DO - 10.5220/0005060900420052