Implementing mode changes with shared resources in Ada

Jorge Real; Andy J. Wellings

doi:10.1109/EMRTS.1999.777454

Implementing mode changes with shared resources in Ada

Jorge Real, Andy J. Wellings

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The ability to support mode changes is a desirable feature for many real-time systems in which the functionality provided may vary as the mission progresses. The addition and deletion of tasks, the change of task profiles, the coherent management of resources and, at the same time, the required timeliness guarantee is an exercise of coordination of activities in a real-time system. In this paper we suggest how to safely implement mode changes in Ada, taking resource management into account. We consider the hypothesis of Ada allowing dynamic ceilings for protected objects and then show how to plan the mode change so that during the transition, tasks do not use the resources inconsistently

Original language	Undefined/Unknown
Title of host publication	Proceedings of 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK
Publisher	IEEE Computer Society
Pages	86-93
Number of pages	8
ISBN (Print)	0-7695-0240-7
DOIs	https://doi.org/10.1109/EMRTS.1999.777454
Publication status	Published - 1999

Access to Document

10.1109/EMRTS.1999.777454

http://dx.doi.org/10.1109/EMRTS.1999.777454

Cite this

@inproceedings{cc11e056e7c847d49781fa62eff8951d,

title = "Implementing mode changes with shared resources in Ada",

abstract = "The ability to support mode changes is a desirable feature for many real-time systems in which the functionality provided may vary as the mission progresses. The addition and deletion of tasks, the change of task profiles, the coherent management of resources and, at the same time, the required timeliness guarantee is an exercise of coordination of activities in a real-time system. In this paper we suggest how to safely implement mode changes in Ada, taking resource management into account. We consider the hypothesis of Ada allowing dynamic ceilings for protected objects and then show how to plan the mode change so that during the transition, tasks do not use the resources inconsistently ",

author = "Jorge Real and Wellings, {Andy J.}",

year = "1999",

doi = "10.1109/EMRTS.1999.777454",

language = "Undefined/Unknown",

isbn = "0-7695-0240-7 ",

pages = "86--93",

booktitle = "Proceedings of 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - Implementing mode changes with shared resources in Ada

AU - Real, Jorge

AU - Wellings, Andy J.

PY - 1999

Y1 - 1999

N2 - The ability to support mode changes is a desirable feature for many real-time systems in which the functionality provided may vary as the mission progresses. The addition and deletion of tasks, the change of task profiles, the coherent management of resources and, at the same time, the required timeliness guarantee is an exercise of coordination of activities in a real-time system. In this paper we suggest how to safely implement mode changes in Ada, taking resource management into account. We consider the hypothesis of Ada allowing dynamic ceilings for protected objects and then show how to plan the mode change so that during the transition, tasks do not use the resources inconsistently

AB - The ability to support mode changes is a desirable feature for many real-time systems in which the functionality provided may vary as the mission progresses. The addition and deletion of tasks, the change of task profiles, the coherent management of resources and, at the same time, the required timeliness guarantee is an exercise of coordination of activities in a real-time system. In this paper we suggest how to safely implement mode changes in Ada, taking resource management into account. We consider the hypothesis of Ada allowing dynamic ceilings for protected objects and then show how to plan the mode change so that during the transition, tasks do not use the resources inconsistently

U2 - 10.1109/EMRTS.1999.777454

DO - 10.1109/EMRTS.1999.777454

M3 - Conference contribution

SN - 0-7695-0240-7

SP - 86

EP - 93

BT - Proceedings of 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK

PB - IEEE Computer Society

ER -