MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Implementing Analysable Hard Real-time Sporadic Tasks in Ada 9X (1994) [4 citations — 2 self]

Abstract:

In this paper we illustrate how systems containing hard real-time sporadic tasks can be analysed for their worst case behaviour. In order to undertake this schedulability analysis, it is necessary to define the minimum inter-arrival time and/or maximum arrival frequency of sporadic tasks. Furthermore, at run-time it is essential to ensure that sporadic tasks are not invoked more often than has been guaranteed by the analysis. We assume that sporadics are invoked by interrupts and that interrupts can be masked under software control. Sporadic tasks are often analysed using the notion of bandwidth preserving sporadic servers within the Rate Monotonic Scheduling Analysis scheme. At runtime this requires the underlying kernel to support complex execution time monitoring mechanisms. Unfortunately such mechanisms are not generally supported by Ada 9X. This paper shows that by using Deadline Monotonic Scheduling Analysis there is no need to resort to bandwidth preserving sporadic servers, and...

Citations

2271 Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment – Liu, Layland - 1973
674 Priority Inheritance Protocols: An Approach to Real-Time Synchronization – Sha, Rajkumar, et al. - 1990
265 Aperiodic Task Scheduling for Hard-Real-Time Systems – Sprunt, Sha, et al. - 1989
231 Applying New Scheduling Theory to Static Priority Preemptive Scheduling – Audsley, Burns, et al. - 1993
172 Enhanced Aperiodic Responsiveness in Hard Real-Time Environments – Lehoczky, Sha, et al. - 1987
54 Exploiting Unused Periodic Time For Aperiodic Service Using the Extended Priority Exchange Algorithm – Sprunt, Lehoczky, et al. - 1988
38 Hard RealTime Scheduling: The Deadline Monotonic Approach – Audsley, Burns, et al. - 1991
23 The Impact of an Ada Run-time System’s Performance Characteristics on Scheduling Models – Burns, Wellings, et al. - 1993
12 Formal Specifications and Proofs of Inheritance Protocols for Real-Time Scheduling – Pilling, Burns, et al. - 1990
1 9X Project Report – Ada - 1993