Abstract
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 high-criticality 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 article 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 article), 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.
Highlights
Mixed-Criticality (MC) systems are getting more attention due to their broad range of applications in various industries, e.g., medical devices and avionics [1], [2]
We have proposed FANTOM (FAult ToleraNt Task-DrOp Aware Scheduling For MixedCriticality Systems), a novel technique, which is based on a new MC task model and scheduling analysis of MC tasks with different criticality levels, low-critical and highcritical, by considering safety requirements
We propose a realistic MC task model and analyze its schedulability based on the Earliest Deadline First with Virtual Deadline (EDF-VD) algorithm
Summary
Mixed-Criticality (MC) systems are getting more attention due to their broad range of applications in various industries, e.g., medical devices and avionics [1], [2] In these systems, based on the integration of different tasks with different types of deadlines, safety and certification requirements, a level of criticality is assigned to every MC task [2]–[5]. To guarantee the system’s safety, the Probability-of-Failure-per-Hour (PFH) (which is adopted by safety standards) is determined for all the criticality levels [8], [11]. These MC tasks from different criticality levels are executed on common hardware platforms, which could be single or multi-core. Avionic systems are an example of single-core MC systems, in which tasks are executed on a single-core processor [3], [8], [12]
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have