Re-Sampling for Statistical Timing Analysis of Real-Time Systems
D. Maxim, M. Houston, L. Santinelli, G. Bernat, R.I. Davis and L. Cucu-Grosjean
Guaranteeing timing constraints is the main purpose of analyses for real-time systems. The satisfaction of these constraints may be verified with probabilistic methods (relying on statistical estimations of certain task parameters) offering both hard and soft guarantees. In this paper, we address the problem of sampling applied to the distributions of worst-case execution times. The pessimism of presented sampling techniques is then evaluated at the level of response times.
BibTex Entry
@inproceedings{Maxim2012,
author = {D. Maxim and M. Houston and L. Santinelli and G. Bernat and R.I. Davis and L. Cucu-Grosjean},
booktitle = {Real-Time and Network Systems (RTNS)},
month = {Nov},
title = {Re-Sampling for Statistical Timing Analysis of Real-Time Systems},
year = {2012}
}