Uniprocessor Mixed-Criticality Scheduling with Graceful Degradation by Completion Rate

Guo, Zhishan; Yang, Kecheng; Vaidhun, Sudharsan; Arefin, Samsil; Das, Sajal K.; Xiong, Haoyi

doi:10.1109/rtss.2018.00052

Cited by 32 publications

(22 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These sets have been generated through the provided technique in [7], [8]. As an input parameter, the system's utilization (U bound ) is obtained as equality (21), which should be less than 1. At the beginning, the U bound for the generated tasks are set to zero (i.e., the task system is initialized to be empty) and afterward, new tasks will be added to the task set in a random manner to increase the U bound until a certain value (U bound is increased with steps of 0.05).…”

Section: B Experimental Setup and Extensive Resultsmentioning

confidence: 99%

“…This operation causes serious service interruptions for LCTs. Row 2 shows the papers that try to increase the QoS of LCTs in the HI mode [18]- [21]. Researchers in [18], [21] have concentrated on MC systems that they try to drop a specific number of LCTs in the HI mode.…”

Section: Related Workmentioning

confidence: 99%

“…Hence, a condition should be considered and satisfied in order to guarantee the schedulability of all of the HCTs and LCTs (based on parameter δ) in their specified deadlines by the EDF-VD in the HI mode. Besides, there is a scenario that a task is released before mode switching while its deadline is after mode switching and does not finish its execution yet, called carry-over job [4], [20], [21]. To consider the carryover problem, the following sufficient condition has been expressed (To know about the proof of this condition, the reader is referred to Appendix A, which is the same lemma and has the same proving flow presented in [20], [28]).…”

Section: ) Conditions To Guarantee Task Schedulability In the Lo Modementioning

confidence: 99%

“…We have explained that the condition (17) is sufficient for the task sets to be schedulable by the EDF-VD algorithm. Hence, by using conditions (17) and (21), the following expression could be derived. Here, our goal is to find the U p , which still satisfies the following expression.…”

Section: System Upper Bound Utilizationmentioning

confidence: 99%

“…There have been many studies on MC systems, which have focused on the feasibility of schedules and meeting the timing constraints in both HI and LO modes. In order to guarantee the correct execution of HCTs before their deadlines in the HI mode, previous studies have provided techniques, where they discard LCTs [4], [10], [17]- [21] or degrade them [2], [22]- [28]. In this regard, to degrade LCTs, two approaches have been provided: 1) Decreasing the LCT's WCET, and 2) Increasing the LCT's period.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems

et al. 2020

View full text Add to dashboard Cite

Mixed-Criticality (MC) systems have emerged as an effective solution in various industries, where multiple tasks with various real-time and safety requirements (different levels of criticality) are integrated onto a common hardware platform. In these systems, a fault may occur due to different reasons, e.g., hardware defects, software errors or the arrival of unexpected events. In order to tolerate faults in MC systems, the re-execution technique is typically employed, which may lead to overrun of highcriticality tasks (HCTs), which necessitates the drop of low-criticality tasks (LCTs) or degrading their quality. However, frequent drops or relatively long execution times of LCTs (especially mission-critical tasks) are not always desirable and it may impose a negative impact on the performance, or the functionality of MC systems. In this regard, this paper proposes a realistic MC task model and develops a design-time task-drop aware schedulability analysis based on the Earliest Deadline First with Virtual Deadline (EDF-VD) algorithm. According to this analysis and the proposed scheduling policy based on the new MC task model, in the high-criticality (HI) mode, when an HCT overruns and the system switches to the HI mode, the number of drops per LCT is prohibited from passing a predefined threshold. In addition, to guarantee the real-time constraints and safety requirements of MC tasks in the presence of faults (assuming transient faults in this paper), a corresponding scheduling mechanism has been developed. According to the obtained results from an extensive set of simulations, which have been validated through a realistic avionic application, the proposed method improves the acceptance ratio by up to 43.9% compared to state-of-the-art.

show abstract

Section: B Experimental Setup and Extensive Resultsmentioning

confidence: 99%