Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal

Real-Time Systems

Volumn 26, Issue 2, 2004, Pages 161-197

  Real, Jorge ^a   Crespo, Alfons ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Mode change protocols; Multimoded systems; Offsets; Real time scheduling; Resource sharing

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; NETWORK PROTOCOLS; RESOURCE ALLOCATION; SCHEDULING;

MODE CHANGE PROTOCOLS; MULTIMODED SYSTEMS; OFFSETS; REAL-TIME SCHEDULING; RESOURCE SHARING;

REAL TIME SYSTEMS;

EID: 1842457739     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:TIME.0000016129.97430.c6     Document Type: Review

References (28)

1. Alonso, A. 1994. Extensiones a los métodos de planificatión de sistemas de tiempo real críticos basados en prioridades, Ph.D. thesis, Universidad Politécnica de Madrid, Spain.
2. Audsley, N., Burns, A., Richardson, M., Tindell, K., and Wellings, A. J. 1993. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5): 284-292.
3. Bailey, C. M. 1993. Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198/90/NL/SF, British Aerospace Systems Ltd.
4. Bernat, G. 1998. Specification and analysis of weakly-hard real-time systems. Ph.D. thesis, Universitat de les Illes Balears.
5. de la Puente, J. A. 1999. Session summary: New language features and other language issues. In: Proceedings of IRTAW9, Ada Letters. Vol. XIX(2) pp. 19-20.
6. Fohler, G. J. 1994. Flexibility in statically scheduled hard real-time systems. Ph.D. thesis, Technische Universität Wien.
7. Harter, P. 1987. Response times in level structured systems. ACM Transactions on Computer Systems 5(3): 232-248.
8. IEEE. 1996. Portable Operating System Interface: Part 1: System Application Progam Interface (API) [C Language]. ISO/IEC-9945-1-1996 ANSI/IEEE Std 1003.1, IEEE.
9. Jahanian, F., Lee, R., and Mok, A. 1988. Semantics of modechart in real time logic. In Proceedings of the 21st Hawaii International Conference on Systems Sciences. pp. 479-489.
10. Joseph, M., and Pandya, P. 1986. Finding response times in a real-time system. British Computer Society Computer Journal 29(5): 390-395.
11. Lehoczky, J., Sha, L., and Ding, V. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings IEEE Real Time Systems Symposium. Santa Monica, CA: IEEE Computer Society Press, 5-7 December, pp. 166-171.
12. Leung, J., and Whitehead, J. 1982. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation (Netherlands) 2(4): 237-250.
13. Liu, C., and Layland, J. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM 20(1): 46-61.
14. Pedro, P. 1999. Schedulability of mode changes in flexible real-time distributed systems. Ph.D. thesis, University of York, Department of Computer Science.
15. Pedro, P., and Burns, A. 1998. Schedulabillity analysis for mode changes in real-time systems. In Proceedings of the 10th Euromicro Workshop on Real-Time Systems. Berlin, Germany: IEEE Computer Society Press.
16. Real, J., and Wellings, A. 1999a. The ceiling protocol in multi-moded real-time systems. In Reliable Software Technologies - Ada Europe 99, Lecture Notes in Computer Science vol. 1622, pp. 275-286.
17. Real, J., and Wellings, A. 1999b. Dynamic Ceiling Priorities and Ada 95. Ada Letters XIX(2): 41-48.
18. Real, J. 2000. Protocoles de cambio de modo para sistemas de tiempo real (mode change protocols for real time systems). Ph.D. thesis. Universidad Politécnica de Valencia, (in Spanish).
19. Real, J., Crespo, A., Burns, A., and Wellings, A. 2002. Protected ceiling changes. Ada Letters XXII(4): 66-71.
20. Real, J., Llamosí, A., and Crespo, A. 2001. A semantics for dynamic ceiling priorities in Ada. Ada Letters XXI(1): 91-95.
21. Sha, L., and Goodenough, J. B. 1990. Real-time scheduling theory and Ada. IEEE Computer 23(4): 53-62.
22. Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. 1989. Mode change protocols for priority-driven premptive scheduling. Real-Time Systems 1(3): 244-264.
23. Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: An approach to real-time synchronisation. IEEE Transactions on Computers 39(9): 1175-1185.
24. Taft, S. T., and Duff, R. A. (eds.) 1995. Ada 95 Reference Manual. Language and Standard Libraries. Springer, Lecture Notes on Computer Science, vol. 1246, International Standard ISO/IEC-8652:1995(E).
25. Taft, T., Duff, R., Brukardt, R., and Ploedereder, E. (eds.) 2000. Consolidated Ada Reference Manual. Lecture Notes on Computer Science vol. 2219, Berlin: Springer.
26. Tindell, K., and Alonso, A. 1996. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid.
27. Tindell, K., Burns, A., and Wellings, A. J. 1992. Mode changes in priority pre-emptively scheduled systems. In Proceedings Real Time Systems Symposium. Phoenix, Arizona, pp. 100-109.
28. Tokar, J. 2001. Tasking and object orientation: session report. Proceedings of IRTAW10, Ada Letters. XXI(1): 9-10.