EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability
Abstract
Many safety critical real-time systems are considered certified when they meet failure probability requirements with respect to the maximum permitted incidences of failure per hour. In this paper, the mixed-criticality task model with multiple worst case execution time (WCET) estimations is extended to incorporate such system-level certification restrictions. A new parameter is added to each task, characterizing the distribution of the WCET estimations -- the likelihood of all jobs of a task finishing their executions within the less pessimistic WCET estimate. An efficient algorithm named LFF-Clustering is derived for scheduling mixed-criticality systems represented by this model. Experimental analyses show our new model and algorithm out-perform current state-of-the-art mixed-criticality scheduling algorithms.
Recommended Citation
Z. Guo et al., "EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability," Proceedings of the IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015 (2015, Hong Kong), Institute of Electrical and Electronics Engineers (IEEE), Aug 2015.
The definitive version is available at https://doi.org/10.1109/RTCSA.2015.8
Meeting Name
IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015 (2015: Aug. 19-21, Hong Kong)
Department(s)
Computer Science
Keywords and Phrases
Probabilistic Logic; Estimation; Timing; Scheduling; Real-Time Systems; Analytical Models; Scheduling Algorithms
International Standard Serial Number (ISSN)
2325-1271
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2015 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Aug 2015
