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 …
and critiques the key results in the field from its origins in 2000 to the latest research …
Principles and techniques of simulation validation, verification, and testing
O Balci - Proceedings of the 27th conference on Winter …, 1995 - dl.acm.org
Sufficient experience has been gained over the last decade in simulation validation,
verification, and testing (VV&T) to establish basic principles about its characteristics. This …
verification, and testing (VV&T) to establish basic principles about its characteristics. This …
Timing of autonomous driving software: Problem analysis and prospects for future solutions
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 …
autonomous operation) impairs software timing. This is not only due to the complexity of the …
Revising measurement-based probabilistic timing analysis
The Measurement-Based Probabilistic Timing Analysis (MBPTA) computes probabilistic
Worst-Case Execution Time (pWCET) estimates with the Extreme Value Theory (EVT) from …
Worst-Case Execution Time (pWCET) estimates with the Extreme Value Theory (EVT) from …
Casper: An asynchronous progress model for MPI RMA on many-core architectures
In this paper we present" Casper," a process-based asynchronous progress solution for MPI
one-sided communication on multi-and many-core architectures. Casper uses transparent …
one-sided communication on multi-and many-core architectures. Casper uses transparent …
On using gev or gumbel models when applying evt for probabilistic wcet estimation
KP Silva, LF Arcaro… - 2017 IEEE Real-Time …, 2017 - ieeexplore.ieee.org
The technique known as Measurement-Based Probabilistic Timing Analysis (MBPTA)
promises producing Worst-Case Execution Time (WCET) bounds for real-time systems' tasks …
promises producing Worst-Case Execution Time (WCET) bounds for real-time systems' tasks …
Fitting software execution-time exceedance into a residual random fault in ISO-26262
Car manufacturers relentlessly replace or augment the functionality of mechanical
subsystems with electronic components. Most such subsystems (eg, steer-by-wire) are …
subsystems with electronic components. Most such subsystems (eg, steer-by-wire) are …
On uses of extreme value theory fit for industrial-quality WCET analysis
S Milutinovic, E Mezzetti, J Abella… - 2017 12th IEEE …, 2017 - ieeexplore.ieee.org
Over the last few years, considerable interest has arisen in measurement-based
probabilistic timing analysis. The term MBPTA has been used to indistinctly refer to a variety …
probabilistic timing analysis. The term MBPTA has been used to indistinctly refer to a variety …
Predictable vision for autonomous systems
M Balszun, M Geier… - 2020 IEEE 23rd …, 2020 - ieeexplore.ieee.org
In this perspective cum case-study paper, we argue the need for designing timing-
predictable vision processing algorithms for autonomous systems. Many core functions in …
predictable vision processing algorithms for autonomous systems. Many core functions in …
On the reliability and tightness of gp and exponential models for probabilistic wcet estimation
LF Arcaro, KP Silva, RSD Oliveira - ACM Transactions on Design …, 2018 - dl.acm.org
As computer architectures evolve, guaranteeing that Real-Time Systems'(RTSs') timing
requirements are met through Worst Case Execution Time (WCET) upper bounds becomes …
requirements are met through Worst Case Execution Time (WCET) upper bounds becomes …