Re-sampling for statistical timing analysis of real-time systems

Dorin Maxim, Mike Houston, Luca Santinelli, Guillem Bernat, Robert I Davis, Liliana Cucu-Grosjean

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 20th International Conference on Real-Time and Network Systems
Pages111-120
DOIs
Publication statusPublished - Nov 2012
EventProceedings of the 20th International Conference on Real-Time and Network Systems - Pont a Mousson, France
Duration: 8 Nov 20129 Nov 2012

Conference

ConferenceProceedings of the 20th International Conference on Real-Time and Network Systems
Country/TerritoryFrance
CityPont a Mousson
Period8/11/129/11/12

Keywords

  • probabilistic analysis
  • real-time

Cite this