Analysis of the effects of real and injected software faults: Linux as a case study

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn 2002-January, Issue , 2002, Pages 51-58

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

^a LAAS CNRS   (France)

Author keywords

Application software; Computer aided software engineering; Computer architecture; Controllability; Fault diagnosis; Kernel; Linux; Observability; Operating systems

Indexed keywords

APPLICATION PROGRAMS; BENCHMARKING; COMPUTER AIDED DIAGNOSIS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; CONTROLLABILITY; FAILURE ANALYSIS; FAULT DETECTION; LINUX; OBSERVABILITY; SOFTWARE ENGINEERING;

CONTEXT OF DEPENDABILITY; FAULT INJECTION; KERNEL; SOFTWARE FAULT;

COMPUTER OPERATING SYSTEMS;

EID: 84876376290     PISSN: 15410110     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2002.1185618     Document Type: Conference Paper

References (19)

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 Transactions on Software Engineering, vol. 16, no. 2, pp. 166-182, February 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", in Proc. 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), Sendai, Japan, 1996, pp. 353-357 (IEEE Computer Society Press)
3. J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie and D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Transactions on Computers, vol. 42, no. 8, pp. 913-923, August 1993
4. A. Arazo and Y. Crouzet, "Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms", in Proc. 7th Int. Conference on Engineering of Complex Computer Systems (ICECCS'2001), Skövde, Sweden, 2001, pp. 69-79 (IEEE CS Press)
5. J. V. Carreira, D. Costa and J. G. Silva, "Fault Injection Spot-checks Computer System Dependability", IEEE Spectrum, vol. 36, 50-55, August 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. H. Madeira, K. Kanoun, J. Arlat, Y. Crouzet, A. Johanson and R. Lindström, "Preliminary Dependability Benchmark Framework", DBench Project IST 2000-25425 Deliverable. CF2, Available at http://www.laas.fr/dbench/delivrables.html, 2001
8. T. Jarboui, J. Arlat, Y. Crouzet and K. Kanoun, "Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques", in Proc. Int. Conf. on Dependable Systems and Networks (DSN-2002), Washington, DC, USA, 2002 (IEEE CS Press)
9. 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 Transactions on Nuclear Science, vol. 47, no. 6, pp. 2231-2236, December 2000
10. J. Christmansson and R. Chillarege, "Generation of an Error Set that Emulates Software Faults-Based on Field Data", in 26th Int. Symp. on Fault Tolerant Computing, Sendai, Japan, 1996
11. H. Madeira, D. Costa and M. Vieira, "On the Emulation of Software Faults by Software Fault Injection", in Proc. Int. Conference on Dependable Systems and Networks (DSN-2000), New York, NY, USA, 2000, pp. 417-426 (IEEE CS Press)
12. I. Lee and R. K. Iyer, "Software Dependability in the Tandem GUARDIAN System", IEEE Transactions of Software Engineering, vol. 21, no. 5, pp. 455-467, 1995
13. D. Engler, B. Chelf, A. Chou and S. Hallem, "Checking System Rules Using System-Specific Programmer-Written Compiler Extensions", in Proc. 4th Symp. on Operating Systems Design and Implementation (OSDI-2000), San Diego, CA, USA, 2000 (USENIX)
14. I. T. Bowman, R. C. Holt and N. V. Brewster, "Linux as a case study: Its Extracted Software Architecture", in 21st Int. Conf. on Sofware Engineering, Los Angeles, CA, USA, 1999
15. M. Devera, Devik's MM Gallery http://luxik.cdi.cz/~devik/mm.htm, 2001
16. M. Rodríguez, F. Salles, J.-C. Fabre and J. Arlat, "MAFALDA: Microkernel Assessment by Fault Injection and Design Aid", in Proc. 3rd European Dependable Computing Conf. (EDCC-3), Prague, Czech Republic, 1999, pp. 143-160 (Springer)
17. P. Koopman and J. DeVale, "Comparing the Robustness of POSIX Operating Systems", in Proc. 29th Int. Symp. on Fault-Tolerant Computing (FTCS-29), Madison, WI, USA, 1999, pp. 30-37 (IEEE CS Press)
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 Transactions of software engineering, vol. 18, no. 11, pp. 943-956, November 1992
19. P. J. Koopman, J. Sung, C. Dingman, D. P. Siewiorek and T. Marz, "Comparing Operating Systems using Robustness Benchmarks", in Proc. 16th Int. Symp. on Reliable Distributed Systems (SRDS-16), Durham, NC, USA, 1997, pp. 72-79 (IEEE Computer Society Press)