Show simple item record

dc.contributor.authorMezzetti, Enrico
dc.contributor.authorFernandez, Mikel
dc.contributor.authorBardizbanyan, Alen
dc.contributor.authorAgirre, Irune
dc.contributor.authorAbella Ferrer, Jaume
dc.contributor.authorVardanega, Tullio
dc.contributor.authorCazorla, Francisco J.
dc.contributor.otherBarcelona Supercomputing Center
dc.date.accessioned2017-07-27T08:18:39Z
dc.date.available2017-07-27T08:18:39Z
dc.date.issued2017-06-08
dc.identifier.citationMezzetti, E. [et al.]. EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application. A: "2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 163-174.
dc.identifier.isbn978-1-5090-5269-1
dc.identifier.urihttp://hdl.handle.net/2117/106899
dc.description.abstractMeasurement-based timing analysis approaches are increasingly making their way into several industrial domains on account of their good cost-benefit ratio. The trustworthiness of those methods, however, suffers from the limitation that their results are only valid for the particular paths and execution conditions that the user is able to explore with the available input vectors. It is generally not possible to guarantee that the collected measurements are fully representative of the worst-case timing behaviour. In the context of measurement-based probabilistic timing analysis, the Extended Path Coverage (EPC) approach has been recently proposed as a means to extend the representativeness of measurement observations, to obtain the same effect of full path coverage. At the time of its first publication, EPC had not reached an implementation maturity that could be trialled industrially. In this work we analyze the practical implications of using EPC with real-world applications, and discuss the challenges in integrating it in an industrial-quality toolchain. We show that we were able to meet EPC requirements and successfully evaluate the technique on a real Railway application, on top of a commercial toolchain and full execution stack.
dc.description.sponsorshipThis work has received funding from the European Community’s Seventh Framework Programme [FP7/2007-2013] under grant agreement 611085 (PROXIMA, www.proxima-project.eu). This work has also been partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under grant 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. The authors are grateful to Antoine Colin from Rapita Ltd. for his precious support.
dc.format.extent12 p.
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Enginyeria electrònica
dc.subject.lcshTiming circuits--Design and construction--Data processing
dc.subject.lcshSoftware
dc.subject.otherTiming
dc.subject.otherProbabilistic logic
dc.subject.otherSoftware
dc.subject.otherHardware
dc.subject.otherRail transportation
dc.subject.otherContext
dc.subject.otherPrototypes
dc.subject.otherMeasurement-based probabilistic timing analysis
dc.subject.otherPath coverage
dc.subject.otherEvaluation
dc.titleEPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application
dc.typeConference lecture
dc.subject.lemacProgramari
dc.subject.lemacOrdinadors--Circuits
dc.identifier.doi10.1109/RTAS.2017.19
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ieeexplore.ieee.org/document/7939037/
dc.rights.accessOpen Access
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2015-65316-P
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/RYC-2013-14717
local.citation.publicationName2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
local.citation.startingPage163
local.citation.endingPage174


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain