Abstract:Mixed-Criticality Scheduling (MCS) is an effective approach to addressing certification requirements of safety-critical Cyber-Physical Systems that integrate multiple subsystems with different levels of criticality in application domains such as avionics and automotive systems. Although MCS was originally proposed in the context of safety-critical avionics applications, it is also finding its way into the automotive domain which faces intense cost-cutting pressure in today’s hyper-competitive market, so it is important to minimize hardware costs by adopting low-cost processors with limited processing and memory resources. Preemption Threshold Scheduling (PTS) is a well-known technique for controlling the degree of preemption in real-time scheduling, with benefits of reduced stack size and reduced number of preemptions compared to fully-preemptive scheduling. We present schedulability analysis to enable integration of PTS with MCS, including two variants PT-rtb and PT-max, in order to reduce application stack space requirement, and enable efficient implementation of MCS on resource-constrained embedded platforms. We also integrate our schedulability tests with priority and preemption threshold assignment algorithms, to have a complete solution for analysis and synthesis of mixed-criticality systems. Performance evaluation illustrates the benefits of our approach in terms of increased schedulability and reduced stack requirement.

From Instantaneous Schedulability to Worst Case Schedulability: A Significant Moment Approach

Scheduling with Periodic Availability Constraints to Minimize Makespan

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

On the Optimality of Exact and Approximation Algorithms for Scheduling Problems.

An Improved Formalization Analysis Approach to Determine Schedulability of Global Multiprocessor Scheduling Based on Symbolic Safety Analysis and Statistical Model Checking in Smartphone Systems

Sensitivity Analysis Of The Maximum Execution Times Of Strictly Periodic Tasks

Schedulability of Strictly Periodic Tasks with Communication Dependence

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling

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

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

Comparative Evaluation of Limited Preemptive Methods

Survey of Weakly-Hard Real Time Schedule Theory and Its Application

Modeling Real-Time Scheduling Problem Schedulability Test In Qcsp

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

Evaluation of Two Mixed-Criticality Scheduling Algorithm for Periodic Tasks

QCSP Based Schedulability Test of Real-Time System

A Probability-Based Schedulability Analysis Method for Real-Time Tasks

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

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

Worst-Case Response Time Computation for the Preemptive Threshold Scheduling Periodic Tasks with Release Jitter and Offsets

Worst-Case Response Time of Aperiodc Message in Worldfip and Its Improvement in Real-Time Capability