“BOND”:An Interposition Agents based Fault Injector for Windows NT

Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems

Volumn Part F5373300, Issue , 2000, Pages 387-395

  Baldini, Andrea ^a   Benso, Alfredo ^a   Chiusano, Silvia ^a   Prinetto, Paolo ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING; WINDOWS OPERATING SYSTEM; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; DATA STORAGE EQUIPMENT; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; PROGRAM PROCESSORS;

ABNORMAL BEHAVIOR; AGENT BASED; COMMERCIAL OFF-THE-SHELF SOFTWARES; DETERMINISTICS; FAULT INJECTION; FAULT INJECTOR; LOW IMPACTS; SOFTWARE FAULT INJECTION TOOL; SOFTWARE PROJECT; WINDOWS NT;

APPLICATION PROGRAMS; COMPUTER SYSTEM RECOVERY;

COMPONENTS OFF THE SHELF (COTS); INTERPOSITION AGENTS; SOFTWARE FAULT INJECTION TOOLS;

EID: 0034507673     PISSN: 15505774     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DFTVS.2000.887179     Document Type: Conference Paper

References (17)

1. Slabodkin, G.: Software glitches leave navy smart ship dead in the water, July 13 1998, available online at http://www.gen.com/gcn/l998/Julyl3/cov2.htm
2. Clark, J.A., and Pradhan, D.K.: Fault Injection: A Method for Validating Computer-System Dependability. IEEE Computer, pp. 47-56, June 1995
3. Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.C., Laprie, J.C., Martins, E., and Powell, D.: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, February 1990
4. Binderberger, M.: Navy turns to off-the-shelf pcs to power ships (risks-19.75). RISKS Digest, 19(76), May 25 1998.
5. Ghosh, A.K., Schmid, M., and Hill, F.: Wrapping Windows NT Software for Robustness. Reliable Software Technologies Corporation, available online at http://www.rstcorp.com
6. Segall, Z.: Fiat: Fault-Injection-Based Automated Testing Environment. Proc. 22nd Int’l Symp. Fault-Tolerant Comput., pp. 102-107,June 1988
7. Kanawati, G.A., and Abraham, J.A.: FERRARI: A tool for the validation of system dependability properties. Proc. 22nd Int. Symp. Fault Tolerant Comput., Boston, MA, USA, July 1992, pp.336-345
8. Choi, G.S.. and Iyer, R.K.: Focus: An Experimental Environment for Fault Sensitivity Analysis. IEEE Trans. Computers, Vol: 41, No. 12, Dec. 1992, pp.1515-1526
9. Goswami, K.K., and Iyer, R.K.: A Simulation-Based Study of a Triple-Modular Redundant System Using Depend. Proc. Fifth Int’l Conf. Fault-Tolerant Computing Systems, lEEE Press, Picataway, N.J., USA, 1991. pp. 300-311
10. Clark, J.A., and Pradhan, D.K.: React: A Synthesis and Evaluation Tool for Fault-Tolerant Multiprocessor Architecture. Proc. 1993 Annual Reliability and Maintainability Symp., IEEE Press, Picataway, N.J., USA, 1993, pp. 428-435
11. Jones, M.B.: Interposition Agents: Transparently Interposing User Code at the System Interface. ACM SIGOPS Oper. Syst. Rev. 27, vol. 5, pp. 80-93, December 1993
12. Ghormley, D.P., Rodrigues, S.H., Petrou, D., and Anderson, T.E.: Interposition as an Operating System Extension Mechanism. Tech Rep. Computer Science Department, University of California at Berkeley, Berkeley, CA, USA, March 19, 1997
13. Kanawati, G.A., Kanawati, N.A., and Abraham, J.A.: EMAX: An automatic Extractor of High-Level Error Models. Computing Aerospace Conf., San Diego, CA, USA, 1993, pp. 1297-1306
14. Czeck, E.: Estimates of the Abilities of Software-Implemented Fault Injection to Represent Gate-Level Faults. Int. Work. on Fault and Error Injection for Dependability Validation of Computer Systems, Gothemburg, Sweden, 1993
15. Rimen, M., Ohlsson, I., and Torin, J.: On Microprocessor Error Behavior Modeling. 24th Int. Symp. on Fault Tolerant Computing, Austin, Texas, USA, 1994, pp.76-85
16. Fuchs, E.: Validating the Fail-Silent Assumption of the MARS architecture. Proc. 6th Dependable Computing for Critical Applications, Garmisch-Partenkirchen, Germany, 1998, pp. 225-247
17. P. Narasimhan, L. E. Moser, P.M. Melliar-Smith, Using Interceptors to Enhance CORBA, IEEE Computer, Vol. 32, N. 7, July 1999