Stack-based scheduling for realtime processes
Real-Time Systems
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments
IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Building partitioned architectures based on the Ravenscar profile
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Periodic Resource Model for Compositional Real-Time Guarantees
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Space & Time Partitioning with ARINC 653 and pragma profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Smart certification of mixed criticality systems
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Temporal isolation with the ravenscar profile and Ada 2005
ACM SIGAda Ada Letters
ORK+/XtratuM: an open partitioning platform for Ada
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Ada real-time services and virtualization
ACM SIGAda Ada Letters
On real-time partitioned multicore systems
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
Hierarchical scheduling is a basic technique to achieve temporal isolation between applications in high-integrity systems when an integrated approach is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical scheduling have been prevailing until now, the new scheduling features of Ada 2005 enable lighter-weight techniques to be used. This will expectedly result in increasing the efficiency and flexibility of hierarchical scheduling, thus enabling new ways to developing critical applications in Ada. The paper explores the new opportunities opened by Ada 2005 and proposes some concrete techniques for implementing hierarchical scheduling in the new version of the language.