固定优先级稳定实时系统的响应时间随机分析
Response Time Stochastic Analysis for Fixed-Priority Stable Real-Time Systems
浏览论文内容
中文总结 AI 辅助
本文证明平均利用率小于1是实时系统可行性的必要条件，并针对稳定概率实时系统给出响应时间的解析近似及进入稳态的界限。
中文摘要 AI 辅助
本文证明，系统平均利用率小于1是实时系统可行性的必要条件，此类系统被定义为稳定的。稳定系统具有两种不同的状态：瞬态，随后是稳态，在稳态中每个任务的响应时间分布无限重复。我们证明了Liu和Layland定理适用于具有隐式截止期限的稳定概率实时系统，我们为这两种状态中的每一种提供了响应时间的解析近似，并给出了实时系统进入稳态时刻的界限。
英文摘要
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.
发表机构
- Inria Paris（巴黎国家数字研究所）
- Université Gustave Eiffel, LIGM, CNRS（古斯塔夫·埃菲尔大学，信息与机器学习实验室，法国国家科学研究中心）
- Cnam Paris（国立工艺学院巴黎分校）
机构由 AI 辅助整理，请以论文原文为准。
