Mostra el registre d'ítem simple
On the assessment of probabilistic WCET estimates reliability for arbitrary programs
dc.contributor.author | Milutinovic, Suzana |
dc.contributor.author | Abella Ferrer, Jaume |
dc.contributor.author | Cazorla, Francisco |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors |
dc.contributor.other | Barcelona Supercomputing Center |
dc.date.accessioned | 2017-05-31T09:09:20Z |
dc.date.available | 2017-05-31T09:09:20Z |
dc.date.issued | 2017-04-11 |
dc.identifier.citation | Milutinovic, S., Abella, Jaume, Cazorla, F. On the assessment of probabilistic WCET estimates reliability for arbitrary programs. "Eurasip journal on embedded systems", 11 Abril 2017, núm. 2017:28, p. 1-16. |
dc.identifier.issn | 1687-3955 |
dc.identifier.uri | http://hdl.handle.net/2117/105060 |
dc.description.abstract | Measurement-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 programs running on processors including several high-performance features. MBPTA requires hardware/software support so that program’s 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. |
dc.description.sponsorship | This work has received funding from the European Community’s FP7 program [FP7/2007–2013] under grant agreement 611085 (PROXIMA, www.proximaproject.eu). Support was also provided by the Ministry of Science and Technology of Spain under contract TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the MINECO under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.rights | Attribution 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Real-time programming |
dc.subject.other | Real time |
dc.subject.other | WCET |
dc.subject.other | Probabilistic timing analysis |
dc.subject.other | Verification |
dc.subject.other | Safety |
dc.title | On the assessment of probabilistic WCET estimates reliability for arbitrary programs |
dc.type | Article |
dc.subject.lemac | Programació en temps real |
dc.identifier.doi | 10.1186/s13639-017-0076-8 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://jes-eurasipjournals.springeropen.com/articles/10.1186/s13639-017-0076-8 |
dc.rights.access | Open Access |
local.identifier.drac | 20336247 |
dc.description.version | Postprint (published version) |
dc.relation.projectid | info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/ |
dc.relation.projectid | info:eu-repo/grantAgreement/MINECO//RYC-2013-14717/ES/RYC-2013-14717/ |
dc.relation.projectid | info:eu-repo/grantAgreement/EC/FP7/611085/EU/Probabilistic real-time control of mixed-criticality multicore and manycore systems/PROXIMA |
local.citation.author | Milutinovic, S.; Abella, Jaume; Cazorla, F. |
local.citation.publicationName | Eurasip journal on embedded systems |
local.citation.number | 2017:28 |
local.citation.startingPage | 1 |
local.citation.endingPage | 16 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [318]
-
Articles de revista [1.050]