English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/155367
COMPARTIR / IMPACTO:
Estadísticas
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Título

On the assessment of probabilistic WCET estimates reliability for arbitrary program

AutorMilutinovic, Suzana; Abella, Jaume; Cazorla, Francisco J.
Palabras claveVerification Safety
Probabilistic timing analysis
WCET
Real time
Fecha de publicación2017
EditorSpringer
CitaciónEurasip Journal of Embedded Systems 2017:28
ResumenMeasurement-Based Probabilistic Timing Analysis (MBPTA) has been shown to be an industrially viable method to estimate the Worst-Case Execution Time (WCET) of real-time program running on processors including several high-performance features. MBPTA requires hardware/software support so that program execution time, and so its WCET, has a probabilistic behaviour and can be modelled with probabilistic and statistic methods. MBPTA also requires that those events with high impact on execution time are properly captured in the (R) runs made at analysis time. Thus, a representativeness argument is needed to provide evidence that those events have been captured. This paper addresses the MBPTA representativeness problems caused by set-associative caches and presents a novel representativeness validation method (ReVS) for cache placement. Building on cache simulation, ReVS explores the probability and impact (miss count) of those cache placements that can occur during operation. ReVS determines the number of runs R, which can be higher than R, such that those cache placements with the highest impact are effectively observed in the analysis runs, and hence, MBPTA can be reliably applied to estimate the WCET. Open Access © The Author(s) 2017.
URIhttp://hdl.handle.net/10261/155367
DOI10.1186/s13639-017-0076-8
Identificadoresdoi: 10.1186/s13639-017-0076-8
issn: 1687-3963
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
EJES(2017)_1-num28.pdf1,31 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.