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.

Modeling Real-Time Scheduling Problem Schedulability Test In Qcsp

Mixed-Integer Linear Programming Model and Constraints Reduction Methods for Security-Constrained Unit Commitment

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

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

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

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

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

QoS-Aware Scheduling of Web Services

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

Explorable Uncertainty in Scheduling with Non-uniform Testing Times

A Heuristic for the Quay Crane Scheduling Problem Based on Contiguous Bay Crane Operations

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

Schedulability of Real-Time Systems with Enhanced Safety

Quota-constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems

Feasibility Analysis under Fixed Priority Scheduling with Limited Preemptions

Facilitating Smart Contract in Project Scheduling under Uncertainty-A Choquet Integral Approach

Study on Constraint Scheduling Algorithm for Job Shop Problems with Multiple Constraint Machines

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling