Re-Sampling for Statistical Timing Analysis of Real-Time Systems
| Autor: | Guillem Bernat, Robert I. Davis, Michael Houston, Dorin Maxim, Luca Santinelli, Liliana Cucu-Grosjean |
|---|---|
| Přispěvatelé: | Real time and interoperability (TRIO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Rapita Systems Ltd [York], Department of Computer Science [York] (CS-YORK), University of York [York, UK], PROARTIS Project grant agreement no. 249100 (www.proartis-project.eu) and the UK EPSRC funded Tempo project (EP/G055548/1)., Liliana Cucu-Grosjean and Nicolas Navet, Rapita Systems Ltd. and University of York, United Kingdom, Department of Networks, Systems and Services (LORIA - NSS), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL) |
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
Re-sampling
Computer science Real-time computing Real Time Sampling Sampling (statistics) Re sampling 02 engineering and technology 020202 computer hardware & architecture Task (project management) Pessimism ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.2: Distribution functions Probabilistic method 020204 information systems 0202 electrical engineering electronic engineering information engineering Probabilistic Real Time ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems Probability distribution Probabilistic Execution Time [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Statistical timing ACM: J.: Computer Applications/J.7: COMPUTERS IN OTHER SYSTEMS/J.7.6: Real time |
| Zdroj: | RTNS-20th International Conference on Real-Time and Network Systems-2012 RTNS-20th International Conference on Real-Time and Network Systems-2012, Liliana Cucu-Grosjean and Nicolas Navet, Nov 2012, Pont à Mousson, France RTNS |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|