[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 …
goal when quantifying and bounding the probability of deadline misses, but current …
Critical instant for probabilistic timing guarantees: Refuted and revisited
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 …
triggered research on probabilistic timing analysis for the execution time of a single program …
Deadline-miss-adaptive controller implementation for real-time control systems
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 …
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 …
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
Control theory allows one to design controllers that are robust to external disturbances,
model simplification, and modelling inaccuracy. Researchers have investigated whether the …
model simplification, and modelling inaccuracy. Researchers have investigated whether the …
Probabilistic reaction time analysis
In many embedded systems, for instance, in the automotive, avionic, or robotics domain,
critical functionalities are implemented via chains of communicating recurrent tasks. To …
critical functionalities are implemented via chains of communicating recurrent tasks. To …
Response time stochastic analysis for fixed-priority stable real-time systems
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 …
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 …
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 …
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 …
problem of often intractable exact computations. The intractability problem is present …