A survey of probabilistic timing analysis techniques for real-time systems

RI Davis, L Cucu-Grosjean - LITES: Leibniz Transactions on …, 2019 - eprints.whiterose.ac.uk
This survey covers probabilistic timing analysis techniques for real-time systems. It reviews
and critiques the key results in the field from its origins in 2000 to the latest research …

DMAC: Deadline-miss-aware control

P Pazzaglia, C Mandrioli, M Maggio… - … Conference on Real …, 2019 - portal.research.lu.se
The real-time implementation of periodic controllers requires solving a co-design problem, in
which the choice of the controller sampling period is a crucial element. Classic design …

[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 …

Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints

S Xu, B Ghosh, C Hobbs, PS Thiagarajan… - Proceedings of the 28th …, 2023 - dl.acm.org
With the emergence of complex autonomous systems, multiple control tasks are increasingly
being implemented on shared computational platforms. Due to the resource-constrained …

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 …

Weaklyhard. jl: Scalable analysis of weakly-hard constraints

N Vreman, R Pates, M Maggio - 2022 IEEE 28th Real-Time and …, 2022 - ieeexplore.ieee.org
Weakly-hard models have been used to analyse real-time systems subject to patterns of
deadline hits and misses. However, the tools that are available in the literature have a set of …

[PDF][PDF] On the convolution efficiency for probabilistic analysis of real-time systems

F Marković, AV Papadopoulos… - … Euromicro Conference on …, 2021 - drops.dagstuhl.de
This paper addresses two major problems in probabilistic analysis of real-time systems:
space and time complexity of convolution of discrete random variables. For years, these two …

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 …