Transparent synchronization protocols for compositional real-time systems

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 2, 2012, Pages 322-336

  Van Den Heuvel, Martijn M H P ^a   Bril, Reinder J ^a   Lukkien, Johan J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Hierarchical scheduling framework (HSF); operating systems; protocol transparency; resource sharing

Indexed keywords

COMPLEX REAL-TIME SYSTEMS; DEFERRABLE SERVERS; EFFICIENT IMPLEMENTATION; EXECUTION TIME; GLOBAL TIME; HIERARCHICAL SCHEDULING; IMPLEMENTATION COMPLEXITY; INTEGRATION TIME; REAL TIME OPERATING SYSTEM; RESOURCE SHARING; SHARED RESOURCES; STACK RESOURCE POLICIES; SYNCHRONIZATION PROTOCOLS; SYSTEM INTEGRATION; VIRTUAL-TIME;

BUDGET CONTROL; COMPUTER OPERATING SYSTEMS; SYNCHRONIZATION;

REAL TIME SYSTEMS;

EID: 84859916589     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2011.2172448     Document Type: Article

References (48)

1. R. Davis and A. Burns, "Resource sharing in hierarchical fixed priority pre-emptive systems," in Proc. Real-Time Syst. Symp., Dec. 2006, pp. 257-267. (Pubitemid 351209736)
2. M. Behnam, I. Shin, T. Nolte, and M. Nolin, "SIRAP: A synchronization protocol for hierarchical resource sharing in real-time open systems," in Proc. Conf. Embedded Softw., Oct. 2007, pp. 279-288. (Pubitemid 351203905)
3. M. Bertogna, N. Fisher, and S. Baruah, "Resource-sharing servers for open environments," IEEE Trans. Ind. Informat., vol. 5, no. 3, pp. 202-219, Aug. 2009.
4. AUTOSAR GbR, Technical Overview, 2008. [Online]. Available: Http://www.autosar.org/
5. OSEK Group, OSEK VDX Operating System Specificiation 2.2.3. [Online]. Available: Http://www.osek-vdx.org/
6. T. Nolte, I. Shin, M. Behnam, and M. Sjodin, "A synchronization protocol for temporal isolation of software components in vehicular systems," IEEE Trans. Ind. Informat., vol. 5, no. 4, pp. 375-387, Nov. 2009.
7. I. Shin and I. Lee, "Compositional real-time scheduling framework with periodic model," ACM Trans. Embedded Comput. Syst., vol. 7, no. 3, pp. 1-39, 2008.
8. T. Baker, "Stack-based scheduling of realtime processes," Real-Time Syst., vol. 3, no. 1, pp. 67-99, Mar. 1991. (Pubitemid 21651243)
9. T. M. Ghazalie and T. P. Baker, "Aperiodic servers in a deadline scheduling environment," Real-Time Syst., vol. 9, no. 1, pp. 31-67, 1995.
10. M. Behnam, T. Nolte, M. Åsberg, and I. Shin, "Synchronization protocols for hierarchical real-time scheduling frameworks," in Proc. Workshop on Compositional Theory Technol. Real-Time Embedded Syst., Nov. 2008, pp. 53-60.
11. M. Behnam, T. Nolte, M. Åsberg, and R. J. Bril, "Overrun and skipping in hierarchically scheduled real-time systems," in Proc. Conf. Embedded Real-Time Comput. Syst. Appl., Aug. 2009, pp. 519-526.
12. J. J. Labrosse, MicroC/OS-II: The Real-Time Kernel, 2nd ed. Gilroy, CA: CMP Books, 2002.
13. M. M. H. P. van den Heuvel, R. J. Bril, and J. J. Lukkien, "Protocoltransparent resource sharing in hierarchically scheduled real-time systems," in Proc. Conf. Emerging Technol. Factory Autom., Sep. 2010, pp. 1-8.
14. D. de Niz, L. Abeni, S. Saewong, and R. Rajkumar, "Resource sharing in reservation-based systems," in Proc. Real-Time Syst. Symp., 2001, pp. 171-180. (Pubitemid 34064492)
15. L. Sha, R. Rajkumar, and J. Lehoczky, "Priority inheritance protocols: An approach to real-time synchronization," IEEE Trans. Comput., vol. 39, no. 9, pp. 1175-1185, Sep. 1990.
16. U. Steinberg, J. Wolter, and H. Härtig, "Fast component interaction for real-time systems," in Proc. Euromicro Conf. Real-Time Syst., Jul. 2005, pp. 89-97. (Pubitemid 44458421)
17. G. Lipari, G. Lamastra, and L. Abeni, "Task synchronization in reservation- based real-time systems," IEEE Trans. Comput., vol. 53, no. 12, pp. 1591-1601, Dec. 2004. (Pubitemid 40055691)
18. G. Buttazzo and P. Gai, "Efficient implementation of an EDF scheduler for small embedded systems," in Proc. Workshop on Operating Syst. Platforms Embedded Real-Time Appl., Jul. 2006, pp. 1-10.
19. M. Behnam, T. Nolte, M. Sjodin, and I. Shin, "Overrun methods and resource holding times for hierarchical scheduling of semi-independent real-time systems," IEEE Trans. Ind. Informat., vol. 6, no. 1, pp. 93-104, Feb. 2010.
20. M. Åsberg, M. Behnam, T. Nolte, and R. J. Bril, "Implementation of overrun and skipping in VxWorks," in Proc. Workshop on Operating Syst. Platforms Embedded Real-Time Appl., Jul. 2010, pp. 45-52.
21. M. M. H. P. van den Heuvel, R. J. Bril, J. J. Lukkien, and M. Behnam, "Extending a HSF-enabled open-source real-time operating system with resource sharing," in Proc. Workshop on Operating Syst. Platforms Embedded Real-Time Appl., Jul. 2010, pp. 71-81.
22. M. M. H. P. van den Heuvel, M. Holenderski, R. J. Bril, and J. J. Lukkien, "Constant-bandwidth supply for priority processing," IEEE Trans. Consumer Electron., vol. 57, no. 2, pp. 873-881, May 2011.
23. R. Davis and A. Burns, "Hierarchical fixed priority pre-emptive scheduling," in Proc. Real-Time Syst. Symp., Dec. 2005, pp. 389-398.
24. B. Sprunt, L. Sha, and J. Lehoczky, "Aperiodic task scheduling for hard real-time systems," Real-Time Syst., vol. 1, no. 1, pp. 27-60, Jun. 1989. (Pubitemid 20679924)
25. J. Strosnider, J. Lehoczky, and L. Sha, "The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments," IEEE Trans. Comput., vol. 44, no. 1, pp. 73-91, Jan. 1995.
26. P. J. L. Cuijpers and R. J. Bril, "Towards budgeting in real-time calculus: Deferrable servers," in Proc. Conf. Formal Modeling Anal. Timed Syst., 2007, pp. 98-113.
27. G. Lipari and E. Bini, "A methodology for designing hierarchical scheduling systems," J. Embedded Comput., vol. 1, no. 2, pp. 257-269, 2005.
28. I. Shin, M. Behnam, T. Nolte, and M. Nolin, "Synthesis of optimal interfaces for hierarchical scheduling with resources," in Proc. Real- Time Syst. Symp., Dec. 2008, pp. 209-220.
29. M. Behnam, T. Nolte, and N. Fisher, "On optimal real-time subsysteminterface generation in the presence of shared resources," in Proc. Conf. Emerging Technol. Factory Autom., Sep. 2010, pp. 1-8.
30. P. Gai, G. Lipari, and M. Di Natale, "Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip," in Proc. Real-Time Syst. Symp., Dec. 2001, pp. 73-83. (Pubitemid 34064483)
31. M. Bertogna, N. Fisher, and S. Baruah, "Static-priority scheduling and resource hold times," in Proc. Parallel Distrib. Process. Symp., March 2007, pp. 1-8.
32. N. Fisher,M. Bertogna, and S. Baruah, "Resource-locking durations in EDF-scheduled systems," in Proc. Real-Time Embedded Technol. Appl. Symp., Apr. 2007, pp. 91-100. (Pubitemid 47296881)
33. S. K. Baruah, "Resource sharing in EDF-scheduled systems: A closer look," in Proc. Real-Time Syst. Symp., 2006, pp. 379-387. (Pubitemid 351209747)
34. F. Zhang and A. Burns, "Analysis of hierarchical EDF pre-emptive scheduling," in Proc. Real-Time Syst. Symp., Dec. 2007, pp. 423-434.
35. G. Bernat and A. Burns, "New results on fixed priority aperiodic servers," in Proc. Real-Time Syst. Symp., Dec. 1999, pp. 68-78. (Pubitemid 30560541)
36. M. Behnam, T. Nolte, and R. J. Bril, "Bounding the number of selfblocking occurrences of SIRAP," in Proc. Real-Time Syst. Symp., Dec. 2010, pp. 61-72.
37. P. López Martinez, L. Barros, and J. Drake, "Scheduling configuration of real-time component-based applications," in Proc. Reliable Software Technologiey-Ada-Europe, 2010, vol. 6106, Lecture Notes in Computer Science, pp. 181-195, Springer.
38. Micrium, RTOS and Tools, Mar. 2010. [Online]. Available: Http://micrium. com/
39. A. Rowe, K. Lakshmanan, H. Zhu, and R. Rajkumar, "Rate-harmonized scheduling and its applicability to energy management," IEEE Trans. Ind. Informat., vol. 6, no. 3, pp. 265-275, Aug. 2010.
40. R. J. Bril, U. Keskin, T. Nolte, and M. Behnam, "Schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks revisited," Eindhoven Univ. Technol., Eindhoven, The Netherlands, Tech. Rep. CS 10-05, Jun. 2010. [Online]. Available: Http://alexandria.tue.nl/repository/ books/685859.pdf
41. A. Burns and S. Baruah, "Sustainability in real-time scheduling," J. Comput. Sci. Eng., vol. 2, no. 1, pp. 72-94, 2008.
42. M. Holenderski, M. M. H. P. van den Heuvel, R. J. Bril, and J. J. Lukkien, "Grasp: Tracing, visualizing and measuring the behavior of real-time systems," in Proc. Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Syst., Jul. 2010, pp. 37-42.
43. L. Abeni and G. Buttazzo, "Integrating multimedia applications in hard real-time systems," in Proc. Real-Time Syst. Symp., Dec. 1998, pp. 4-13.
44. L. Abeni, L. Palopoli, C. Scordino, and G. Lipari, "Resource reservations for general purpose applications," IEEE Trans. Ind. Informat., vol. 5, no. 1, pp. 12-21, Feb. 2009.
45. M. Bertogna and S. Baruah, "Limited preemption EDF scheduling of sporadic task systems," IEEE Trans. Ind. Informat., vol. 6, no. 4, pp. 579-591, Nov. 2010.
46. OpenCores, OpenRISC Overview, 2009. [Online]. Available: Http:// www.opencores.org/project,or1k
47. M. Lv, N. Guan, Q. Deng, G. Yu, and Y. Wang, "Static worst-case execution time analysis of the C/OS-II real-time kernel," Frontiers of Comput. Sci. China, vol. 4, no. 1, pp. 17-27, 2010.
48. J. Regehr,A. Reid, K.Webb, M. Parker, and J. Lepreau, "Evolving realtime systems using hierarchical scheduling and concurrency analysis," in Proc. Real-Time Syst. Symp., Dec. 2003, pp. 25-36.