Show simple item record

dc.contributor.authorFernandez, Mikel
dc.contributor.authorMorales, David
dc.contributor.authorKosmidis, Leonidas
dc.contributor.authorBardizbanyan, Alen
dc.contributor.authorBroster, Ian
dc.contributor.authorHernandez, Carles
dc.contributor.authorQuiñones, Eduardo
dc.contributor.authorAbella, Jaume
dc.contributor.authorCazorla, Francisco
dc.contributor.authorMachado, Paulo
dc.contributor.authorFossati, Luca
dc.contributor.otherBarcelona Supercomputing Center
dc.date.accessioned2017-05-16T14:49:13Z
dc.date.available2017-05-16T14:49:13Z
dc.date.issued2017-05-15
dc.identifier.citationFernandez, M. [et al.]. Probabilistic timing analysis on time-randomized platforms for the space domain. A: 2017 Design, Automation & Test in Europe, Lausanne, Switzerland,. "2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 738-739.
dc.identifier.isbn978-3-9815370-8-6
dc.identifier.urihttp://hdl.handle.net/2117/104524
dc.description.abstractTiming Verification is a fundamental step in real-time embedded systems, with measurement-based timing analysis (MBTA) being the most common approach used to that end. We present a Space case study on a real platform that has been modified to support a probabilistic variant of MBTA called MBPTA. Our platform provides the properties required by MBPTA with the predicted WCET estimates with MBPTA being competitive to those with current MBTA practice while providing more solid evidence on their correctness for certification.
dc.description.sponsorshipThe research leading to these results has received funding from the European Community’s FP7 [FP7/2007-2013] under the PROXIMA Project (www.proxima-project.eu), grant agreement no 611085. This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence. Jaume Abella has been partially supported by the Ministry of Economy and Competitiveness under Ramon y Cajal postdoctoral fellowship number RYC-2013-14717. Carles Hernandez is jointly funded by the Spanish Ministry of Economy and Competitiveness and FEDER funds through grant TIN2014-60404-JIN.
dc.format.extent2 p.
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.subjectÀrees temàtiques de la UPC::Enginyeria electrònica
dc.subject.lcshTiming circuits--Design and construction--Data processing
dc.subject.lcshEmbedded computer systems
dc.subject.lcshAerospace engineering
dc.subject.otherProbabilistic logic
dc.subject.otherTiming
dc.subject.otherAerospace electronics
dc.subject.otherProgram processors
dc.subject.otherReal-time systems
dc.titleProbabilistic timing analysis on time-randomized platforms for the space domain
dc.typeConference lecture
dc.subject.lemacLògica informàtica
dc.subject.lemacSistemes incrustats (Informàtica)
dc.identifier.doi10.23919/DATE.2017.7927087
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ieeexplore.ieee.org/document/7927087/
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
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2014-60404-JIN
upcommons.citation.contributor2017 Design, Automation & Test in Europe, Lausanne, Switzerland,
upcommons.citation.publishedtrue
upcommons.citation.publicationName2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)
upcommons.citation.startingPage738
upcommons.citation.endingPage739


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

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