Mostra el registre d'ítem simple
Validating the reliability of WCET estimates with MBPTA
dc.contributor.author | Milutinovic, Suzana |
dc.contributor.author | Abella Ferrer, Jaume |
dc.contributor.author | Cazorla Almeida, Francisco Javier |
dc.date.accessioned | 2016-10-24T11:14:13Z |
dc.date.available | 2016-10-24T11:14:13Z |
dc.date.issued | 2015-05-05 |
dc.identifier.citation | Milutinovic, Suzana; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier. Validating the reliability of WCET estimates with MBPTA. A: 3rd BSC International Doctoral Symposium. "Book of abstracts". Barcelona Supercomputing Center, 2015, p. 68-70. |
dc.identifier.uri | http://hdl.handle.net/2117/90975 |
dc.description.abstract | Estimating the worst-case execution time (WCET) of tasks in a system is an important step in timing verification of critical real-time embedded systems. Measurement-Based Probabilistic Timing Analysis (MBPTA) is a novel and powerful method to compute WCET estimates based on measurements on the target platform. To provide reliable estimates, MBPTA needs to capture at analysis time the events with high impact on execution time. We propose a method to assess and increase the confidence that MBPTA captures the relevant events during analysis. |
dc.format.extent | 3 p. |
dc.language.iso | eng |
dc.publisher | Barcelona Supercomputing Center |
dc.relation.ispartof | BSC International Doctoral Symposium (3rd: 2016: Barcelona) |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica |
dc.subject.lcsh | High performance computing |
dc.subject.lcsh | Distribution (Probability theory) |
dc.subject.other | WCET |
dc.subject.other | MBPTA |
dc.subject.other | Worst-case execution time |
dc.subject.other | Measurement-based probabilistic timing analysis |
dc.title | Validating the reliability of WCET estimates with MBPTA |
dc.type | Conference report |
dc.subject.lemac | Distribució (Teoria de la probabilitat) |
dc.subject.lemac | Càlcul intensiu (Informàtica) |
dc.rights.access | Open Access |
local.citation.contributor | 3rd BSC International Doctoral Symposium |
local.citation.publicationName | Book of abstracts |
local.citation.startingPage | 68 |
local.citation.endingPage | 70 |