Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.11851/721
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Martinez, Jorge A. | - |
dc.contributor.author | Atamaner, Mert | - |
dc.contributor.author | Reviriego, Pedro | - |
dc.contributor.author | Ergin, Oğuz | - |
dc.contributor.author | Ottavi, Marco | - |
dc.date.accessioned | 2019-03-15T15:50:54Z | |
dc.date.available | 2019-03-15T15:50:54Z | |
dc.date.issued | 2018-07 | |
dc.identifier.citation | Martinez, 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.uri | https://hdl.handle.net/20.500.11851/721 | - |
dc.identifier.uri | https://doi.org/10.1016/j.microrel.2018.03.017 | - |
dc.description.abstract | Bit 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.iso | en | en_US |
dc.publisher | Elsevier Ltd. | en_US |
dc.relation.ispartof | Microelectronics Reliability | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | Computer crime | en_US |
dc.subject | Viruses | en_US |
dc.subject | Malware classification | en_US |
dc.subject | Bloom filters | en_US |
dc.subject | Instruction Set Architecture | en_US |
dc.subject | Soft errors | en_US |
dc.title | Opcode Vector: an Efficient Scheme To Detect Soft Errors in Instructions | en_US |
dc.type | Article | en_US |
dc.department | Faculties, Faculty of Engineering, Department of Computer Engineering | en_US |
dc.department | Fakülteler, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü | tr_TR |
dc.identifier.volume | 86 | |
dc.identifier.startpage | 92 | |
dc.identifier.endpage | 97 | |
dc.authorid | 0000-0003-0784-8365 | - |
dc.identifier.wos | WOS:000438833000011 | en_US |
dc.identifier.scopus | 2-s2.0-85044341446 | en_US |
dc.institutionauthor | Ergin, Oğuz | - |
dc.institutionauthor | Atamaner, Mert | - |
dc.identifier.doi | 10.1016/j.microrel.2018.03.017 | - |
dc.identifier.doi | 10.1016/j.microrel.2018.03.017 | - |
dc.authorwosid | Ergin, Oğuz [E-5717-2010] | - |
dc.authorscopusid | 6603141208 | - |
dc.authorscopusid | 57201318636 | - |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
item.openairetype | Article | - |
item.languageiso639-1 | en | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
crisitem.author.dept | 02.3. 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 |
CORE Recommender
WEB OF SCIENCETM
Citations
1
checked on Dec 21, 2024
Page view(s)
160
checked on Dec 23, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.