Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMartinez, Jorge A.-
dc.contributor.authorAtamaner, Mert-
dc.contributor.authorReviriego, Pedro-
dc.contributor.authorErgin, Oğuz-
dc.contributor.authorOttavi, Marco-
dc.identifier.citationMartinez, J., Atamaner, M., Reviriego, P., Ergin, O., & Ottavi, M. (2018). Opcode vector: An efficient scheme to detect soft errors in instructions. Microelectronics Reliability, 86, 92-97.
dc.description.abstractBit flips on instructions may affect the execution of the processor depending on the Instruction Set Architecture (ISA) and the location of the flipped bits. Intrinsically, ISAs may detect bit upsets if the errors on the instructions produce exceptions that halt the execution. In this paper, we explore a dynamic checking of the instructions to detect errors before execution. The scheme is based on loading an approximate representation of the instructions based on a vector that identifies the opcodes used in the program in a special purpose register. During execution, instructions are first checked on the register and on a negative an error is detected as the instruction has an opcode that does not correspond to any of the ones used in the program. Since we use an approximate representation, a small number of false positives can occur for erroneous instructions which may still be detected if they lead to a system crash. The proposed opcode vector scheme is compared with the use of a Bloom filter (BF) that has been previously proposed to detect errors on instructions. In both cases, a check can produce false positives but not false negatives. The Bloom filter is built using all the bits in the instruction. On the other hand, the opcode vector uses only a few bits of the instruction. In both cases, the check is combined with a previous error propagation scheme. In the opcode case, this ensures that all errors corrupt the opcode bits while for the BF, the error propagation reduces the number of false positives. The proposed approach has two main benefits. The first one is an increase in the error detection rate as the set of valid instructions is restricted to those used in the program allowing the detection of invalid instructions even if they do not lead to a system crash. The second one is that errors are detected before the crash. This is done at the cost of adding a small register for the vector of opcodes and some control logic. This is significantly simpler than in the case of the BF that needs to compute several hash functions and access several bits on the register to perform the check. We evaluated this approach on binary files of the ARM Cortex M0 core. According to our findings, the proposed vector of opcodes is more effective to detect errors than the BF and its detection rate is less dependent on the program size. Based on those results, it seems that the proposed method can be an interesting option to detect errors in instructions for systems on which a small overhead can be introduced if it improves reliability.en_US
dc.publisherElsevier Ltd.en_US
dc.relation.ispartofMicroelectronics Reliabilityen_US
dc.subjectComputer crimeen_US
dc.subjectMalware classificationen_US
dc.subjectBloom filtersen_US
dc.subjectInstruction Set Architectureen_US
dc.subjectSoft errorsen_US
dc.titleOpcode vector: An efficient scheme to detect soft errors in instructionsen_US
dc.departmentFaculties, Faculty of Engineering, Department of Computer Engineeringen_US
dc.departmentFakülteler, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümütr_TR
dc.institutionauthorErgin, Oğuz-
dc.institutionauthorAtamaner, Mert-
dc.authorwosidErgin, Oğuz [E-5717-2010]-
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
item.fulltextNo Fulltext-
item.openairetypeArticle- Department of Computer Engineering-
Appears in Collections:Bilgisayar Mühendisliği Bölümü / Department of Computer Engineering
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Show simple item record

CORE Recommender


checked on Sep 24, 2022

Page view(s)

checked on Mar 20, 2023

Google ScholarTM



Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.