Abstract
This short paper summarises the current status of the proposal to incorporate the Deadline Floor Protocol into the Ada Real-Time Annex. A Draft Ada Issue is given to help focus the discussion at the workshop.
- M. Aldea, A. Burns, M. Gutirrez, and M. G. Harbour. Incorporating the deadline floor protocol in Ada. ACM SIGAda Ada Letters -- Proc. of IRTAW 16, XXXIII(2):49--58, 2013. Google Scholar
Digital Library
- T. Baker. A stack-based resource allocation policy for realtime processes. In Proc. IEEE Real-Time Systems Symposium (RTSS), pages 191--200, 1990.Google Scholar
Cross Ref
- T. Baker. Stack-based scheduling of realtime processes. Journal of Real-Time Systems, 3(1), March 1991. Google Scholar
Digital Library
- A. Burns. A Deadline-Floor Inheritance Protocol for EDF Scheduled Real-Time Systems with Resource Sharing. Technical Report YCS-2012-476, Department of Computer Science, University of York, UK, 2012.Google Scholar
- A. Burns, M. Gutirrez, M. Aldea, and M. G. Harbour. A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing. IEEE Transaction on Computers, 64(5), pp 1241--1253, 2015.Google Scholar
Cross Ref
- A. Burns and A. J. Wellings. Deadline-Aware Programming and Scheduling. Proceedings Reliable Software Technologies, Ada-Europe, LNCS 8454, pp 107--118, 2014.Google Scholar
- A. Wellings. Session summary: Locking protocols. ACM SIGAda Ada Letters, Proc. of IRTAW 16, XXXIII(2):123--125, 2013. Google Scholar
Digital Library
Recommendations
Incorporating the deadline floor protocol in ada
The Ada 2005 standard introduced "Earliest Deadline First" (EDF) as one of the supported dispatching policies. The standard specifies the "Stack Resource Protocol" (SRP) as the protocol for resource sharing among EDF tasks. During the time the SRP has ...
The implementation of the Priority Ceiling Protocol in Ada-2005
Ada 2005 is an even safer and more agile language than its predecessors, with all of the efficiency that is a hallmark of the Ada language design. It still has a strong focus on real-time response, multi-tasking, and sound engineering. It is the only ...
Embedded, hard, real-time systems with Ada
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesDevelopment of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language ...






Comments