pipette
ESEspañol

Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems

Kevin Zagalo, Yasmina Abdedda\"im, Avner Bar-Hen, Liliana Cucu-Grosjean

Preprint with a published version

In the authors' words

In this paper, we prove that a mean system utilization smaller than one is a necessary condition for the feasibility of real-time systems. Such systems are defined as stable. Stable systems have two distinct states: a transient state, followed by a steady-state where the same distribution of response times is repeated infinitely for each task. We prove that the Liu and Layland theorem holds for stable probabilistic real-time systems with implicit deadlines, we provide an analytical approximation of response times for each of those two states and a bound of the instant when a real-time system becomes steady.

Main resultLimitation the authors admit

Appeared: Monday, September 21. arXiv. Preprint with a published version.

DOI: 10.1109/TC.2022.3211421

Published version: IEEE Transactions on Computers ( Volume: 72, Issue: 1, 01 January 2023)