On the criticality of probabilistic worst-case execution time models

DOI10.1007/978-3-319-69483-2_4MaRDI QIDQ5045377zbMATH OpenOpenAlexFDO

Authors Luca Santinelli, Zhishan Guo

Publication date 4 November 2022

Published in Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69483-2_4

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• Model checking for probabilistic timed automata
• Static probabilistic timing analysis for real-time systems using random replacement caches
• Abstract Interpretation for Worst and Average Case Analysis
• Model Checking Software

Cited in

(1)

• On the convolution efficiency for probabilistic analysis of real-time systems

This page was built for publication: On the criticality of probabilistic worst-case execution time models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5045377)