Abstract
The design of complex embedded systems deployed in safety-critical or mission-critical applications mandates the availability of methods to validate the system dependability across the whole design flow. In this article we introduce a fault injection approach, based on loadable kernel modules and running under the Linux operating system, which can be adopted as soon as a running prototype of the systems is available. Moreover, for the purpose of decoupling dependability analysis from hardware availability, we also propose the adoption of hardware virtualization. Extensive experimental results show that statistical analysis made on top of virtual prototypes are in good agreement with the information disclosed by fault detection trends of real platforms, even under real-time constraints.
- Antoni, L., Leveugle, R., and Fehér, B. 2000. Using runtime reconfiguration for fault injection in hardware prototypes. In Proceedings of the 15th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE, Los Alamitos, CA, 405--413. Google Scholar
Digital Library
- Baldini, A., Benso, A., Chiusano, S., and Prinetto, P. 2001. BOND: An interposition agents-based fault injector for Windows NT. In Proceedings of the 16th International Symposium on Defect and Fault Tolerance in Systems. IEEE, Los Alamitos, CA, 387--395. Google Scholar
Digital Library
- Ballard, F. 2005. QEMU, a Fast and Portable Dynamic Translator. In USENIX Annual Technical Conference Reports. USENIX, Berkeley, CA. Google Scholar
Digital Library
- Baumann, R. C. 2005. Radiation-induced soft errors in advanced semiconductor technologies. IEEE Trans. Device Mater. Reliab. 5, 305--316.Google Scholar
- Boue, J., Petillon, P., and Crouzet, Y. 1998. MEFISTO-L: A VHDL-based fault injection tool for the experimental assessment of fault tolerance. In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 168--173. Google Scholar
Digital Library
- Carreira, J., Madeira, H., and Silva, J. 1995. Xception: Software fault injection and Monitoring in Processor Functional Units. In Proceedings of the 5th International Working Conference on Dependable Computing for Critical Applications. IEEE, Los Alamitos, CA, 135--149.Google Scholar
- Civera, P. L., Macchiarulo, L., Rebaudengo, M., Reorda, M. S., and Violante, M. 2001. Exploiting FPGA-based Techniques for Fault Injection Campaigns on VLSI Circuits. In Proceedings of the 16th International Symposium on Defect and Fault Tolerance in VLSI Systems. IEEE, Los Alamitos, CA, 250--258. Google Scholar
Digital Library
- Constantinescu, C. 2002. Impact of Deep Submicron Technology on Dependability of VLSI Circuits. In Proceedings of the International Conference on Dependable Systems and Networks. IEEE, Los Alamitos, CA, 205--209. Google Scholar
Digital Library
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., and Stein, C. 2001. Introduction to Algorithms, 2nd ed. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- Costa, P., Vieira, M., Madeira, H., and Gabriel Silva, J. 2003. Plug and play fault injector for dependability benchmarking. In Lecture Notes in Computer Science, vol. 2847. Springer-Verlag, Berlin, 8--22.Google Scholar
- Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Pratt, I., Warfield, A., Barham, P., and Neugebauer, R. 2003. Xen and the art of virtualization. In Proceedings of the Symposium on Operating Systems Principles. ACM, New York. Google Scholar
Digital Library
- Fidalgo, A. V., Alves, G. R., Gericota, M. G., and Martins Ferreira, J. M. 2008. A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures. In Proceedings of the 21st annual Symposium on Integrated Circuits and System Design. ACM, New York, 22--27. Google Scholar
Digital Library
- Folkesson, P., Svensson, S., and Karlsson, J. 1998. A comparison of simulation-based and scan chain implemented fault injection. In Proceedings of the 28th Annual International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 284--293. Google Scholar
Digital Library
- Gallmeister, B. 1995. POSIX.4: Programming for the Real World. O'Reilly Media, Newton, MA. Google Scholar
Digital Library
- Gautus, M. R., Ringenberg, J. S., Ernst, D., Austin, T. M., and Mudge, T. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization. IEEE, Los Alamitos, CA, 83--94.Google Scholar
- Gerum, P. 2004. XENOMAI-Implementing a RTOS emulation framework on GNU/Linux. http://www.xenomai.org/documentation/trunk/pdf/xenomai.pdf.Google Scholar
- Gunneflo, U., Karlsson, J., and Torin, J. 1989. Evaluation of error detection schemes using fault Injection by heavy-ion radiation. In Proceedings of the 19th International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 340--347.Google Scholar
- Hsueh, M., Tsai, T. K., and Iyer, R. K. 1997. Fault injection techniques and tools. IEEE Comput, 30, 4, 75--82. Google Scholar
Digital Library
- Jenn, E., Arlat, J., Rimen, M., Ohlsson, J., and Karlsson, J. 1994. Fault injection into VHDL models: the MEFISTO tool. In Proceedings of the 24th International Symposium on Fault Tolerant Computing. IEEE, Los Alamitos, CA, 66--75.Google Scholar
- Kanawati, G. A., Kanawati, N. A., and Abraham, J. A. 1995. FERRARI: a flexible software-based fault and error injection system. IEEE Trans. Comput. 44, 2,248--260. Google Scholar
Digital Library
- Lee, H., Song, Y., and Shin, H. 2000. SFIDA: A software implemented fault injection tool for distributed dependable applications. In Proceedings of the 4th International Conference/Exhibition on High-Performance Computing in the Asia-Pacific Region. IEEE, Los Alamitos, CA, 410--415.Google Scholar
- Linux Kernel Organization, Inc. 2009. Linux programmer's manual. http://www.kernel.org/doc/manpages/online/pages/man2/sched setscheduler.2.html.Google Scholar
- Moore, R. J. 2001. A universal dynamic trace for Linux and other operating systems. In Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference. USENIX Association, Berkeley, CA, 297--308. Google Scholar
Digital Library
- Murciano, M. and Violante, M. 2007. Validating the dependability of embedded systems through fault injection by means of loadable kernel modules. In Proceedings of the 2007 International High-Level Design Validation and Test Workshop. IEEE, Los Alamitos, CA, 179--186. Google Scholar
Digital Library
- Steininger, A., Rahbaran, B., and Handl, T. 2003. Built-in fault injectors—the logical continuation of BIST? In Proceedings of the 1st Workshop on Intelligent Solutions in Embedded Systems. 187--196.Google Scholar
- Zenha-Rela, M., Cunha, J. C., Santos, L. E., Gameiro, M., Gonalves, P., and Alves, G. 2006. Exploiting the IEEE 1149.1 standard for software reliability evaluation in space applications. In Proceedings of the European Safety and Reliability Conference. http://www.laboris.isep.ipp.pt/anf/fct09/rela06.pdf.Google Scholar
Index Terms
Boosting software fault injection for dependability analysis of real-time embedded applications
Recommendations
A software fault injection tool on real-time Mach
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems SymposiumEnsuring that a distributed real-time system with strict dependability constraints meets its prescribed specification is a growing challenge that confronts software developers and system engineers. This paper reports on a software fault injection tool, ...
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
The authors describe a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection ...








Comments