{"id":"arxiv/2609.21760","url":"https://arxiv.org/abs/2609.21760","tags":["eess.SY","math.PR"],"score":0,"title":"Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems","domain":"eess.SY","source":"arxiv","authors":["Kevin Zagalo","Yasmina Abdeddaïm","Avner Bar-Hen","Liliana Cucu-Grosjean"],"reviews":0,"subject":"eess.SY","summary":"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…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}