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.

Generalizing Fixed-Priority Scheduling for Better Schedulability in Mixed-Criticality Systems

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling

Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems

A New Scheduling Approach for Mix-Criticality Real-Time System

Statistical performance analysis of strict priority and generalised processor sharing two-stage scheduling system under exponentially bounded burstiness input model

Schedulability Analysis and Stack Size Minimization with Preemption Thresholds and Mixed-Criticality Scheduling.

Evaluation of Two Mixed-Criticality Scheduling Algorithm for Periodic Tasks

New Scheduling Algorithm for Mixed-Criticality Real-Time Task Sets

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling

Mixed-Criticality Scheduling on Multiprocessors Using Task Grouping

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling

Component-Based Mixed-Criticality Real-Time Scheduling on a Single Processor System

A Safety Scheduling Mechanism of High Assurance Real Time Operating System

An Effective Algorithm of Mixed-Criticality Driven Real-Time Scheduling

Safety-critical Task Scheduling Method for Partitioned Operating System in Multi-core Platform

A Flattened-Priority Framework for Mixed-Criticality Systems

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

Efficient Schedulability Analysis for Mixed-Criticality Systems under Deadline-Based Scheduling

Mixed-Criticality Scheduling with I/O

An Energy Efficient Dynamic Scheduling Algorithm for Reliability Constraints in Distributed Heterogeneous Systems