Abstract:Recent applications of the Internet of Things and cyber–physical systems require the integration of many sensing and control tasks into resource-constrained embedded devices. Such tasks can often tolerate a bounded number of timing violations. The concept of weakly hard real-time systems can effectively improve resource efficiency without sacrificing system safety. However, the existing studies have limitations on their practical use due to the restrictions imposed on the task timing behavior, high analysis complexity, and the lack of multicore support. In this article, we propose a new job-class-level fixed-priority preemptive scheduler and its schedulability analysis framework for weakly hard real-time tasks. Our proposed scheduler employs the meet-oriented classification of jobs of a task in order to reduce the worst-case temporal interference imposed on other tasks. Under this approach, each job is associated with a "job-class" that is determined by the number of deadlines previously met (with a bounded number of consecutively missed deadlines). This approach allows decomposing the complex weakly hard schedulability problem into two subproblems that are easier to solve: 1) analyzing the response time of a job with each job-class, which can be done by an extension of the existing task-level analysis and 2) finding possible job-class patterns, which can be modeled as a simple reachability tree. We also present a semipartitioned task allocation method for multicore platforms, which enhances the schedulability of weakly hard tasks under the proposed scheduling framework. Experimental results indicate that our scheduler outperforms the prior work in terms of task schedulability and analysis time complexity. We have also implemented a prototype of a job-class-level scheduler in the Linux kernel running on Raspberry Pi with acceptably small-runtime overhead.

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

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

An Efficient Fault-Tolerant Scheduling Algorithm for Periodic Real-Time Tasks in Heterogeneous Platforms

Schedulability Analysis for MultiCore Global Scheduling with Model Checking

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

Schedulability Analysis for Timed Automata with Tasks

Stochastic Resource Allocation and Delay Analysis for Mobile Edge Computing Systems

Micro Scheduling System Design on Cell Processor

Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs.

Fuzzy logic based feedback scheduler for embedded control systems

Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Toward Practical Weakly Hard Real-Time Systems: A Job-Class-Level Scheduling Approach

Robustness Analysis for Battery Supported Cyber-Physical Systems

Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems

Formal Analysis of TSN Scheduler for Real-Time Communications

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

Probabilistic Analysis of Weakly-Hard Real-Time Systems

Formal modeling and analysis of safety-critical human multitasking