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

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.
Type de document :
Communication dans un congrès
RTNS - 20th International Conference on Real-Time and Network Systems - 2012, Nov 2012, Pont à Mousson, France. ACM Digital Library, 2012
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00766045
Contributeur : Dorin Maxim <>
Soumis le : lundi 17 décembre 2012 - 14:36:53
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 03:34:27

Fichier

RTNS_2012_camera_ready_sumbite...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00766045, version 1

Collections

Citation

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, Nov 2012, Pont à Mousson, France. ACM Digital Library, 2012. 〈hal-00766045〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

320