Experimental evaluation of the fail-silent behaviour in programs with consistency checks

被引:24
作者
Rela, MZ [1 ]
Madeira, H [1 ]
Silva, JG [1 ]
机构
[1] UNIV COIMBRA,DEPT INFORMAT ENGN,P-3030 COIMBRA,PORTUGAL
来源
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING | 1996年
关键词
fail-silent behaviour; software checks; ABFT; assertions; control flow checking; pin-level fault injection; dependability; fault-tolerance; experimental validation;
D O I
10.1109/FTCS.1996.534625
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:394 / 403
页数:10
相关论文
共 3 条
  • [1] Implementing fail-silent nodes for distributed systems
    Brasileiro, FV
    Ezhilchelvan, PD
    Shrivastava, SK
    Speirs, NA
    Tao, S
    IEEE TRANSACTIONS ON COMPUTERS, 1996, 45 (11) : 1226 - 1238
  • [2] Components to enforce fail-silent behavior in dynamic master-slave systems
    Ferreira, J
    Almeida, L
    Martins, E
    Pedreiras, P
    Fonseca, JA
    INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 2003, 2003, : 143 - 150
  • [3] Experimental evaluation of the airflow behaviour in horizontal and vertical Open Joint Ventilated Facades using Stereo-PIV
    Sanchez, M. N.
    Giancola, E.
    Suarez, M. J.
    Blanco, E.
    Heras, M. R.
    RENEWABLE ENERGY, 2017, 109 : 613 - 623