Static probabilistic timing analysis for real-time systems using random replacement caches
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 54880202
- Type
- D - Journal article
- DOI
-
10.1007/s11241-014-9218-4
- Title of journal
- Real-Time Systems
- Article number
- -
- First page
- 77
- Volume
- 51
- Issue
- 1
- ISSN
- 0922-6443
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 24
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper, published in the premier journal in the real-time field, is a substantial extension of the paper "On the correctness, optimality and precision of static probabilistic timing analysis" published in the Design, Automation, and Test in Europe (DATE) conference in 2014. As well as providing both a precise analysis, and a combined analysis with a tailorable trade-off between analysis precision and complexity, this work also corrects significant flaws in previous publications in this area.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -