Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems
| Autor: | Kevin Zagalo, Yasmina Abdeddaim, Avner Bar-Hen, Liliana Cucu-Grosjean |
|---|---|
| Přispěvatelé: | Adapter le raisonnement pire cas à différentes criticités (KOPERNIC), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Gustave Eiffel, Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM) |
| Rok vydání: | 2023 |
| Předmět: | |
| Zdroj: | IEEE Transactions on Computers IEEE Transactions on Computers, 2022, pp.1-12. ⟨10.1109/TC.2022.3211421⟩ |
| ISSN: | 2326-3814 0018-9340 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|