Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

Banner header
61.607 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Centres de recerca
  • BSC - Barcelona Supercomputing Center
  • Computer Sciences
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Centres de recerca
  • BSC - Barcelona Supercomputing Center
  • Computer Sciences
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

Thumbnail
View/Open
EPC Extended Path Coverage for.pdf (449,1Kb)
 
10.1109/RTSS.2015.39
 
  View Usage Statistics
  LA Referencia / Recolecta stats
Cita com:
hdl:2117/97171

Show full item record
Ziccardi, Marco
Mezzetti, EnricoMés informació
Vardanega, Tullio
Abella Ferrer, JaumeMés informació
Cazorla, Francisco J.
Document typeConference lecture
Defense date2016-01-18
PublisherIEEE
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
ProjectRYC-2013-14717 (MINECO-RYC-2013-14717)
Abstract
Measurement-based probabilistic timing analysis (MBPTA) computes trustworthy upper bounds to the execution time of software programs. MBPTA has the connotation, typical of measurement-based techniques, that the bounds computed with it only relate to what is observed in actual program traversals, which may not include the effective worst-case phenomena. To overcome this limitation, we propose Extended Path Coverage (EPC), a novel technique that allows extending the representativeness of the bounds computed by MBPTA. We make the observation data probabilistically path-independent by modifying the probability distribution of the observed timing behaviour so as to negatively compensate for any benefits that a basic block may draw from a path leading to it. This enables the derivation of trustworthy upper bounds to the probabilistic execution time of all paths in the program, even when the user-provided input vectors do not exercise the worst-case path. Our results confirm that using MBPTA with EPC produces fully trustworthy upper bounds with competitively small overestimation in comparison to state-of-the-art MBPTA techniques.
CitationZiccardi, Marco [et al.]. EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis. A: Real-Time Systems Symposium (1-4 Dec. 2015). "Real-Time Systems Symposium, 2015 IEEE". IEEE, 2016, p. 338-349. 
URIhttp://hdl.handle.net/2117/97171
DOI10.1109/RTSS.2015.39
ISBN978-1-4673-9507-6
Publisher versionhttp://ieeexplore.ieee.org/document/7383590/
Collections
  • Computer Sciences - Ponències/Comunicacions de congressos [530]
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
EPC Extended Path Coverage for.pdf449,1KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Privacy Settings
  • Inici de la pàgina