Skip to main content
Top

2016 | OriginalPaper | Chapter

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

Authors : Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes

Published in: Informatics in Control, Automation and Robotics

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference 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)CrossRef 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)CrossRef
2.
go back to reference 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) 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)
3.
go back to reference Colnaric, M., Verber, D.: Distributed Embedded Control Systems: Improving Dependability with Coherent Design. Springer (2007) Colnaric, M., Verber, D.: Distributed Embedded Control Systems: Improving Dependability with Coherent Design. Springer (2007)
4.
go back to reference Farcas, E.: Scheduling multi-mode real-time distributed components. Ph.D. thesis, Department of Computer Sciences, University of Salzburg (2006) Farcas, E.: Scheduling multi-mode real-time distributed components. Ph.D. thesis, Department of Computer Sciences, University of Salzburg (2006)
5.
go back to reference 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) 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)
6.
go back to reference Gharbi, A., Gharsellaoui, H., Khalgui, M., Valentini, A.: Safety Reconfiguration of Embedded Control Systems (2011) Gharbi, A., Gharsellaoui, H., Khalgui, M., Valentini, A.: Safety Reconfiguration of Embedded Control Systems (2011)
7.
go back to reference 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) 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)
8.
go back to reference Kalinsky, D.: Basic concepts of real-time operating systems. LinuxDevices Mag. (2003) Kalinsky, D.: Basic concepts of real-time operating systems. LinuxDevices Mag. (2003)
9.
go back to reference Khalgui, M., Mosbahi, O., Li, Z., Hanisch, H.M.: Reconfiguration of distributed embedded-control systems. IEEE/ASME Trans. Mechatron. 16(4), 684–694 (2011)CrossRef Khalgui, M., Mosbahi, O., Li, Z., Hanisch, H.M.: Reconfiguration of distributed embedded-control systems. IEEE/ASME Trans. Mechatron. 16(4), 684–694 (2011)CrossRef
10.
go back to reference Lee, I., Leung, J.Y., Son, S.H.: Handbook of Real-Time and Embedded Systems. CRC Press (2007) Lee, I., Leung, J.Y., Son, S.H.: Handbook of Real-Time and Embedded Systems. CRC Press (2007)
11.
go back to reference 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) 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)
12.
go back to reference 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) 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)
13.
go back to reference Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973)CrossRefMATHMathSciNet Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973)CrossRefMATHMathSciNet
14.
go back to reference Liu, F., Narayanan, A., Bai, Q.: Real-time systems. Citeseer (2000) Liu, F., Narayanan, A., Bai, Q.: Real-time systems. Citeseer (2000)
15.
go back to reference 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) 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)
16.
go back to reference 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) 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)
17.
go back to reference 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)CrossRefMATH 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)CrossRefMATH
18.
go back to reference Sha, L., Rajkumar, R., Lehoczky, J., Ramamritham, K.: Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. 1(3), 243–264 (1989)CrossRef Sha, L., Rajkumar, R., Lehoczky, J., Ramamritham, K.: Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. 1(3), 243–264 (1989)CrossRef
19.
go back to reference Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175–1185 (1990)CrossRefMathSciNet Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175–1185 (1990)CrossRefMathSciNet
20.
go back to reference 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) 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)
21.
go back to reference Stankovic, J.A.: Real-time and embedded systems. ACM Comput. Surv. (CSUR) 28(1), 205–208 (1996)CrossRef Stankovic, J.A.: Real-time and embedded systems. ACM Comput. Surv. (CSUR) 28(1), 205–208 (1996)CrossRef
22.
go back to reference 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)CrossRef 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)CrossRef
23.
go back to reference 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) 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)
24.
go back to reference Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid (1996) Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid (1996)
25.
go back to reference 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) 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)
26.
go back to reference Tokuda, H., Nakajima, T., Rao, P.: Real-time mach: towards a predictable real-time system. In: USENIX Mach Symposium, pp. 73–82 (1990) Tokuda, H., Nakajima, T., Rao, P.: Real-time mach: towards a predictable real-time system. In: USENIX Mach Symposium, pp. 73–82 (1990)
27.
go back to reference 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) 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)
Metadata
Title
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration
Authors
Maroua Gasmi
Olfa Mosbahi
Mohamed Khalgui
Luis Gomes
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-26453-0_2