Paper Info
Title
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities
Abstract
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.
Year
DOI
Venue
2010
10.1007/s11241-010-9107-4
Realtime systems
Keywords
Field
DocType
Uniprocessor scheduling,Multiple criticality tasks,Sensitivity analysis
Scheduling (computing),Computer science,Real-time computing,Software,Execution time,Component-based software engineering,Criticality,Certification,Uniprocessor scheduling,Distributed computing
Journal
Volume
Issue
ISSN
46
3
0922-6443
Citations 
PageRank 
References 
27
1.35
18
Authors
4
Name
Order
Citations
PageRank
François Dorin1421.97
Pascal Richard2322.20
Michaël Richard3403.65
Joël Goossens466649.22