Feasibility Interval for Fixed-Priority Scheduling of Mixed-Criticality Periodic Tasks With Offsets

摘要

This letter considers dual-criticality systems having periodic tasks with offsets scheduled by a given fixed-priority scheduler. We are interested to formally derive some feasibility interval for such systems. We prove that such an interval exists and that it is bounded by the size of four hyperperiods plus the largest task offset.