VERIFY: Evaluation of reliability using VHDL-models with embedded fault descriptions

Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Volumn , Issue , 1997, Pages 32-36

  Sieh, Volkmar ^a   Tschäche, Oliver ^a   Balbach, Frank ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; HARDWARE; SOFTWARE TESTING;

32-BIT PROCESSORS; DIGITAL SYSTEM; FAULT INJECTION; FAULT INJECTOR; HARDWARE COMPONENTS; HARDWARE DESIGN; RELIABILITY EVALUATION; VHDL MODELING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 84942514785     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1997.614074     Document Type: Conference Paper

References (21)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, D. Powell: "Fault injection for dependability validation: a methodology and some applications", Trans. on Sofr. Eng., Vol. 16, No. 2, 1990, pp. 166-182.
2. P. Ashenden: "The VHDL-cookbook", Univ. of Adelaide, South Australia, Technical Report 1990
3. J. Barton, E. Czeck, Z. Segall, D. Siewiorek: "Fault Injection Experiments using FIAT", Trans. on Comp., Vol. 39, NO. 4, 1990, pp. 575-582
4. G. Choi, R. Iyer, V. Carreno: "Simulated fault injection: A methodology to evaluate fault tolerant microprocessor architectures", IEEE Trans. on Reliability Vol. 39, NO. 4, 1990, pp. 486-490.
5. J. Carreira, H. Madeira, J. G. Silva: "Xception: Software Fault Injection and Monitoring in Processor Functional Units" Preprints of Conf. on Dependable Computing for Critical Applications (DCCA-5), Urbana Champaign, USA, 1995, pp. 135-149
6. H. Cha, E. Rudnick, G. Choi, J. Patel, R. Iyer, "A Fast and Accurate Gate-Level Transient Fault Simulation Environment", Proc. 23rd Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, France, 1993, pp. 310-319.
7. J. A. Clark, D. K. Pradhan, "REACT: An Integrated Tool for the Design of Dependable Computer Systems", in Foundations of Dependable Computing, Models and Frameworks for Dependable Systems, G. M. Koob, C. G. Lau (ed.), Kluwer, 1994, pp. 169-192
8. E. Czeck, D. Siewiorek "Effects of Transient Gate-Level Faults on Program Behavior", Proc. 20th Symp. on Fault Tolerant Computing (FTCS-20), Newcastle Upon Tyne, 1990, pp. 236-243
9. K. Echtle, M. Leu "The EFA Fault Injector for Fault Tolerant Distributed System Testing", Proc. Workshop on Fault-Tolerant Parallel and Distributed Systems, Amherst, USA, 1992, pp. 28-35
10. K. K. Goswami, R. K. Iyer, L. Young, "DEPEND: A Simulation-Based Environment for System Level Dependability Analysis", Trans. on Computers, Vol. 46, 1997, pp. 60-74.
11. J. Giithoff, V. Sieh: "Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method", Proc. 25th Symp. on Fault-Tolerant Computing (FTCS-25), Pasadena, California, 1995, pp. 196-206
12. A. Hein, K. K. Goswami, "Combined Performance and Dependability Evaluation with Conjoint Simulation", Proc. of 7th European Simulation Symposium, Erlangen, Germany, 1995, pp. 365-369
13. S. Han, K. G. Shin, H. A. Rosenberg, "DOCTOR: An IntegrateD Software Fault InjeCTiOn Environment for Distributed Real-Time Systems", Proc. Znt. Computer Performance and Dependability Symp. (ZPDS'95), Erlangen, Germany, 1995, pp. 204-213
14. E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, J. Karlsson: "Fault Injection into VHDL Models: The MEFISTO Tool". Proc. 24th Symp. on Fault Tolerant Computing, (FTCS-24), Austin, Texas, 1994, pp. 66-75
15. J. Karlsson, U. Gunneflo, J. Torin: "Use of Heavy-Ion Radiation from Californium-252 for Fault Injection Experiments" in Dependable Computing for Critical Applications, A. Avizienis, J.-C. Laprie (eds.), Vol. 4, Springer, 1991, pp. 197-212
16. W. Kao, R. K. Iyer, D. Tang: "FINE: A Fault Injection and Monitor Environment for Tracing the UNIX System Behavior under Faults", Trans. on Soft. Eng., Vol. 19, No. 11, 1993, pp. 1105-1118.
17. G. A. Kanawati, N. A. Kanawati, J. A. Abraham: "FERRARI: A Tool for the Validation of System Dependability Properties", Proc. 22th Symp. on Fault-Tolerant Computing (lTCS-22), Boston, Massachusetts, 1992, pp. 336-344
18. S. Kumar, R. H. Klenke, J. H. Aylor, B. W. Johnson, R. D. Williams, R. Waxman, "ADEPT: A Unified System Level Modeling Design Environment", Proc. 1st Annual RASSP Conference, Arlington, Virginia 1995, pp. 114-123
19. H. Madeira, M. Rela, J. G. Silva: "RIFLE: A General Purpose Pin-Level Fault Injector", Proc. First European Dependable Computing Conference (EDCC-I), Berlin, Germany, 1994, pp. 199-216
20. M. Rimén, J. Ohlsson, J. Karlsson, E. Jenn, J. Arlat: "Design Guidelines of a VHDL-based Simulation Tool for the Validation of Fault Tolerance", Proc. 1st ESPRIT Basic Research Project PDCS-2 Open Workshop, LAAS-CNRS, Toulouse, France, 1993, pp. 461-483
21. V. Sieh, O. Tschache, F. Balbach, "Evaluation of Dependable Systems using VERIFY", Preprints 6th Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Germany, 1997, pp. 59-76.