Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
Sensitivity Analysis of Real-Time Task Sets
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Schedulability Analysis of Periodic Fixed Priority Systems
IEEE Transactions on Computers
ICONS '07 Proceedings of the Second International Conference on Systems
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
Sensitivity analysis of complex embedded real-time systems
Real-Time Systems
Sensitivity analysis for fixed-priority real-time systems
Real-Time Systems
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
The space of EDF deadlines: the exact region and a convex approximation
Real-Time Systems
Period sensitivity analysis and D-P domain feasibility region in dynamic priority systems
Journal of Systems and Software
Towards the Design of Certifiable Mixed-criticality Systems
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Implementing mixed criticality systems in Ada
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Scheduling of mixed-criticality applications on resource-sharing multicore systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Mixed-criticality scheduling on multiprocessors
Real-Time Systems
Hi-index | 0.00 |
Safety-critical real-time standards define several criticality levels for the tasks. In this paper we consider the real-time systems designed under the DO-178B safety assessment process (i.e., Software Considerations in Airborne Systems and Equipment Certification). Vestal introduced a new multiple criticality task model to efficiently take into account criticality levels in the schedulability analysis of such systems. Such a task model represents a potentially very significant advance in the modeling of safety-critical real-time softwares. Baruah and Vestal continue this investigation, with a new scheduling algorithm combining fixed and dynamic priority policies. Another major design issue is to allow a system developer to determine how sensitive is the schedulability analysis to changes in execution time of various software components.In this paper, we first prove that the well-known Audsley's algorithm is optimal for assigning priorities to tasks with multiple criticality levels. We then provide a proof on the optimality of Vestal's algorithm for optimizing the resource requirements to schedule tasks with multiple criticality levels. We then present a sensitivity analysis for multiple criticality tasks that is based on Bini et al. results on sporadic tasks.