[PDF][PDF] Monte carlo response-time analysis

S Bozhko, G von der Brüggen… - IEEE 42nd Real-Time …, 2021 - pure.mpg.de
Determining a soft or firm real-time task's probabilistic worst-case response time is a central
goal when quantifying and bounding the probability of deadline misses, but current …

Critical instant for probabilistic timing guarantees: Refuted and revisited

KH Chen, M Günzel… - 2022 IEEE Real-Time …, 2022 - ieeexplore.ieee.org
In soft real-time systems, tasks may occasionally miss their deadlines. This possibility has
triggered research on probabilistic timing analysis for the execution time of a single program …

Deadline-miss-adaptive controller implementation for real-time control systems

N Vreman, C Mandrioli, A Cervin - 2022 IEEE 28th Real-Time …, 2022 - ieeexplore.ieee.org
The policy used to implement a control algorithm in a real-time system can significantly affect
the quality of control. In this paper, we present a method to adapt the controller …

Efficiently approximating the worst-case deadline failure probability under EDF

G von der Brüggen, N Piatkowski… - 2021 IEEE Real …, 2021 - ieeexplore.ieee.org
Probabilistic timing guarantees enable a tradeoff between system safety and hardware costs
in embedded real-time systems. A key metric for assessing whether timing requirements can …

Stochastic Analysis of Control Systems Subject to Communication and Computation Faults

N Vreman, M Maggio - ACM Transactions on Embedded Computing …, 2023 - dl.acm.org
Control theory allows one to design controllers that are robust to external disturbances,
model simplification, and modelling inaccuracy. Researchers have investigated whether the …

Probabilistic reaction time analysis

M Günzel, N Ueter, KH Chen… - ACM Transactions on …, 2023 - dl.acm.org
In many embedded systems, for instance, in the automotive, avionic, or robotics domain,
critical functionalities are implemented via chains of communicating recurrent tasks. To …

Response time stochastic analysis for fixed-priority stable real-time systems

K Zagalo, Y Abdeddaïm, A Bar-Hen… - IEEE Transactions …, 2022 - ieeexplore.ieee.org
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 …

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks

F Marković, P Roux, S Bozhko… - 2023 IEEE Real …, 2023 - ieeexplore.ieee.org
Estimating the worst-case deadline failure probability (WCDFP) of a real-time task is
notoriously difficult, primarily because a task's execution time typically depends on prior …

Continuous-emission markov models for real-time applications: Bounding deadline miss probabilities

A Friebe, F Marković… - 2023 IEEE 29th Real …, 2023 - ieeexplore.ieee.org
Probabilistic approaches have gained attention over the past decade, providing a modeling
framework that enables less pessimistic analysis of real-time systems. Among the different …

Analytical approximations in probabilistic analysis of real-time systems

F Marković, T Nolte… - 2022 IEEE Real-Time …, 2022 - ieeexplore.ieee.org
Probabilistic timing and schedulability analysis of real-time systems is constrained by the
problem of often intractable exact computations. The intractability problem is present …