Impact of Internal and External Software Faults on the Linux Kernel

IEICE Transactions on Information and Systems

Volumn E86-D, Issue 12, 2003, Pages 2571-2578

  Jarboui, Tahar ^a   Arlat, Jean ^a   Crouzet, Yves ^a   Kanoun, Karama ^a   Marteau, Thomas ^a  

^a LAAS CNRS   (France)

Author keywords

Dependability benchmark; Error analysis; Fault injection; Operating system; Software faults

Indexed keywords

BENCHMARKING; COMPUTER SOFTWARE; COMPUTER SYSTEMS; ERROR ANALYSIS; INTERFACES (COMPUTER);

FAULT INJECTION; SOFTWARE FAULTS;

COMPUTER OPERATING SYSTEMS;

EID: 0842267264     PISSN: 09168532     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (18)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, and D. Powell, "Fault injection for dependability validation - A methodology and some applications," IEEE Trans. Softw. Eng., vol.16, no.2, pp.166-182, Feb. 1990.
2. S. Ayache, P. Humbert, E. Conquet, C. Rodriguez, J. Sifakis, and R. Gerlich, "Formal methods for the validation of fault tolerance in autonomous spacecraft," Proc. 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), pp.353-357, Sendai, Japan, 1996.
3. J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, and D. Powell, "Fault injection and dependability evaluation of fault-tolerant systems," IEEE Trans. Comput., vol.42, no.8, pp.913-923, Aug. 1993.
4. A. Arazo and Y. Crouzet, "Formal guides for experimentally verifying complex software-implemented fault tolerance mechanisms," Proc. 7th Int. Conf. on Engineering of Complex Computer Systems (ICECCS2001), pp.69-79, Sweden, 2001.
5. J.V. Carreira, D. Costa, and J.G. Silva, "Fault injection spot-checks computer system dependability," IEEE Spectr., vol.36, pp.50-55, Aug. 1999.
6. M.-C. Hsueh, T.K. Tsai, and R.K. Iyer, "Fault injection techniques and tools," Computer, vol.30, no.4, pp.75-82, April 1997.
7. J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, E. Fuchs, and G.H. Leber, "Comparison of physical and software-implemented fault injection techniques," IEEE Irans. Comput., vol.52, no.9, pp.1115-1133, Sept. 2003.
8. H. Madeira, K. Kanoun, J. Arlat, Y. Crouzet, A. Johanson, and R. Lindstrom, "Preliminary dependability benchmark framework," DBench Project IST 2000-25425 Deliverable. CF2, Available at http://www.laas.fr/dbench/delivrables. html, 2001.
9. J.C. Laprie, "Dependable computing: Concepts, limits, chalenges," Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), pp.42-54, Pasadena, CA, 1995.
10. T. Jarboui, J. Arlat, Y. Crouzet, and K. Kanoun, "Experimental analysis of the errors induced into Linux by three fault injection techniques," Proc. Int. Conf. on Dependable Systems and Networks (DSN-2002), Washington, DC, 2002.
11. P. Cheynet, B. Nicolescu, R. Velazco, M. Rebaudengo, M. Sonza Reorda, and M. Violante, "Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors," IEEE Trans. Nucl. Sci., vol.47, no.6, pp.2231-2236, Dec. 2000.
12. J. Christmansson and R. Chillarege, "Generation of an error set that emulates software faults-based on field data," 26th Int. Symp. on Fault Tolerant Computing, Sendai, Japan, 1996.
13. H. Madeira, D. Costa, and M. Vieira, "On the emulation of software faults by software fault injection," Proc. Int. Conf. on Dependable Systems and Networks (DSN-2000), pp.417-426, NY, 2000.
14. I. Lee and R.K. Iyer, "Software dependability in the Tandem GUARDIAN system," IEEE Trans. Softw. Eng., vol.21, no.5, pp.455-467, 1995.
15. D. Engler, B. Chelf, A. Chou, and S. Hallem, "Checking system rules using system-specific programmer written compiler extensions," Proc. 4th Symp. on Operating Systems Design and Implementation (OSDI-2000), San Diego, CA, 2000.
16. M. Rodriguez, F. Salles, J.-C. Fabre, and J. Arlat, "MAFALDA: Microkernel assessment by fault injection and design aid," Proc. 3rd European Dependable Computing Conf. (EDCC-3), pp. 143-160, Prague, Czech Republic, 1999.
17. P.J. Koopman, J. Sung, C. Dingman, D.P. Siewiorek, and T. Marz, "Comparing operating systems using robustness benchmarks," Proc. 16th Int. Symp. on Reliable Distributed Systems (SRDS-16), pp.72-79, Durham, NC, 1997.
18. R. Chillarege, I.S. Bhandari, J.K. Chaar, M.J. Halliday, D.S. Moebus, B.K. Ray, and M.Y. Wong, "Orthogonal defect classification - A concept for in-process measurements," IEEE Trans. Softw. Eng., vol.18, no.11, pp.943-956, Nov. 1992.