Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks

Paolo Pazzaglia, Youcheng Sun, Marco Di Natale

Research output: Contribution to journalArticlepeer-review

117 Downloads (Pure)

Abstract

The weakly hard real-time model is an abstraction for applications, including control systems, that can tolerate occasional deadline misses, but can also be compromised if a sufficiently high number of late terminations occur in a given time window. The weakly hard model allows us to constrain the maximum number of acceptable missed deadlines in any set of consecutive task executions. A big challenge for weakly hard systems is to provide a schedulability analysis that applies to a general task model, while avoiding excessive pessimism. In this work, we develop a general weakly hard analysis based on a Mixed Integer Linear Programming (MILP) formulation. The analysis applies to constrained-deadline periodic real-time systems scheduled with fixed priority and no knowledge of the task activation offsets, while allowing for activation jitter. Our analysis considers two common policies for handling missed deadlines, i.e., (i) letting the job continue until completion or (ii) killing its execution immediately. For this policy, ours is the first and only m-k analysis currently available. Experiments conducted on randomly generated task sets show the applicability and accuracy of the proposed technique as well as the improvements with respect to competing techniques.
Original languageEnglish
Article number3
Number of pages26
JournalACM Transactions on Embedded Computing Systems
Volume20
Issue number1
DOIs
Publication statusPublished - 01 Dec 2020

Fingerprint

Dive into the research topics of 'Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks'. Together they form a unique fingerprint.

Cite this