Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-00766045
Contributor : Dorin Maxim <>
Submitted on : Monday, December 17, 2012 - 2:36:53 PM
Last modification on : Tuesday, December 18, 2018 - 4:42:03 PM
Long-term archiving on: : Sunday, December 18, 2016 - 3:34:27 AM

File

RTNS_2012_camera_ready_sumbite...
Publisher files allowed on an open archive

Identifiers

  • 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, Liliana Cucu-Grosjean and Nicolas Navet, Nov 2012, Pont à Mousson, France. ⟨hal-00766045⟩

Share

Metrics

Record views

286

Files downloads

605