Evaluating Selective Redundancy in Data-Flow Software-Based Techniques

被引:13
|
作者
Chielle, Eduardo [1 ,2 ]
Azambuja, Jose Rodrigo [1 ,2 ]
Barth, Raul Serio [1 ,2 ]
Almeida, Felipe [1 ,2 ]
Kastensmidt, Fernanda Lima [1 ,2 ]
机构
[1] Univ Fed Rio Grande do Sul, Inst Informat, PPGC, BR-91509900 Porto Alegre, RS, Brazil
[2] Univ Fed Rio Grande do Sul, PGMICRO, BR-91509900 Porto Alegre, RS, Brazil
关键词
Fault tolerance; microprocessors; selective redundancy; soft errors; software-based techniques; CO-DESIGN APPROACH; MITIGATION;
D O I
10.1109/TNS.2013.2266917
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
This paper presents an analysis of the efficiency of using selective redundancy applied to registers in software-based techniques. The proposed selective redundancy chooses a set of allocated registers to be duplicated in software in order to provide detection of upsets that occur in the processor hardware and provokes data-flow errors. The selective redundancy is implemented over miniMIPS microprocessor software. A fault injection campaign is performed by injecting single event effect upsets in the miniMIPS hardware. Results show error detection capability, performance degradation and program memory footprint for many case studies. With that, designers can find the best trade-off in using selective redundancy in software.
引用
收藏
页码:2768 / 2775
页数:8
相关论文
共 50 条
  • [1] Masking Signature Data Errors of Software-Based Control Flow Checking Techniques Employing Redundancy Signature
    Liu, Liping
    Ci, Linlin
    Liu, Wei
    CLOUD COMPUTING AND SECURITY, PT II, 2017, 10603 : 823 - 828
  • [2] Improving Error Detection with S elective Redundancy in Software-based Techniques
    Chielle, Eduardo
    Azambuja, Jose R.
    Barth, Raul S.
    Kastensmidt, Fernanda L.
    2013 14TH IEEE LATIN-AMERICAN TEST WORKSHOP (LATW2013), 2013,
  • [3] SWITCHING SOFTWARE-DESIGN USING DATA-FLOW TECHNIQUES
    MAEJIMA, Y
    SHIRASU, H
    OUTSUBO, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (10) : 949 - 956
  • [4] Testability Analysis of Data-Flow Software
    Thanh Binh Nguyen
    Delaunay, Michel
    Robach, Chantal
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 213 - 225
  • [5] A Software-based Redundancy Concept for Building Automation Networks
    Krammer, Lukas
    Bunyai, Dominik
    Kastner, Wolfgang
    39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 5702 - 5709
  • [6] Dynamic Data-Flow Analysis with Dacite: Evaluating an Integrated Data-Flow Visualization Approach
    Troost, Laura
    Neugebauer, Jonathan
    Kuchen, Herbert
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2024, 2028 : 251 - 270
  • [7] A Data-Flow Based Coordination Approach to Concurrent Software Engineering
    Penczek, Frank
    Cheng, Wei
    Grelck, Clemens
    Kirner, Raimund
    Scheuermann, Bernd
    Shafarenko, Alex
    2012 SECOND WORKSHOP ON DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM 2012), 2012, : 36 - 43
  • [8] Evaluating Software-based Hardening Techniques for General-Purpose Registers on a GPGPU
    Goncalves, Marcio M.
    Azambuja, Jose Rodrigo
    Condia, Josie E. R.
    Reorda, Matteo Sonza
    Sterpone, Luca
    21ST IEEE LATIN-AMERICAN TEST SYMPOSIUM (LATS 2020), 2020,
  • [9] Software-Based Selective Validation Techniques for Robust CGRAs Against Soft Errors
    Ko, Yohan
    Kang, Jihoon
    Lee, Jongwon
    Kim, Yongjoo
    Kim, Joonhyun
    So, Hwisoo
    Lee, Kyoungwoo
    Paek, Yunheung
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 15 (01)
  • [10] Securing software by enforcing data-flow integrity
    Castro, Miguel
    Costa, Manuel
    Harris, Tim
    Usenix Association 7th Usenix Symposium on Operating Systems Design and Implementation, 2006, : 147 - 160