A synchronization protocol for temporal isolation of software components in vehicular systems

IEEE Transactions on Industrial Informatics

Volumn 5, Issue 4, 2009, Pages 375-387

  Nolte, Thomas ^a   Shin, Insik ^b   Behnam, Moris ^a   Sjodin, Mikael ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Automotive; Automotive open system architecture (AUTOSAR); Hierarchical scheduling; Operating system; Real time systems; Scheduling; Subsystem integration and resource allocation policy (SIRAP); Synchronization

Indexed keywords

AUTOMOTIVE; AUTOMOTIVE OPEN SYSTEM ARCHITECTURE (AUTOSAR); HIERARCHICAL SCHEDULING; OPERATING SYSTEM; SUBSYSTEM INTEGRATION AND RESOURCE ALLOCATION POLICY (SIRAP);

COMPUTER OPERATING SYSTEMS; HIERARCHICAL SYSTEMS; OPEN SYSTEMS; PLANNING; RESOURCE ALLOCATION; SCHEDULING; SOFTWARE ARCHITECTURE; SYNCHRONIZATION;

REAL TIME SYSTEMS;

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

References (34)

1. M. Behnam, I. Shin, T. Nolte, and M. Nolin, "SIRAP: A synchronization protocol for hierarchical resource sharing in real-time open systems," in Proc. 7th ACMand IEEE Int. Conf. Embedded Software (EMSOFT' 07), Oct. 2007, pp. 279-288.
2. AUTOSAR, Automotive open system architecture (AUTOSAR), [Online]. Available: http://www.autosar.org/
3. O. Group, OSEK/VDX Operating System Specification 2.2.1. [Online]. Available: http://www.osek-vdx.org/
4. G. Lipari, P. Gai, M. Trimarchi, G. Guidi, and P. Ancilotti, "A hierarchical framework for component-based real-time systems," in Component-Based Software Engineering. Berlin, Germany: Springer-Verlag, May 2005, vol.LNCS-3054/2004, pp. 253-266.
5. J. P. Lehoczky, L. Sha, and J. K. Strosnider, "Enhanced aperiodic responsiveness in hard real-time environments," in Proc. 8th IEEE Int. Real-Time Syst. Symp. (RTSS'87), Dec. 1987, pp. 261-270.
6. B. Sprunt, L. Sha, and J. P. Lehoczky, "Aperiodic task scheduling for hard real-time systems," Real-Time Syst., vol.1, no.1, pp. 27-60, Jun. 1989.
7. J. K. Strosnider, J. P. Lehoczky, and L. Sha, "The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments," IEEE Trans. Computers, vol.44, no.1, pp. 73-91, Jan. 1995.
8. Z. Deng and J.-S. Liu, "Scheduling real-time applications in an open environment," in Proc. 18th IEEE Int. Real-Time Syst. Symp. (RTSS'97), Dec. 1997, pp. 191-199.
9. T.-W.Kuo and C.-H. Li, "A fixed-priority-driven open environment for real-time applications," in Proc. 20th IEEE Int. Real-Time Syst. Symp. (RTSS'99), Dec. 1999, pp. 256-267.
10. G. Lipari and S. K. Baruah, "Efficient scheduling of real-time multitask applications in dynamic systems," in Proc. 6th IEEE Real-Time Technol. Appl. Symp. (RTAS'00), May-Jun. 2000, pp. 166-175.
11. A. Mok, X. Feng, and D. Chen, "Resource partition for real-time systems," in Proc. 7th IEEE Real-Time Technol. Appl. Symp. (RTAS'01), May 2001, pp. 75-84.
12. X. Feng and A. Mok, "A model of hierarchical real-time virtual resources," in Proc. 23th IEEE Int. Real-Time Syst. Symp. (RTSS'02), Dec. 2002, pp. 26-35.
13. I. Shin and I. Lee, "Periodic resource model for compositional real-time guarantees," in Proc. 24th IEEE Int. Real-Time Syst. Symp. (RTSS'03), Dec. 2003, pp. 2-13.
14. L. Almeida and P. Pedreiras, "Scheduling within temporal partitions: Response-time analysis and server design," in Proc. 4th ACMInt. Conf. Embedded Softw. (EMSOFT'04), Sep. 2004, pp. 95-103.
15. G. Lipari and E. Bini, "Resource partitioning among real-time applications," in Proc. 15th Euromicro Conf. Real-Time Syst. (ECRTS'03), Jul. 2003, pp. 151-158.
16. R. I. Davis and A. Burns, "Hierarchical fixed priority pre-emptive scheduling," in Proc. 26th IEEE Int. Real-Time Syst. Symp. (RTSS'05), Dec. 2005, pp. 289-398.
17. F. Zhang and A. Burns, "Analysis of hierarchical EDF pre-emptive scheduling," in Proc. 28th IEEE Int. Real-Time Syst. Symp. (RTSS'07), Dec. 2007, pp. 423-434.
18. A. Easwaran, M. Anand, and I. Lee, "Compositional analysis framework using EDP resource models," in Proc. 28th IEEE Int. Real-Time Syst. Symp. (RTSS'07), Dec. 2007, pp. 129-138.
19. L. Sha, J. P. Lehoczky, and R. Rajkumar, "Task scheduling in distributed real-time systems," in Proc. Int. Conf. Ind. Electron., Control, Instrum. (IECON'87), Nov. 1987, pp. 909-916.
20. R. Rajkumar, L. Sha, and J. P. Lehoczky, "Real-time synchronization protocols for multiprocessors," in Proc. 9th IEEE Int. Real-Time Syst. Symp. (RTSS'88), Dec. 1988, pp. 259-269.
21. T. P. Baker, "Stack-based scheduling of realtime processes," Real-Time Syst., vol.3, no.1, pp. 67-99, Mar. 1991.
22. R. I. Davis and A. Burns, "Resource sharing in hierarchical fixed priority pre-emptive systems," in Proc. 27th IEEE Int. Real-Time Syst. Symp. (RTSS'06), Dec. 2006, pp. 389-398.
23. N. Fisher, M. Bertogna, and S. Baruah, "The design of an EDF-scheduled resource-sharing open environment," in Proc. 28th IEEE Int. Real- Time Syst. Symp. (RTSS'07), Dec. 2007, pp. 83-92.
24. G. Lipari, G. Lamastra, and L. Abeni, "Task synchronization' in reservation- based real-time systems," IEEE Trans. Computers, vol.53, no.12, pp. 1591-1601, Dec. 2004.
25. L. Abeni and G. Buttazzo, "Integrating multimedia applications in hard real-time systems," in Proc. 19th IEEE Int. Real-Time Syst. Symp. (RTSS'98), Dec. 1998, pp. 4-13.
26. M. Behnam, T. Nolte, M. Åsberg, and I. Shin, "Synchronization protocols for hierarchical real-time scheduling frameworks," in Proc. 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in Conjunction With the 29th IEEE Int. Real-Time Systems Symp. (RTSS'08), Nov. 2008, pp. 53-60.
27. 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, Apr. 2008.
28. M. Caccamo and L. Sha, "Aperiodic servers with resource constraints," in Proc. IEEE Int. Real-Time Syst. Symp. (RTSS'01), Dec. 2001, pp. 161-170.
29. M. Bertogna, N. Fisher, and S. Baruah, "Static-priority scheduling and resource hold times," in Proc. 15th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'07), Mar. 2007, pp. 1-8.
30. G. Lipari and E. Bini, "A methodology for designing hierarchical scheduling systems," J. Embedded Comput., vol.1, no.2, pp. 257-269, 2005.
31. M. Joseph and P. Pandya, "Finding response times in a real-time system," Comput. J.(British Computer Society), vol.29, no.5, pp. 390-395, Oct. 1986.
32. M. Behnam, I. Shin, T. Nolte, and M. Nolin, "Scheduling of semi-independent real-time components: Overrun methods and resource holding times," in Proc. 13th IEEE Int. Conf. Emerging Technol. Factory Autom. (ETFA'08), Sep. 2008, pp. 575-582.
33. K. Hänninen, J. Mäki-Turja, M. Bohlin, J. Carlson, and M. Nolin, "Determining maximum stack usage in preemptive shared stack systems," in Proc. 27th IEEE Int. Real-Time Syst. Symp. (RTSS'06), Dec. 2006, pp. 445-453.
34. M. Behnam, T. Nolte, I. Shin, M. Åsberg, and R. Bril, "Towards hierarchical scheduling on top of VxWorks," in Proc. 4th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'08), Jul. 2008, pp. 63-72.