An EDF run-time profile based on ravenscar

Authors:
A. Burns
Affiliations:
University of York, UK
Venue:
ACM SIGAda Ada Letters
Year:
2013

Citing 16
Cited 0

Stack-based scheduling for realtime processes

Real-Time Systems
Feasibility problems for recurring tasks on one processor

MFCS '90 Selected papers of the 15th international symposium on Mathematical foundations of computer science
Improvement in feasibility testing for real-time tasks

Real-Time Systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
The Ravenscar Profile

ACM SIGAda Ada Letters
The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Computing the Minimum EDF Feasible Deadline in Periodic Systems

RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Resource Sharing in EDF-Scheduled Systems: A Closer Look

RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Correcting the EDF protocol in Ada 2005

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems

ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Schedulability Analysis for Real-Time Systems with EDF Scheduling

IEEE Transactions on Computers
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX

Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling

Real-Time Systems
Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems

RTCSA '10 Proceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a definition of a Ravenscar-like profile (EDF Ravenscar) that incorporates EDF scheduling. Rather than just replace the dispatching policy, an argument is made for simplifying the support that is provided in full Ada for controlling access to protected objects. As a result all tasks and protected objects have their default priorities, and only one ready queue is needed (ordered by absolute deadline). The paper also outlines the static scheduling analysis that can be applied to applications conforming to the profile.