article

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

Authors:

Alfons CrespoAuthors Info & Claims

Real-Time Systems, Volume 26, Issue 2

Pages 161 - 197

https://doi.org/10.1023/B:TIME.0000016129.97430.c6

Published: 01 March 2004 Publication History

Abstract

This paper contains both a survey of mode change protocols for single-processor, fixed-priority, preemptively scheduled real-time systems, and a proposal of several new protocols along with their corresponding schedulability analysis and configuration methods. First, a classification of the protocols found in the literature is given and a set of requirements is proposed for their evaluation. Then, the new protocols are introduced and discussed in the light of the stated requirements. A number of mode change protocols are based on delaying the initiation of the new mode by applying an offset to the initial release of tasks in the destination mode. We tackle the problem of how to obtain these offsets for the proposed protocols. The issue of consistently sharing resources during the mode change by means of a priority inheritance protocol is also dealt with.

References

[1]

Alonso, A. 1994. Extensiones a los métodos de planificació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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[17]

Real, J., and Wellings, A. 1999b. Dynamic Ceiling Priorities and Ada 95. Ada Letters XIX(2): 41-48.]]

Digital Library

[18]

Real, J. 2000. Protocolos 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.]]

Digital Library

[20]

Real, J., Llamosí, A., and Crespo, A. 2001. A semantics for dynamic ceiling priorities in Ada. Ada Letters XXI(1): 91-95.]]

Digital Library

[21]

Sha, L., and Goodenough, J. B. 1990. Real-time scheduling theory and Ada. IEEE Computer 23(4): 53-62.]]

Digital Library

[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.]]

Digital Library

[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 IRTAW 10, Ada Letters. XXI(1): 9- 10.]]

Digital Library

Cited By

García-Gordillo MValls JCoronel JSáez S(2024)Mode Change Management for Adaptive Cyber-physical SystemsACM SIGAda Ada Letters10.1145/3672359.367237343:2(84-88)Online publication date: 7-Jun-2024
https://dl.acm.org/doi/10.1145/3672359.3672373
Langford MZilberman SCheng B(2024)Anunnaki: A Modular Framework for Developing Trusted Artificial IntelligenceACM Transactions on Autonomous and Adaptive Systems10.1145/364945319:3(1-34)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3649453
Haeberlen APhan LMcGuire M(2023)Metaverse as a ServiceProceedings of the 2023 ACM Symposium on Cloud Computing10.1145/3620678.3624662(298-307)Online publication date: 30-Oct-2023
https://dl.acm.org/doi/10.1145/3620678.3624662
Show More Cited By

Index Terms

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

Recommendations

Design and analyses of functional mode changes for mixed-criticality systems
Abstract
In this paper, we propose a new model for mixed-criticality systems (MCS) that can adapt to system overload scenarios due to the occurrence of two known phenomena. First, budget overrun of tasks due to their imprecise budget estimations which is a ...
A Semantic Framework for Mode Change Protocols
RTAS '11: Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium

We present a unified framework for the specification and analysis of mode-change protocols used in multi-mode real-time systems. We propose a highly expressive formalism, called MCP, to model the system behavior during mode transitions, and show how ...
Real-time scheduling with resource sharing on uniform multiprocessors
RTNS '12: Proceedings of the 20th International Conference on Real-Time and Network Systems

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a uniform multiprocessor platform where each task may access at most one of ρ shared resources and at most once by each job of that task. The resources ...

Comments

Information & Contributors

Information

Published In

cover image Real-Time Systems

Real-Time Systems Volume 26, Issue 2

March 2004

86 pages

ISSN:0922-6443

Issue’s Table of Contents

Copyright © Copyright © 2004 Kluwer Academic Publishers.

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 March 2004

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

70
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

García-Gordillo MValls JCoronel JSáez S(2024)Mode Change Management for Adaptive Cyber-physical SystemsACM SIGAda Ada Letters10.1145/3672359.367237343:2(84-88)Online publication date: 7-Jun-2024
https://dl.acm.org/doi/10.1145/3672359.3672373
Langford MZilberman SCheng B(2024)Anunnaki: A Modular Framework for Developing Trusted Artificial IntelligenceACM Transactions on Autonomous and Adaptive Systems10.1145/364945319:3(1-34)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3649453
Haeberlen APhan LMcGuire M(2023)Metaverse as a ServiceProceedings of the 2023 ACM Symposium on Cloud Computing10.1145/3620678.3624662(298-307)Online publication date: 30-Oct-2023
https://dl.acm.org/doi/10.1145/3620678.3624662
Riegler MSametinger JVierhauser MWimmer M(2023)A model-based mode-switching framework based on security vulnerability scoresJournal of Systems and Software10.1016/j.jss.2023.111633200:COnline publication date: 1-Jun-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111633
Gog IKalra SSchafhalter PGonzalez JStoica IBromberg YKermarrec AKozyrakis C(2022)D3Proceedings of the Seventeenth European Conference on Computer Systems10.1145/3492321.3519576(453-471)Online publication date: 28-Mar-2022
https://dl.acm.org/doi/10.1145/3492321.3519576
Sundar VRamanathan SEaswaran A(2022)Design and analyses of functional mode changes for mixed-criticality systemsReal-Time Systems10.1007/s11241-022-09389-459:1(69-121)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1007/s11241-022-09389-4
Piva MColetta AMaselli GStankovic J(2021)Environment-driven Communication in Battery-free Smart BuildingsACM Transactions on Internet of Things10.1145/34487392:2(1-30)Online publication date: 22-Apr-2021
https://dl.acm.org/doi/10.1145/3448739
Gandhi NRoth ESandler BHaeberlen APhan LBarbalace ABhatotia PAlvisi LCadar C(2021)REBOUNDProceedings of the Sixteenth European Conference on Computer Systems10.1145/3447786.3456257(523-539)Online publication date: 21-Apr-2021
https://dl.acm.org/doi/10.1145/3447786.3456257
Casini DBiondi AButtazzo G(2021)Task Splitting and Load Balancing of Dynamic Real-Time Workloads for Semi-Partitioned EDFIEEE Transactions on Computers10.1109/TC.2020.303828670:12(2168-2181)Online publication date: 1-Dec-2021
https://dl.acm.org/doi/10.1109/TC.2020.3038286
Chen WWu PHuang PMok AHan S(2021)Online reconfiguration of regularity-based resource partitions in cyber-physical systemsReal-Time Systems10.1007/s11241-021-09364-557:3(302-345)Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1007/s11241-021-09364-5
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents