Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V

This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset (SEU) and common-mode failure (CMF) problems. The Lock-V was deployed in two versions, Lock-VA and Lock-VM by applying design diversity in two...

Full description

Saved in:
Bibliographic Details
Published inMicroelectronics and reliability Vol. 120; pp. 1 - 8
Main Authors Marques, Ivo, Rodrigues, Cristiano, Tavares, Adriano, Pinto, Sandro, Gomes, Tiago
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 01.05.2021
Elsevier
Subjects
Online AccessGet full text

Cover

Loading…
Abstract This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset (SEU) and common-mode failure (CMF) problems. The Lock-V was deployed in two versions, Lock-VA and Lock-VM by applying design diversity in two processor architectures at the instruction set architecture (ISA)-level. Lock-VA features an Arm Cortex-A9 with a RISC-V RV64GC, while Lock-VM includes an Arm Cortex-M3 along with a RISC-V RV32IMA processor. The solution explores field-programmable gate array (FPGA) technology to deploy softcore versions of the RISC-V processors, and dedicated accelerators for performing error detection and triggering the software rollback system used for error recovery. To test Lock-V in both versions, a fault-injection mechanism was implemented to cause bit-flips in the processor registers, a common problem usually present in heavy radiation environments.
AbstractList This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset (SEU) and common-mode failure (CMF) problems. The Lock-V was deployed in two versions, Lock-VA and Lock-VM by applying design diversity in two processor architectures at the instruction set architecture (ISA)-level. Lock-VA features an Arm Cortex-A9 with a RISC-V RV64GC, while Lock-VM includes an Arm Cortex-M3 along with a RISC-V RV32IMA processor. The solution explores field-programmable gate array (FPGA) technology to deploy softcore versions of the RISC-V processors, and dedicated accelerators for performing error detection and triggering the software rollback system used for error recovery. To test Lock-V in both versions, a fault-injection mechanism was implemented to cause bit-flips in the processor registers, a common problem usually present in heavy radiation environments.
This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset (SEU) and common-mode failure (CMF) problems. The Lock-V was deployed in two versions, Lock-VA and Lock-VM by applying design diversity in two processor architectures at the instruction set architecture (ISA)-level. Lock-VA features an Arm Cortex-A9 with a RISC-V RV64GC, while Lock-VM includes an Arm Cortex-M3 along with a RISC-V RV32IMA processor. The solution explores fieldprogrammable gate array (FPGA) technology to deploy softcore versions of the RISC-V processors, and dedicated accelerators for performing error detection and triggering the software rollback system used for error recovery. To test Lock-V in both versions, a fault-injection mechanism was implemented to cause bit-flips in the processor registers, a common problem usually present in heavy radiation environments. This work has been supported by FCT - Fundação para a Ciência e a Tecnologia within the R&D Units Project Scope: UIDB/00319/2020.
ArticleNumber 114120
Author Marques, Ivo
Tavares, Adriano
Pinto, Sandro
Gomes, Tiago
Rodrigues, Cristiano
Author_xml – sequence: 1
  givenname: Ivo
  surname: Marques
  fullname: Marques, Ivo
  email: ivo.marques@algoritmi.uminho.pt
– sequence: 2
  givenname: Cristiano
  surname: Rodrigues
  fullname: Rodrigues, Cristiano
  email: cristiano.rodrigues@algoritmi.uminho.pt
– sequence: 3
  givenname: Adriano
  surname: Tavares
  fullname: Tavares, Adriano
  email: atavares@dei.uminho.pt
– sequence: 4
  givenname: Sandro
  surname: Pinto
  fullname: Pinto, Sandro
  email: sandro.pinto@dei.uminho.pt
– sequence: 5
  givenname: Tiago
  surname: Gomes
  fullname: Gomes, Tiago
  email: mr.gomes@dei.uminho.pt
BookMark eNqFkMtKAzEUhoMo2FZfQfICU3OSzk1cWIqXQkHwhrtwmpzR1OmkJKng2ztS3bjp6mz-7z_835Addr4jxs5AjEFAcb4ar50JPlA7lkLCGGACUhywAVSlzOoJvB6ygRCyyGQJk2M2jHElhCgFwIAtFt58ZC8XfMrfKVHwb9SR30be4LZNPPmWAnaGOAbz7hKZtA3ElxjJct_xaVhz7Cx_mD_OspcTdtRgG-n0947Y88310-wuW9zfzmfTRWZUlaesyEsh86WyytRqqbCsVYnYVFVpcwEEVa0MVkuqsaiFFU2OViHYBjAXFrFUI3a56-1nxxio0cYlTM53KaBrNQj9Y0av9J8Z_WNG78z0ePEP3wS3xvC1H-Q7MBjEjQ706WLCqKGSUldQqEkfudpFqN__6SjoaBz1Aq0LvTxtvdv35RsHSY4Z
CitedBy_id crossref_primary_10_15803_ijnc_12_2_387
crossref_primary_10_1109_ACCESS_2024_3425579
crossref_primary_10_3390_electronics11050766
crossref_primary_10_1109_TNS_2024_3406021
crossref_primary_10_3390_rs13183606
crossref_primary_10_54097_fcis_v4i2_10210
crossref_primary_10_1016_j_micpro_2024_105021
Cites_doi 10.1109/ICCES.2006.320462
10.1109/TNS.2018.2852606
10.1109/MM.2005.104
10.1109/TNS.2009.2013237
10.1109/CADS.2012.6316430
10.1109/TC.2012.55
10.1109/IECON.2013.6699483
10.1109/MICRO.2018.00065
10.1109/TDMR.2005.853449
10.1109/DSN.2018.00044
10.1109/23.903784
10.1109/TC.1976.1674598
10.1109/TDSC.2004.2
10.1109/TCST.2009.2026285
10.1109/RTAS.2019.00032
10.3182/20120403-3-DE-3010.00005
10.1109/REDW.2015.7336716
10.1109/24.914545
10.1145/2935748
10.1109/ICoCS.2015.7483287
10.1109/TNS.2020.3033188
10.1109/23.556861
10.1145/1435458.1435461
10.1109/TC.2017.2737996
10.1109/DSN-W.2016.57
10.1109/ASSCC.2017.8240279
ContentType Journal Article
Copyright 2021 Elsevier Ltd
Copyright_xml – notice: 2021 Elsevier Ltd
DBID RCLKO
AAYXX
CITATION
DOI 10.1016/j.microrel.2021.114120
DatabaseName RCAAP open access repository
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList

DeliveryMethod fulltext_linktorsrc
Discipline Engineering
DissertationSchool Universidade do Minho
EISSN 1872-941X
EndPage 8
ExternalDocumentID 10_1016_j_microrel_2021_114120
1822_81634
S002627142100086X
GrantInformation_xml – fundername: FCT
  grantid: UIDB/00319/2020
  funderid: https://doi.org/10.13039/501100001871
GroupedDBID --K
--M
.DC
.~1
0R~
123
1B1
1~.
1~5
29M
4.4
457
4G.
5VS
7-5
71M
8P~
9JN
AABNK
AABXZ
AACTN
AAEDT
AAEDW
AAEPC
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABFNM
ABFRF
ABJNI
ABMAC
ABXDB
ABXRA
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
ADTZH
AEBSH
AECPX
AEFWE
AEKER
AENEX
AEZYN
AFKWA
AFRZQ
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHJVU
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
AXJTR
AZFZN
BJAXD
BKOJK
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-2
G-Q
GBLVA
GBOLZ
HVGLF
HZ~
IHE
J1W
JJJVA
KOM
LY7
M41
MAGPM
MO0
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
RNS
ROL
RPZ
RXW
SDF
SDG
SES
SET
SEW
SPC
SPCBC
SPD
SSM
SST
SSV
SSZ
T5K
T9H
TAE
UHS
UNMZH
WUQ
XOL
ZMT
~G-
AATTM
AAXKI
AAYWO
ACVFH
ADCNI
AEIPS
AEUPX
AFPUW
AFXIZ
AGCQF
AGRNS
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
BNPGV
EFKBS
RCLKO
AAYXX
ABWVN
ACRPL
ADNMO
AFJKZ
AGQPQ
CITATION
SSH
ID FETCH-LOGICAL-c385t-657025b3d3c93b3a7937aaf887d501e1893ca8be9a690d0f5ad3a1df1a50daa73
IEDL.DBID .~1
ISSN 0026-2714
IngestDate Tue Jul 01 01:27:35 EDT 2025
Thu Apr 24 23:08:22 EDT 2025
Fri Aug 01 16:33:02 EDT 2025
Fri Feb 23 02:41:16 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Keywords Design diversity
Field-programmable gate array
RISC-V
Fault tolerance
Dual-core lockstep
Arm
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c385t-657025b3d3c93b3a7937aaf887d501e1893ca8be9a690d0f5ad3a1df1a50daa73
OpenAccessLink http://hdl.handle.net/1822/81634
PageCount 8
ParticipantIDs crossref_citationtrail_10_1016_j_microrel_2021_114120
crossref_primary_10_1016_j_microrel_2021_114120
rcaap_revistas_1822_81634
elsevier_sciencedirect_doi_10_1016_j_microrel_2021_114120
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2021-05-01
PublicationDateYYYYMMDD 2021-05-01
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-05-01
  day: 01
PublicationDecade 2020
PublicationTitle Microelectronics and reliability
PublicationYear 2021
Publisher Elsevier Ltd
Elsevier
Publisher_xml – name: Elsevier Ltd
– name: Elsevier
References J. Gomez-Cornejo, A. Zuloaga, U. Kretzschmar, U. Bidarte, J. Jimenez, Fast context reloading lockstep approach for SEUs mitigation in a FPGA soft core processor, in: IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 2013, pp. 2261–2266.
Baumann (bb0095) 2005; 5
L. A. Tambara, F. L. Kastensmidt, N. H. Medina, N. Added, V. A. P. Aguiar, F. Aguirre, E. L. A. Macchione, M. A. G. Silveira, Heavy ions induced single event upsets testing of the 28 nm Xilinx Zynq-7000 all programmable SoC, in: 2015 IEEE Radiation Effects Data Workshop (REDW), 2015, pp. 1–6.
S. Pinto, H. Araujo, D. Oliveira, J. Martins, A. Tavares, Virtualization on TrustZone-enabled microcontrollers? Voilà!, in: 2019 IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), 2019, pp. 293–304.
A. Hanafi, M. Karim, A. E. Hammami, Dual-lockstep microblaze-based embedded system for error detection and recovery with reconfiguration technique, in: Third World Conference on Complex Systems (WCCS), 2015, pp. 1–6.
J. Han, Y. Kwon, Y. C. P. Cho, H. Yoo, A 1GHz fault tolerant processor with dynamic lockstep and self-recovering cache for ADAS SoC complying with ISO26262 in automotive electronics, in: 2017 IEEE Asian Solid-State Circuits Conference, 2017, pp. 313–316.
P. Shivakumar, M. Kistler, S. W. Keckler, D. Burger, L. Alvisi, Modeling the effect of technology trends on the soft error rate of combinational logic, in: Proceedings International Conference on Dependable Systems and Networks, 2002, pp. 389–398.
Saggese, Wang, Kalbarczyk, Patel, Iyer (bb0175) 2005; 25
Rodrigues, Marques, Pinto, Gomes, Tavares (bb0090) 2019; 1
Ramsauer, Kiszka, Lohmann, Mauerer (bb0035) 2017
Lins, Tambara, Kastensmidt, Rech (bb0160) 2017; 64
Vlagkoulis, Sari, Vrachnis, Antonopoulos, Segkos, Psarakis, Tavoularis, Furano, Boatella Polo, Poivey, Ferlet-Cavrois, Kastriotou, Fernandez Martinez, Alia, Voss, Schuy (bb0195) 2021; 68
J. Martins, A. Tavares, M. Solieri, M. Bertogna, S. Pinto, Bao: a lightweight static partitioning hypervisor for modern multi-core embedded systems, in: M. Bertogna, F. Terraneo (Eds.), Workshop on Next Generation Real-time Embedded Systems (NG-RES 2020), Vol. 77 of OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2020, pp. 3:1–3:14.
Ramos, Ullah, Reviriego, Maestro (bb0170) 2018; 67
Pham, Pillement, Piestrak (bb0135) 2013; 62
E. Ozer, B. Venu, X. Iturbe, S. Das, S. Lyberis, J. Biggs, P. Harrod, J. Penton, Error correlation prediction in lockstep processors for safety-critical systems, in: 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2018, pp. 737–748.
Dubrova (bb0065) 2013
S. Ainsworth, T. M. Jones, Parallel error detection using heterogeneous cores, in: 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018, pp. 338–349.
L. M. Kaufman, S. Bhide, B. W. Johnson, Modeling of common-mode failures in digital embedded systems, in: Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055), 2000, pp. 350–357.
Aviziens (bb0005) 1976; C-25
Normand (bb0015) 1996; 43
Garcia, Gomes, Salgado, Cabral, Cardoso, Ekpanyapong, Tavares (bb0110) 2012; 45
Mitra, Saxena, McCluskey (bb0085) 2000; 49
Hwang, Kim, Kim, Seah (bb0100) 2010; 18
Abate, Sterpone, Lisboa, Carro, Violante (bb0105) Aug 2009; 56
G. Memik, M. T. Kandemir, O. Ozturk, Increasing register file immunity to transient errors, in: Design, Automation and Test in Europe, 2005, pp. 586–591 Vol. 1.
R. West, Y. Li, E. Missimer, M. Danish, A virtualized separation kernel for mixed-criticality systems, ACM Trans. Comput. Syst. 34 (3) (Jun. 2016).
Pierce (bb0010) 1965; 247
R. Velazco, S. Rezgui, R. Ecoffet, Predicting error rate for microprocessor-based digital architectures through C.E.U. (Code Emulating Upsets) injection, IEEE Transactions on Nuclear Science 47 (6) (2000) 2405–2411.
G. Heiser, The role of virtualization in embedded systems, in: Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, IIES '08, Association for Computing Machinery, 2008, p. 11–16.
M. Al-Kuwaiti, N. Kyriakopoulos, S. Hussein, Network dependability, fault-tolerance, reliability, security, survivability: a framework for comparative analysis, in: 2006 International Conference on Computer Engineering and Systems, 2006, pp. 282–287.
Avizienis, Laprie, Randell, Landwehr (bb0050) 2004; 1
T. Kottke, A. Steininger, A reconfigurable generic dual-core architecture, in: International Conference on Dependable Systems and Networks (DSN'06), 2006, pp. 45–54.
M. A. Abazari, M. Fazeli, A. Patooghy, S. G. Miremadi, An efficient technique to tolerate MBU faults in register file of embedded processors, in: The 16th CSI International Symposium on Computer Architecture and Digital Systems, 2012, pp. 115–120.
M. Masmano, I. Ripoll, A. Crespo, J. Metge, Xtratum: a hypervisor for safety critical embedded systems, in: Proceedings of the 11th Real-time Linux Workshop, 2009, pp. 263–272.
Yiu (bb0075) 2015
Kral, Chong, Schreiber (bb0115) 2017
X. Iturbe, B. Venu, E. Ozer, S. Das, A Triple Core Lock-Step (TCLS) ARM® Cortex®-R5 processor for safety-critical and ultra-reliable applications, in: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016, pp. 246–249.
de Oliveira, Rodrigues, Kastensmidt, Added, Macchione, Aguiar, Medina, Silveira (bb0120) Aug 2018; 65
Saggese (10.1016/j.microrel.2021.114120_bb0175) 2005; 25
Dubrova (10.1016/j.microrel.2021.114120_bb0065) 2013
Avizienis (10.1016/j.microrel.2021.114120_bb0050) 2004; 1
Aviziens (10.1016/j.microrel.2021.114120_bb0005) 1976; C-25
Abate (10.1016/j.microrel.2021.114120_bb0105) 2009; 56
10.1016/j.microrel.2021.114120_bb0070
Baumann (10.1016/j.microrel.2021.114120_bb0095) 2005; 5
10.1016/j.microrel.2021.114120_bb0190
Yiu (10.1016/j.microrel.2021.114120_bb0075) 2015
10.1016/j.microrel.2021.114120_bb0155
10.1016/j.microrel.2021.114120_bb0055
Lins (10.1016/j.microrel.2021.114120_bb0160) 2017; 64
10.1016/j.microrel.2021.114120_bb0130
10.1016/j.microrel.2021.114120_bb0030
10.1016/j.microrel.2021.114120_bb0150
Mitra (10.1016/j.microrel.2021.114120_bb0085) 2000; 49
10.1016/j.microrel.2021.114120_bb0125
Vlagkoulis (10.1016/j.microrel.2021.114120_bb0195) 2021; 68
Hwang (10.1016/j.microrel.2021.114120_bb0100) 2010; 18
Normand (10.1016/j.microrel.2021.114120_bb0015) 1996; 43
Pham (10.1016/j.microrel.2021.114120_bb0135) 2013; 62
Pierce (10.1016/j.microrel.2021.114120_bb0010) 1965; 247
de Oliveira (10.1016/j.microrel.2021.114120_bb0120) 2018; 65
10.1016/j.microrel.2021.114120_bb0060
Ramsauer (10.1016/j.microrel.2021.114120_bb0035) 2017
Ramos (10.1016/j.microrel.2021.114120_bb0170) 2018; 67
10.1016/j.microrel.2021.114120_bb0180
10.1016/j.microrel.2021.114120_bb0080
Garcia (10.1016/j.microrel.2021.114120_bb0110) 2012; 45
Kral (10.1016/j.microrel.2021.114120_bb0115) 2017
10.1016/j.microrel.2021.114120_bb0025
Rodrigues (10.1016/j.microrel.2021.114120_bb0090) 2019; 1
10.1016/j.microrel.2021.114120_bb0145
10.1016/j.microrel.2021.114120_bb0045
10.1016/j.microrel.2021.114120_bb0165
10.1016/j.microrel.2021.114120_bb0020
10.1016/j.microrel.2021.114120_bb0185
10.1016/j.microrel.2021.114120_bb0140
10.1016/j.microrel.2021.114120_bb0040
References_xml – reference: G. Memik, M. T. Kandemir, O. Ozturk, Increasing register file immunity to transient errors, in: Design, Automation and Test in Europe, 2005, pp. 586–591 Vol. 1.
– volume: 68
  start-page: 36
  year: 2021
  end-page: 45
  ident: bb0195
  article-title: Single event effects characterization of the programmable logic of Xilinx Zynq-7000 FPGA using very/ultra high-energy heavy ions
  publication-title: IEEE Trans. Nucl. Sci.
– volume: 45
  start-page: 145
  year: 2012
  end-page: 150
  ident: bb0110
  article-title: A fault tolerant design methodology for a FPGA-based softcore processor
  publication-title: IFAC Proc. Vol.
– reference: R. West, Y. Li, E. Missimer, M. Danish, A virtualized separation kernel for mixed-criticality systems, ACM Trans. Comput. Syst. 34 (3) (Jun. 2016).
– reference: M. A. Abazari, M. Fazeli, A. Patooghy, S. G. Miremadi, An efficient technique to tolerate MBU faults in register file of embedded processors, in: The 16th CSI International Symposium on Computer Architecture and Digital Systems, 2012, pp. 115–120.
– reference: G. Heiser, The role of virtualization in embedded systems, in: Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, IIES '08, Association for Computing Machinery, 2008, p. 11–16.
– volume: 56
  year: Aug 2009
  ident: bb0105
  article-title: New techniques for improving the performance of the lockstep architecture for SEEs mitigation in FPGA embedded processors
  publication-title: IEEE Trans. Nucl. Sci.
– volume: 49
  start-page: 285
  year: 2000
  end-page: 295
  ident: bb0085
  article-title: Common-mode failures in redundant VLSI systems: a survey
  publication-title: IEEE Trans. Reliab.
– reference: R. Velazco, S. Rezgui, R. Ecoffet, Predicting error rate for microprocessor-based digital architectures through C.E.U. (Code Emulating Upsets) injection, IEEE Transactions on Nuclear Science 47 (6) (2000) 2405–2411.
– reference: J. Martins, A. Tavares, M. Solieri, M. Bertogna, S. Pinto, Bao: a lightweight static partitioning hypervisor for modern multi-core embedded systems, in: M. Bertogna, F. Terraneo (Eds.), Workshop on Next Generation Real-time Embedded Systems (NG-RES 2020), Vol. 77 of OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2020, pp. 3:1–3:14.
– year: 2015
  ident: bb0075
  article-title: Design of SoC for high reliability systems with embedded processors
  publication-title: Embedded World Conference
– volume: 1
  start-page: 11
  year: 2004
  end-page: 33
  ident: bb0050
  article-title: Basic concepts and taxonomy of dependable and secure computing
  publication-title: IEEE Trans. Dependable Secure Comput.
– volume: 67
  start-page: 299
  year: 2018
  end-page: 304
  ident: bb0170
  article-title: Efficient protection of the register file in soft-processors implemented on Xilinx FPGAs
  publication-title: IEEE Trans. Comput.
– reference: J. Gomez-Cornejo, A. Zuloaga, U. Kretzschmar, U. Bidarte, J. Jimenez, Fast context reloading lockstep approach for SEUs mitigation in a FPGA soft core processor, in: IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 2013, pp. 2261–2266.
– volume: 18
  start-page: 636
  year: 2010
  end-page: 653
  ident: bb0100
  article-title: A survey of fault detection, isolation, and reconfiguration methods
  publication-title: IEEE Trans. Control Syst. Technol.
– reference: S. Ainsworth, T. M. Jones, Parallel error detection using heterogeneous cores, in: 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018, pp. 338–349.
– volume: 1
  start-page: 3112
  year: 2019
  end-page: 3117
  ident: bb0090
  article-title: Towards a heterogeneous fault-tolerance architecture based on arm and RISC-V processors, in: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
  publication-title: Vol.
– volume: 62
  start-page: 1179
  year: 2013
  end-page: 1192
  ident: bb0135
  article-title: Low-overhead fault-tolerance technique for a dynamically reconfigurable softcore processor
  publication-title: IEEE Trans. Comput.
– reference: X. Iturbe, B. Venu, E. Ozer, S. Das, A Triple Core Lock-Step (TCLS) ARM® Cortex®-R5 processor for safety-critical and ultra-reliable applications, in: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016, pp. 246–249.
– reference: L. A. Tambara, F. L. Kastensmidt, N. H. Medina, N. Added, V. A. P. Aguiar, F. Aguirre, E. L. A. Macchione, M. A. G. Silveira, Heavy ions induced single event upsets testing of the 28 nm Xilinx Zynq-7000 all programmable SoC, in: 2015 IEEE Radiation Effects Data Workshop (REDW), 2015, pp. 1–6.
– volume: 65
  year: Aug 2018
  ident: bb0120
  article-title: Lockstep dual-Core ARM A9: implementation and resilience analysis under heavy ion-induced soft errors
  publication-title: IEEE Trans. Nucl. Sci.
– volume: C-25
  start-page: 1304
  year: 1976
  end-page: 1312
  ident: bb0005
  article-title: Fault-tolerant systems
  publication-title: IEEE Trans. Comput.
– volume: 43
  start-page: 2742
  year: 1996
  end-page: 2750
  ident: bb0015
  article-title: Single event upset at ground level
  publication-title: IEEE Trans. Nucl. Sci.
– reference: S. Pinto, H. Araujo, D. Oliveira, J. Martins, A. Tavares, Virtualization on TrustZone-enabled microcontrollers? Voilà!, in: 2019 IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), 2019, pp. 293–304.
– reference: T. Kottke, A. Steininger, A reconfigurable generic dual-core architecture, in: International Conference on Dependable Systems and Networks (DSN'06), 2006, pp. 45–54.
– year: 2013
  ident: bb0065
  article-title: Fault-tolerant Design
– volume: 64
  start-page: 2179
  year: 2017
  end-page: 2187
  ident: bb0160
  article-title: Register file criticality and compiler optimization effects on embedded microprocessor reliability
  publication-title: IEEE Trans. Nucl. Sci.
– volume: 25
  start-page: 30
  year: 2005
  end-page: 39
  ident: bb0175
  article-title: An experimental study of soft errors in microprocessors
  publication-title: IEEE Micro
– reference: M. Masmano, I. Ripoll, A. Crespo, J. Metge, Xtratum: a hypervisor for safety critical embedded systems, in: Proceedings of the 11th Real-time Linux Workshop, 2009, pp. 263–272.
– reference: A. Hanafi, M. Karim, A. E. Hammami, Dual-lockstep microblaze-based embedded system for error detection and recovery with reconfiguration technique, in: Third World Conference on Complex Systems (WCCS), 2015, pp. 1–6.
– year: 2017
  ident: bb0115
  article-title: Implementation of a loosely-coupled lockstep approach in the Xilinx Zynq-7000 all programmable SoCTM for high consequence applications, in: 42nd Annual GOMACTech Conference
– volume: 5
  start-page: 305
  year: 2005
  end-page: 316
  ident: bb0095
  article-title: Radiation-induced soft errors in advanced semiconductor technologies
  publication-title: IEEE Trans. Device Mater. Reliab.
– reference: P. Shivakumar, M. Kistler, S. W. Keckler, D. Burger, L. Alvisi, Modeling the effect of technology trends on the soft error rate of combinational logic, in: Proceedings International Conference on Dependable Systems and Networks, 2002, pp. 389–398.
– year: 2017
  ident: bb0035
  article-title: Look mum, no VM exits! (almost)
  publication-title: Workshop on Operating Systems Platforms for Embedded Real-time Applications (OSPERT)
– reference: M. Al-Kuwaiti, N. Kyriakopoulos, S. Hussein, Network dependability, fault-tolerance, reliability, security, survivability: a framework for comparative analysis, in: 2006 International Conference on Computer Engineering and Systems, 2006, pp. 282–287.
– reference: L. M. Kaufman, S. Bhide, B. W. Johnson, Modeling of common-mode failures in digital embedded systems, in: Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055), 2000, pp. 350–357.
– volume: 247
  year: 1965
  ident: bb0010
  article-title: Failure-tolerant Computer Design
– reference: E. Ozer, B. Venu, X. Iturbe, S. Das, S. Lyberis, J. Biggs, P. Harrod, J. Penton, Error correlation prediction in lockstep processors for safety-critical systems, in: 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2018, pp. 737–748.
– reference: J. Han, Y. Kwon, Y. C. P. Cho, H. Yoo, A 1GHz fault tolerant processor with dynamic lockstep and self-recovering cache for ADAS SoC complying with ISO26262 in automotive electronics, in: 2017 IEEE Asian Solid-State Circuits Conference, 2017, pp. 313–316.
– ident: 10.1016/j.microrel.2021.114120_bb0055
  doi: 10.1109/ICCES.2006.320462
– volume: 65
  issue: 8
  year: 2018
  ident: 10.1016/j.microrel.2021.114120_bb0120
  article-title: Lockstep dual-Core ARM A9: implementation and resilience analysis under heavy ion-induced soft errors
  publication-title: IEEE Trans. Nucl. Sci.
  doi: 10.1109/TNS.2018.2852606
– volume: 25
  start-page: 30
  issue: 6
  year: 2005
  ident: 10.1016/j.microrel.2021.114120_bb0175
  article-title: An experimental study of soft errors in microprocessors
  publication-title: IEEE Micro
  doi: 10.1109/MM.2005.104
– ident: 10.1016/j.microrel.2021.114120_bb0180
– volume: 56
  issue: 4
  year: 2009
  ident: 10.1016/j.microrel.2021.114120_bb0105
  article-title: New techniques for improving the performance of the lockstep architecture for SEEs mitigation in FPGA embedded processors
  publication-title: IEEE Trans. Nucl. Sci.
  doi: 10.1109/TNS.2009.2013237
– ident: 10.1016/j.microrel.2021.114120_bb0165
  doi: 10.1109/CADS.2012.6316430
– volume: 1
  start-page: 3112
  year: 2019
  ident: 10.1016/j.microrel.2021.114120_bb0090
  article-title: Towards a heterogeneous fault-tolerance architecture based on arm and RISC-V processors, in: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
  publication-title: Vol.
– volume: 62
  start-page: 1179
  issue: 6
  year: 2013
  ident: 10.1016/j.microrel.2021.114120_bb0135
  article-title: Low-overhead fault-tolerance technique for a dynamically reconfigurable softcore processor
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.2012.55
– ident: 10.1016/j.microrel.2021.114120_bb0130
  doi: 10.1109/IECON.2013.6699483
– ident: 10.1016/j.microrel.2021.114120_bb0025
– ident: 10.1016/j.microrel.2021.114120_bb0060
  doi: 10.1109/MICRO.2018.00065
– year: 2017
  ident: 10.1016/j.microrel.2021.114120_bb0035
  article-title: Look mum, no VM exits! (almost)
– ident: 10.1016/j.microrel.2021.114120_bb0080
– volume: 5
  start-page: 305
  issue: 3
  year: 2005
  ident: 10.1016/j.microrel.2021.114120_bb0095
  article-title: Radiation-induced soft errors in advanced semiconductor technologies
  publication-title: IEEE Trans. Device Mater. Reliab.
  doi: 10.1109/TDMR.2005.853449
– ident: 10.1016/j.microrel.2021.114120_bb0150
  doi: 10.1109/DSN.2018.00044
– ident: 10.1016/j.microrel.2021.114120_bb0185
  doi: 10.1109/23.903784
– volume: C-25
  start-page: 1304
  issue: 12
  year: 1976
  ident: 10.1016/j.microrel.2021.114120_bb0005
  article-title: Fault-tolerant systems
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.1976.1674598
– volume: 1
  start-page: 11
  issue: 1
  year: 2004
  ident: 10.1016/j.microrel.2021.114120_bb0050
  article-title: Basic concepts and taxonomy of dependable and secure computing
  publication-title: IEEE Trans. Dependable Secure Comput.
  doi: 10.1109/TDSC.2004.2
– year: 2013
  ident: 10.1016/j.microrel.2021.114120_bb0065
– ident: 10.1016/j.microrel.2021.114120_bb0155
– volume: 64
  start-page: 2179
  issue: 8
  year: 2017
  ident: 10.1016/j.microrel.2021.114120_bb0160
  article-title: Register file criticality and compiler optimization effects on embedded microprocessor reliability
  publication-title: IEEE Trans. Nucl. Sci.
– volume: 18
  start-page: 636
  issue: 3
  year: 2010
  ident: 10.1016/j.microrel.2021.114120_bb0100
  article-title: A survey of fault detection, isolation, and reconfiguration methods
  publication-title: IEEE Trans. Control Syst. Technol.
  doi: 10.1109/TCST.2009.2026285
– ident: 10.1016/j.microrel.2021.114120_bb0040
  doi: 10.1109/RTAS.2019.00032
– year: 2017
  ident: 10.1016/j.microrel.2021.114120_bb0115
– volume: 247
  year: 1965
  ident: 10.1016/j.microrel.2021.114120_bb0010
– volume: 45
  start-page: 145
  year: 2012
  ident: 10.1016/j.microrel.2021.114120_bb0110
  article-title: A fault tolerant design methodology for a FPGA-based softcore processor
  publication-title: IFAC Proc. Vol.
  doi: 10.3182/20120403-3-DE-3010.00005
– ident: 10.1016/j.microrel.2021.114120_bb0190
  doi: 10.1109/REDW.2015.7336716
– ident: 10.1016/j.microrel.2021.114120_bb0045
– ident: 10.1016/j.microrel.2021.114120_bb0070
– volume: 49
  start-page: 285
  issue: 3
  year: 2000
  ident: 10.1016/j.microrel.2021.114120_bb0085
  article-title: Common-mode failures in redundant VLSI systems: a survey
  publication-title: IEEE Trans. Reliab.
  doi: 10.1109/24.914545
– ident: 10.1016/j.microrel.2021.114120_bb0030
  doi: 10.1145/2935748
– ident: 10.1016/j.microrel.2021.114120_bb0140
  doi: 10.1109/ICoCS.2015.7483287
– volume: 68
  start-page: 36
  issue: 1
  year: 2021
  ident: 10.1016/j.microrel.2021.114120_bb0195
  article-title: Single event effects characterization of the programmable logic of Xilinx Zynq-7000 FPGA using very/ultra high-energy heavy ions
  publication-title: IEEE Trans. Nucl. Sci.
  doi: 10.1109/TNS.2020.3033188
– year: 2015
  ident: 10.1016/j.microrel.2021.114120_bb0075
  article-title: Design of SoC for high reliability systems with embedded processors
– volume: 43
  start-page: 2742
  issue: 6
  year: 1996
  ident: 10.1016/j.microrel.2021.114120_bb0015
  article-title: Single event upset at ground level
  publication-title: IEEE Trans. Nucl. Sci.
  doi: 10.1109/23.556861
– ident: 10.1016/j.microrel.2021.114120_bb0020
  doi: 10.1145/1435458.1435461
– volume: 67
  start-page: 299
  issue: 2
  year: 2018
  ident: 10.1016/j.microrel.2021.114120_bb0170
  article-title: Efficient protection of the register file in soft-processors implemented on Xilinx FPGAs
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/TC.2017.2737996
– ident: 10.1016/j.microrel.2021.114120_bb0125
  doi: 10.1109/DSN-W.2016.57
– ident: 10.1016/j.microrel.2021.114120_bb0145
  doi: 10.1109/ASSCC.2017.8240279
SSID ssj0007011
Score 2.352125
Snippet This article presents Lock-V, a heterogeneous fault tolerance architecture that explores a dual-core lockstep (DCLS) technique to mitigate single event upset...
SourceID crossref
rcaap
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 1
SubjectTerms Arm
Design diversity
Dual-core lockstep
Fault tolerance
Field-programmable gate array
RISC-V
Science & Technology
Title Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V
URI https://dx.doi.org/10.1016/j.microrel.2021.114120
http://hdl.handle.net/1822/81634
Volume 120
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8JAEN4QuOjB-Iz4IHvwWmC7Xdp6I0QCihxUCLfNtLuNEGgJlqu_3Z0-FBMTDh7bdDbN7GT2m-w38xFyp7QDrh2iaAbXlsPBswJfKAuEKcaCwPXDTCXiedwZTJzHmZhVSK_shUFaZZH785yeZeviTavwZms9n2OPr92xXebYLAPmM-xgd1yM8ubnD83DbbNcNc_uWPj1TpfworlC0ttG4xWEzXBsLkPd778PqNomBFjvHD79Y3JUoEbazX_shFR0fEoOd2YJnpHRyGQ2a3pPu_QdKS6JiQxtynoawXaZ0jRZatTQ0HT36oDiIaZoEpulVxRiRV-Grz1rek4m_Ye33sAqpBKskHsizQgstgi44qHPAw449Q4gMhlEiTbTzKCSELxA-2CqYdWOBCgOTEXM7IkCcPkFqcZJrC8JZdwDhQIcHkSOGwH4OAItitpaaAMGO3UiSv_IsJgjjnIWS1kSxhay9KtEv8rcr3XS-rZb55M09lr4pfvlr5iQJt3vta1n-yWRLG1w9oc0hZQtPQM_nat_rHtNDvAppzzekGq62epbA0vSoJHFXYPUusOnwfgLWCnf5g
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwEB6V9gAcUHmpCwV8gGO6azveJEg9VC3VLt32AG21NzOJHdFqm6x2s0Jc-FP8QWbygEVC6gH1mshW8nk8D_nzfABvnQ8xUhmLZmgfhBrjIE2MC9BQMZamUZLVKhGnZ8PRRfhxaqYb8LO7C8O0ytb3Nz699tbtk36LZn9-dcV3fNVQRTJUsk7Mpy2z8sR__0Z123J_fESL_E6p4w_nh6OglRYIMh2bqiZ8KJNqp7NEpxq5SxxiTjvOmYH0kqJ4hnHqE6Tq0Q1yg06jdLmkf3CIkaZ578FWSO6CZRP2fvzhlUQD2cj0qWHAn7d2Lfl674ZZdgvPZx5Kcp9eyULj_46IW4sMcb4W7Y634VGbpoqDBonHsOGLJ_BwrXnhU5hMyJUGl-_FgfjKnJqSTNGXq6XIcTWrRFXOPIt2eLF-ViE4ajpRFjT1jcDCiU_jz4fB5TO4uBMAn8NmURZ-B4TUMTpW_IgxD6McMeGea3k-8MZT9jnsgenwsVnbuJz1M2a2Y6hd2w5Xy7jaBtce9H-PmzetO24dkXTw27-M0FJ8uXVsr14vy-xsSuyXlio3ZWPKd8MX_zHvG7g_Oj-d2Mn47OQlPOA3Dd9yFzarxcq_opyoSl_XNijgy10b_S94ZhwN
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Lock-V%3A+A+heterogeneous+fault+tolerance+architecture+based+on+Arm+and+RISC-V&rft.jtitle=Microelectronics+and+reliability&rft.au=Marques%2C+Ivo&rft.au=Rodrigues%2C+Cristiano&rft.au=Tavares%2C+Adriano&rft.au=Pinto%2C+Sandro&rft.date=2021-05-01&rft.pub=Elsevier+Ltd&rft.issn=0026-2714&rft.eissn=1872-941X&rft.volume=120&rft_id=info:doi/10.1016%2Fj.microrel.2021.114120&rft.externalDocID=S002627142100086X
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0026-2714&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0026-2714&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0026-2714&client=summon