Re-Sampling for Statistical Timing Analysis of Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Re-Sampling for Statistical Timing Analysis of Real-Time Systems

Dorin Maxim
  • Function : Author
  • PersonId : 884508
Luca Santinelli
  • Function : Author
  • PersonId : 884507
Robert Davis
Liliana Cucu
  • Function : Author
  • PersonId : 844766


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.
Fichier principal
Vignette du fichier
RTNS_2012_camera_ready_sumbited_20september.pdf (530.31 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-00766045 , version 1 (17-12-2012)


  • HAL Id : hal-00766045 , version 1


Dorin Maxim, Michael Houston, Luca Santinelli, Guillem Bernat, Robert Davis, et al.. Re-Sampling for Statistical Timing Analysis of Real-Time Systems. RTNS - 20th International Conference on Real-Time and Network Systems - 2012, Liliana Cucu-Grosjean and Nicolas Navet, Nov 2012, Pont à Mousson, France. ⟨hal-00766045⟩
125 View
351 Download


Gmail Facebook X LinkedIn More