Skip to main content
SpringerLink
Log in

Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration

  • Conference paper
  • First Online:
Informatics in Control, Automation and Robotics

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 370))

Abstract

Considerable research has been performed in applying reconfiguration scenarios to real-time systems at run-time. In fact, a reconfiguration scenario is a software operation that allows the addition, removal and update of real-time OS tasks which can share resources and are generally obliged to meet corresponding deadlines according to user requirements. Although, applying such scenarios has several advantageous consequences behind, it can have a severe impact on the real-time aspect within the system. The proposed solution is a protocol called Reconfigurable Priority Ceiling Protocol (denoted by RPCP). This protocol avoids deadlocks after any reconfiguration scenario and changes the priorities of tasks in order to reduce their response and blocking times to meet their deadlines. This protocol requires the use of two virtual processors in order to guarantee the non-interruption of execution during any reconfiguration step. A tool is developed to encode this protocol and is applied to a case study.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Brennan, R.W., Fletcher, M., Norrie, D.H.: An agent-based approach to reconfiguration of real-time distributed control systems. IEEE Trans. Robot. Autom. 18(4), 444–451 (2002)

    Article  Google Scholar 

  2. Chen, M.I., Lin, K.J.: A priority ceiling protocol for multiple-instance resources. In: Twelfth Proceedings on Real-Time Systems Symposium, pp. 140–149. IEEE (1991)

    Google Scholar 

  3. Colnaric, M., Verber, D.: Distributed Embedded Control Systems: Improving Dependability with Coherent Design. Springer (2007)

    Google Scholar 

  4. Farcas, E.: Scheduling multi-mode real-time distributed components. Ph.D. thesis, Department of Computer Sciences, University of Salzburg (2006)

    Google Scholar 

  5. Gasmi, M., Mosbahi, O., Khalgui, M., Gomes, L.: Reconfigurable priority ceiling protocol—under rate monotonic based real-time scheduling. In: ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, vol. 1, pp. 42–52 (2014)

    Google Scholar 

  6. Gharbi, A., Gharsellaoui, H., Khalgui, M., Valentini, A.: Safety Reconfiguration of Embedded Control Systems (2011)

    Google Scholar 

  7. Gharbi, A., Khalgui, M., Ben Ahmed, S.: The embedded control system through real-time task. In: 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), pp. 1–8. IEEE (2013)

    Google Scholar 

  8. Kalinsky, D.: Basic concepts of real-time operating systems. LinuxDevices Mag. (2003)

    Google Scholar 

  9. Khalgui, M., Mosbahi, O., Li, Z., Hanisch, H.M.: Reconfiguration of distributed embedded-control systems. IEEE/ASME Trans. Mechatron. 16(4), 684–694 (2011)

    Article  Google Scholar 

  10. Lee, I., Leung, J.Y., Son, S.H.: Handbook of Real-Time and Embedded Systems. CRC Press (2007)

    Google Scholar 

  11. Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Proceedings of the Real Time Systems Symposium, pp. 166–171. IEEE (1989)

    Google Scholar 

  12. Lipari, G., Bini, E.: Resource partitioning among real-time applications. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems, pp. 151–158. IEEE (2003)

    Google Scholar 

  13. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  14. Liu, F., Narayanan, A., Bai, Q.: Real-time systems. Citeseer (2000)

    Google Scholar 

  15. Mok, A.K., Feng, X., Chen, D.: Resource partition for real-time systems. In: Proceedings of the Seventh IEEE Real-Time Technology and Applications Symposium, pp. 75–84. IEEE (2001)

    Google Scholar 

  16. Pedro, P., Burns, A.: Schedulability analysis for mode changes in flexible real-time systems. In: Proceedings of the 10th Euromicro Workshop on Real-Time Systems, pp. 172–179. IEEE (1998)

    Google Scholar 

  17. Real, J., Crespo, A.: Mode change protocols for real-time systems: a survey and a new proposal. Real-Time Syst. 26(2), 161–197 (2004)

    Article  MATH  Google Scholar 

  18. Sha, L., Rajkumar, R., Lehoczky, J., Ramamritham, K.: Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. 1(3), 243–264 (1989)

    Article  Google Scholar 

  19. Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175–1185 (1990)

    Article  MathSciNet  Google Scholar 

  20. Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: ACM SIGAda Ada Letters. vol. 24, pp. 1–8. ACM (2004)

    Google Scholar 

  21. Stankovic, J.A.: Real-time and embedded systems. ACM Comput. Surv. (CSUR) 28(1), 205–208 (1996)

    Article  Google Scholar 

  22. Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Trans. Softw. Eng. 23(12), 759–776 (1997)

    Article  Google Scholar 

  23. Stoimenov, N., Perathoner, S., Thiele, L.: 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, pp. 99–104. European Design and Automation Association (2009)

    Google Scholar 

  24. Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid (1996)

    Google Scholar 

  25. Tindell, K.W., Burns, A., Wellings, A.J.: Mode changes in priority preemptively scheduled systems. In: Real-Time Systems Symposium, pp. 100–109. IEEE (1992)

    Google Scholar 

  26. Tokuda, H., Nakajima, T., Rao, P.: Real-time mach: towards a predictable real-time system. In: USENIX Mach Symposium, pp. 73–82 (1990)

    Google Scholar 

  27. Wang, J.C., Chiang, H.D., Darling, G.R.: An efficient algorithm for real-time network reconfiguration in large scale unbalanced distribution systems. In: IEEE Conference Proceedings on Power Industry Computer Application Conference, pp. 510–516. IEEE (1995)

    Google Scholar 

Download references

Acknowledgments

This chapter is a collaboration between LISI Lab (INSAT at University of Carthage in Tunisia), PASRI (Ministry of High Study and Research in Tunisia) and Universidade Nova de Lisboa in Portugal. It is financially supported as a MOBIDOC grant from the European Commission. We thank Mr. Wael Bouslama for his fruitful collaboration in the experimental part.

Author information

Authors and Affiliations

  1. Faculty of Science of Tunis, University Tunis El Manar, Tunis, Tunisia

    Maroua Gasmi

  2. LISI Lab, INSAT Institute, University of Carthage, Tunis, Tunisia

    Maroua Gasmi, Olfa Mosbahi & Mohamed Khalgui

  3. Universidade Nova de Lisboa, Lisbon, Portugal

    Luis Gomes

Authors
  1. Maroua Gasmi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olfa Mosbahi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mohamed Khalgui
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Luis Gomes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maroua Gasmi .

Editor information

Editors and Affiliations

  1. Polytechnic Institute of Setúbal INSTICC, Setúbal, Portugal

    Joaquim Filipe

  2. Ford Research & Adv. Engineering, Dearborn, Michigan, USA

    Oleg Gusikhin

  3. Univ Paris-Est Creteil (UPEC), Créteil, France

    Kurosh Madani

  4. Carleton University, Mechanical and Aerospace Engineering, Ottawa, Ontario, Canada

    Jurek Sasiadek

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Gasmi, M., Mosbahi, O., Khalgui, M., Gomes, L. (2016). Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. In: Filipe, J., Gusikhin, O., Madani, K., Sasiadek, J. (eds) Informatics in Control, Automation and Robotics. Lecture Notes in Electrical Engineering, vol 370. Springer, Cham. https://doi.org/10.1007/978-3-319-26453-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-26453-0_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26451-6

  • Online ISBN: 978-3-319-26453-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation