Show simple item record

dc.contributor.advisorTOBB ETU, Faculty of Engineering,Department of Computer Engineeringen_US
dc.contributor.advisorTOBB ETÜ, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümütr_TR
dc.contributor.authorMartinez, Jorge A.
dc.contributor.authorAtamaner, Mert
dc.contributor.authorReviriego, Pedro
dc.contributor.authorErgin, Oğuz
dc.contributor.authorOttavi, Marco
dc.date.accessioned2019-03-15T15:50:54Z
dc.date.available2019-03-15T15:50:54Z
dc.date.issued2018-07
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.identifier.urihttp://hdl.handle.net/20.500.11851/721
dc.identifier.urihttps://doi.org/10.1016/j.microrel.2018.03.017
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.language.isoeng
dc.publisherElsevier Ltd.
dc.relation.isversionof10.1016/j.microrel.2018.03.017
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectComputer crimeen_US
dc.subjectVirusesen_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.typearticle
dc.relation.journalMicroelectronics Reliabilityen_US
dc.contributor.departmentTOBB ETÜ, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümütr
dc.identifier.volume86
dc.identifier.startpage92
dc.identifier.endpage97
dc.contributor.orcidErgin, Oğuz [0000-0003-0784-8365]
dc.identifier.wosWOS:000438833000011
dc.identifier.scopus2-s2.0-85044341446
dc.contributor.tobbetuauthorErgin, Oğuz
dc.contributor.tobbetuauthorAtamaner, Mert
dc.contributor.YOKid143001
dc.identifier.doi10.1016/j.microrel.2018.03.017
dc.contributor.wosresearcherIDErgin, Oğuz [E-5717-2010]
dc.contributor.ScopusAuthorID6603141208
dc.contributor.ScopusAuthorID57201318636
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record