Abstract:Real-time systems are increasingly running a mix of tasks with different criticality levels: for instance, unmanned aerial vehicle has multiple software functions with different safety criticality levels, but runs them on a single, shared computational platform. In addition, these systems are increasingly deployed on multiprocessor platforms because this can help to reduce their cost, space, weight, and power consumption. To assure the safety of such systems, several mixed-criticality scheduling algorithms have been developed that can provide mixed-criticality timing guarantees. However, most existing algorithms have two important limitations: they do not guarantee strong isolation among the high-criticality tasks, and they offer poor real-time performance for the low-criticality tasks. In this paper, we present a partitioned scheduling scheme for mixed-criticality tasks on multiprocessor platforms that addresses both issues. Our scheduling scheme consists of (i) a task-to-processor packing algorithm that takes into account the demands of tasks with respect to their criticality levels, and (ii) a mixed-criticality uniprocessor scheduling strategy that is based on task grouping. Our strategy associates each high-criticality task with a subset of the low-criticality tasks and encapsulates them in a task group, which is scheduled with the other task groups under the Earliest Deadline First (EDF) policy. Within each task group, the low-criticality task and the high-criticality tasks are scheduled using a server-based strategy, so as to enable more of the former to meet their deadlines without affecting the latter. We present a schedulability analysis for our scheduling strategy, and we show how tasks can be grouped using Mixed Integer Nonlinear Programming. Our evaluation shows that our proposed scheme significantly outperforms existing partitioned mixed-criticality scheduling algorithms, in terms of both the fraction of schedulable task sets and its ability to schedule low-criticality tasks.

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms

Schedulability Analysis of Non-Preemptive Strictly Periodic Tasks in Multi-Core Real-Time Systems

Scheduling Non-Preemptive Tasks with Strict Periods in Multi-Core Real-Time Systems

Work-in-Progress: Non-preemptive Scheduling of Periodic Tasks with Data Dependency Upon Heterogeneous Multiprocessor Platforms

An efficient schedulability condition for non-preemptive real-time systems at common scheduling points

Preemptive Scheduling of Parallel Jobs on Multiprocessors

Schedulability of Strictly Periodic Tasks with Communication Dependence

Evaluation of Two Mixed-Criticality Scheduling Algorithm for Periodic Tasks

Three Preemption Approaches Towards EDF Scheduling for Homogeneous Multiprocessors

Efficient Algorithms For Schedulability Analysis And Priority Assignment For Fixed-Priority Preemptive Scheduling With Offsets

A Model-Checking Approach to Schedulability Analysis of Global Multiprocessor Scheduling with Fixed Offsets

Partial preemptive real-time scheduling algorithm in software fault-tolerant model

Sensitivity Analysis of Strictly Periodic Tasks in Multi-Core Real-Time Systems

Schedulability Test for Soft Real-Time Systems under Multiprocessor Environment by using an Earliest Deadline First Scheduling Algorithm

Mixed-Criticality Scheduling on Multiprocessors Using Task Grouping

Feasibility Analysis under Fixed Priority Scheduling with Limited Preemptions

Speeding Up the Schedulability Analysis and Priority Assignment of Sporadic Tasks under Uniprocessor FPNS

Sensitivity Analysis Of The Maximum Execution Times Of Strictly Periodic Tasks

Bounding the Maximum Length of Non-preemptive Regions under Fixed Priority Scheduling

Comparative Evaluation of Limited Preemptive Methods

Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints