Título:
|
DIMP: A low-cost diversity metric based on circuit path analysis
|
Autor/a:
|
Alcaide, Sergi; Hernandez, Carles; Roca, Antoni; Abella, Jaume
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Matemàtiques; Universitat Politècnica de Catalunya. GRHCT - Grup de Recerca d'Història de la Ciència i de la Tècnica |
Abstract:
|
Diversity 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. |
Abstract:
|
This 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. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica -Microcontrollers -Automòbils -- Equip electrònic -Microprocessadors -Circuits integrats |
Derechos:
|
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento:
|
Artículo - Versión publicada Objeto de conferencia |
Compartir:
|
|