Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)