The real-time linux kernel: A survey on preempt_rt

F Reghenzani, G Massari, W Fornaciari - ACM Computing Surveys …, 2019 - dl.acm.org
The increasing functional and nonfunctional requirements of real-time applications, the
advent of mixed criticality computing, and the necessity of reducing costs are leading to an …

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 …

Timing of autonomous driving software: Problem analysis and prospects for future solutions

M Alcon, H Tabani, L Kosmidis… - 2020 IEEE Real …, 2020 - ieeexplore.ieee.org
The software used to implement advanced functionalities in critical domains (eg
autonomous operation) impairs software timing. This is not only due to the complexity of the …

Robust resource bounds with static analysis and Bayesian inference

L Pham, FA Saad, J Hoffmann - … of the ACM on Programming Languages, 2024 - dl.acm.org
There are two approaches to automatically deriving symbolic worst-case resource bounds
for programs: static analysis of the source code and data-driven analysis of cost …

[HTML][HTML] Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective

A Löfwenmark, S Nadjm-Tehrani - Journal of Systems Architecture, 2018 - Elsevier
With more functionality added to future safety-critical avionics systems, new platforms are
required to offer the computational capacity needed. Multi-core processors offer a potential …

Optimizing energy in non-preemptive mixed-criticality scheduling by exploiting probabilistic information

A Bhuiyan, F Reghenzani… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
The strict requirements on the timing correctness biased the modeling and analysis of real-
time systems toward the worst-case performances. Such focus on the worst-case, however …

Dealing with uncertainty in pWCET estimations

F Reghenzani, L Santinelli, W Fornaciari - ACM Transactions on …, 2020 - dl.acm.org
The problem of estimating a tight and safe Worst-Case Execution Time (WCET), needed for
certification in safety-critical environment, is a challenging problem for modern embedded …

On the impact of hardware-related events on the execution of real-time programs

TNC Andrade, G Lima, VMC Lima, S Bem-Amor… - Design Automation for …, 2023 - Springer
Estimating safe upper bounds on execution times of programs is required in the design of
predictable real-time systems. When multi-core, instruction pipeline, branch prediction, or …

Timing predictability in high-performance computing with probabilistic real-time

F Reghenzani, G Massari, W Fornaciari - IEEE Access, 2020 - ieeexplore.ieee.org
Application requirements in High-Performance Computing (HPC) are becoming increasingly
exacting, and the demand for computational resources is rising. In parallel, new application …

BOT-MICS: Bounding time using analytics in mixed-criticality systems

B Ranjbar, A Hosseinghorban… - … on Computer-Aided …, 2021 - ieeexplore.ieee.org
An increasing trend for reducing cost, space, and weight leads to modern embedded
systems that execute multiple tasks with different criticality levels on a common hardware …