Show simple item record

dc.contributor.authorKosmidis, Leonidas
dc.contributor.authorQuiñones, Eduardo
dc.contributor.authorAbella Ferrer, Jaume
dc.contributor.authorFarrall, Glenn
dc.contributor.authorWartel, Franck
dc.contributor.authorCazorla Almeida, Francisco Javier
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.date.accessioned2014-07-28T07:22:40Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationKosmidis, L. [et al.]. Containing timing-related certification cost in automotive systems deploying complex hardware. A: Design Automation Conference. "DAC '14, Design Automation Conference: conference proceedings, Moscone Center, June 2-5, 2014, San Francisco, CA". San Francisco, CA: Association for Computing Machinery (ACM), 2014, p. 1-6.
dc.identifier.isbn978-1-4799-3017-3
dc.identifier.urihttp://hdl.handle.net/2117/23632
dc.description.abstractMeasurement-Based Probabilistic Timing Analysis (MBPTA) techniques simplify deriving tight and trustworthy WCET estimates for industrial-size programs running on complex processors. MBPTA poses some requirements on the timing behaviour of the hardware/software platform: execution times of end-to-end runs have to be independent and identically distributed (i.i.d.). Hardware and software solutions have been deployed to accomplish MBPTA requirements. The latter has achieved the i.i.d. properties running on some commercial off-the-shelf (COTS) processor designs. Unfortunately, software randomisation challenges functional verification needed for certification since it introduces indirections through pointers in the code. In this paper we propose a new approach to software randomisation able to contain its functional verification costs. Our approach performs software randomisation statically, as opposed to current dynamic approaches. We carefully review the requirements of the new approach and prove its feasibility.
dc.format.extent6 p.
dc.language.isoeng
dc.publisherAssociation for Computing Machinery (ACM)
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::Informàtica::Hardware
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshReal-time programming
dc.subject.lcshFault-tolerant computing
dc.subject.otherReal-time
dc.subject.otherWCET
dc.subject.otherCertification
dc.subject.otherDesign
dc.subject.otherPerformance
dc.subject.otherStandardization
dc.titleContaining timing-related certification cost in automotive systems deploying complex hardware
dc.typeConference report
dc.subject.lemacProgramació en temps real
dc.subject.lemacTolerància als errors (Informàtica)
dc.identifier.doi10.1145/2593069.2593112
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://dl.acm.org/citation.cfm?id=2593112
dc.rights.accessRestricted access - publisher's policy
drac.iddocument15013550
dc.description.versionPostprint (published version)
dc.date.lift10000-01-01
upcommons.citation.authorKosmidis, L.; Quiñones, E.; Abella, J.; Farrall, G.; Wartel, F.; Cazorla, F.
upcommons.citation.contributorDesign Automation Conference
upcommons.citation.pubplaceSan Francisco, CA
upcommons.citation.publishedtrue
upcommons.citation.publicationNameDAC '14, Design Automation Conference: conference proceedings, Moscone Center, June 2-5, 2014, San Francisco, CA
upcommons.citation.startingPage1
upcommons.citation.endingPage6


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

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