Abstract:To deal with a large variety of workloads in different application domains in real-time embedded systems, a number of expressive task models have been developed. For each individual task model, researchers tend to develop different types of techniques for deriving schedulability tests with different computation complexity and performance. In this paper, we present a general schedulability analysis framework, namely the k2U framework, that can be potentially applied to analyze a large set of real-time task models under any fixed-priority scheduling algorithm, on both uniprocessor and multiprocessor scheduling. The key to k2U is a k-point effective schedulability test, which can be viewed as a "blackbox" interface. For any task model, if a corresponding k-point effective schedulability test can be constructed, then a sufficient utilization-based test can be automatically derived. We show the generality of k2U by applying it to different task models, which results in new and improved tests compared to the state-of-the-art. Analogously, a similar concept by testing only k points with a different formulation has been studied by us in another framework, called k2Q, which provides quadratic bounds or utilization bounds based on a different formulation of schedulability test. With the quadratic and hyperbolic forms, k2Q and k2U frameworks can be used to provide many quantitive features to be measured, like the total utilization bounds, speed-up factors, etc., not only for uniprocessor scheduling but also for multiprocessor scheduling. These frameworks can be viewed as a "blackbox" interface for schedulability tests and response-time analysis.

QCSP Based Schedulability Test of Real-Time System

Research on Any Window Constraint Scheduling in Weakly Hard Real-Time System

Research on Real-Time Scheduling Strategy for Transient Fault Tolerance in Nc System

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

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

Schedulability of Real-Time Systems with Enhanced Safety

Theory And Practice Of Real-Time Scheduling In Networked Control Systems

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

Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles

Integrated Feedback Scheduling Of Networked Control Systems

Flexible quality-of-control management in embedded systems using fuzzy feedback scheduling

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems

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

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling

Security constrained unit commitment algorithm based on risk index and non-dominated contingency screening theory

Risk-Based Scheduling of Security Tasks in Industrial Control Systems With Consideration of Safety

Verifying a Scheduling Protocol of Safety-Critical Systems

k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests

Reliability Comparison of Schedulability Test in Ubiquitous Computing.

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks

QoS-aware Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Real-Time Systems