Abstract
Flexible and adaptive behavior is seen as one of the key characteristics of next generation hard real-time systems. Within the context of fixed priority pre-emptive scheduling, existing approaches deal with optional components and provide kernel mechanisms to schedule effectively such components when spare processor capacity is available. This paper describes a framework that provides a task programming model with optional components, and the appropriate mechanisms for supporting it, by using the main results of existing research in computing spare processor capacity. The paper shows how these ideas can be adapted for being used from an Ada application. The concurrency and real-time programming features of Ada allow an elegant and efficient implementation of a model where hard real-time tasks, optional unbounded components and optional firm tasks coexist.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Audsley, N.C., Burns, A., Davis, R., Tindell, K., and Wellings, J. (1995). “Fixed priority pre-emptive scheduling: an historical perspective”. Real-Time Systems, Volume 8, 173–198.
Audsley, N.C., Burns, A., Davis, R., and Wellings, J. (1994). “Appropiate Mechanisms for the Support of Optional Processing in Hard Real-Time Systems”. Proc. IEEE Real-Time Operating Systems and Software Workshop, 23–27.
Audsley, N.C., Davis, R., and Burns, A. (1994). “Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems”. Proc. Real-Time Systems Symposium, pp. 12–21, IEEE Computer Society Press.
Davis, R.I., Tindell, K.W., and Burns, A. (1993). “Scheduling Slack Time in Fixed Priority Preemptive Systems”. Proc. Real-Time Systems Symposium, Raleigh-Durham, North Carolina, December 1–3, pp. 222–231, IEEE Computer Society Press.
Davis, R.I. (1994). “Approximate Slack Stealing Algorithms for Fixed Priority Preemptive Systems”. Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-93-217.
Davis, R.I. (1994). “Guaranteeing X in Y: On-line Acceptance Tests for Hard Aperiodic Tasks Scheduled by the Slack Stealing Algorithms” Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-94-231.
Davis, R.I. (1994). “Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority Pre-emptive Systems”. Real-Time Systems Research Group. Department of Computer Science. University of York, UK. Report number YCS-94-239.
Garcia-Fornes A., Crespo, A., and Botti, V. (1995). “Adding hard real-time tasks to artificial intelligence environments”. Proc. of the 20th IFAC/IFIP Workshop on Real-Time Programming, Fort Lauderdale, Florida, USA.
Stankovic, J. and Ramamritham, K. (1993). “Advances in Real-Time Systems”. IEEE Computer Society Press. ISBN 0-8186-3792-7.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Espinosa, A., Julián, V., Carrascosa, C., Terrasa, A., García-Fornes, A. (1998). Programming hard real-time systems with optional components in Ada. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054998
Download citation
DOI: https://doi.org/10.1007/BFb0054998
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive