Show simple item record

dc.contributor.authorAlcaide, Sergi
dc.contributor.authorHernandez, Carles
dc.contributor.authorRoca, Antoni
dc.contributor.authorAbella, Jaume
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Matemàtiques
dc.date.accessioned2017-09-12T09:29:32Z
dc.date.issued2017
dc.identifier.citationAlcaide, S., Hernandez, C., Roca, A., Abella, J. DIMP: A low-cost diversity metric based on circuit path analysis. A: Design Automation Conference. "DAC '17 Proceedings of the 54th Annual Design Automation Conference 2017". 2017, p. 45 : 1-45 : 6.
dc.identifier.urihttp://hdl.handle.net/2117/107546
dc.description.abstractDiversity has been regarded as a desirable property of redundant instances, since it allows circuits to behave differently in front of a given fault. However, while qualitatively diversity is a well-understood concept, usable efficient metrics do not exist to quantify diversity in the context of safety-related systems. In this paper we cover this gap by proposing DIMP, a low-cost diversity metric based on analyzing the paths of the redundant circuits. We relate it to the particular case of automotive microcontrollers implementing lockstep cores and show that it can be successfully used providing relevant information for addressing common cause faults.
dc.description.sponsorshipThis work has 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. Carles Hernández is jointly funded by the MINECO and FEDER funds through grant TIN2014-60404-JIN.
dc.language.isoeng
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
dc.subject.lcshMicrocontrollers
dc.titleDIMP: A low-cost diversity metric based on circuit path analysis
dc.typeConference report
dc.subject.lemacAutomòbils -- Equip electrònic
dc.subject.lemacMicroprocessadors
dc.subject.lemacCircuits integrats
dc.contributor.groupUniversitat Politècnica de Catalunya. GRHCT - Grup de Recerca d'Història de la Ciència i de la Tècnica
dc.identifier.doi10.1145/3061639.3062231
dc.relation.publisherversionhttp://dl.acm.org/citation.cfm?id=3062231
drac.iddocument21184794
dc.description.versionPostprint (published version)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2015-65316-P
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2014-60404-JIN
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/RYC-2013-14717
upcommons.citation.authorAlcaide, S., Hernandez, C., Roca, A., Abella, J.
upcommons.citation.contributorDesign Automation Conference
upcommons.citation.publishedtrue
upcommons.citation.publicationNameDAC '17 Proceedings of the 54th Annual Design Automation Conference 2017
upcommons.citation.startingPage45 : 1
upcommons.citation.endingPage45 : 6


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