Programming hard real-time systems with optional components in Ada
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.
KeywordsOptional Component Task Model Priority Level Earliest Deadline First Periodic Task
Unable to display preview. Download preview PDF.
- 2.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.Google Scholar
- 3.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.Google Scholar
- 4.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.Google Scholar
- 5.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.Google Scholar
- 6.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.Google Scholar
- 7.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.Google Scholar
- 8.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.Google Scholar
- 9.Stankovic, J. and Ramamritham, K. (1993). “Advances in Real-Time Systems”. IEEE Computer Society Press. ISBN 0-8186-3792-7.Google Scholar