On priority asignment in fixed priority scheduling
Information Processing Letters
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
Real-Time Systems - Flexible Scheduling on Real-Time Systems
The Valid Use of Utility in Adaptive Real-Time Systems
Real-Time Systems
Rewriting History to Exploit Gain Time
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
On the Scheduling of Mixed-Criticality Real-Time Task Sets
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Capacity sharing for overrun control
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Timing faults and mixed criticality systems
Dependable and Historic Computing
On real-time partitioned multicore systems
ACM SIGAda Ada Letters
Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static schedulability analysis and run-time monitoring. This paper considers both of these issues and indicates how mixed criticality applications can be implemented in Ada. In particular, code is produced to illustrate how the necessary run-time mode changes can be supported. This support makes use of a number of the new features introduced into Ada 2005.