Abstract
Transient faults in a computer system could influence the behavior of the software and pose a big threat to the dependability of the system. So a variety of software analysis methods are invented to characterize the property of the program in the face of transient faults and yield a lot of instructive information that could be utilized to improve the dependability of the software. In this paper, we first summarize some typical software analysis methods that are related to transient faults and introduce each method briefly. Then we make a comment on them and recommend some prospective methods.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Madeira, H., Some, R.R., Moreira, F., Costa, D., Rennels, D.: Experimental evaluation of a cots system for space applications. In: Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, pp. 325–330. IEEE (2002)
Xu, J.J., Tan, Q.P., Xiong, Y.Q., Tan, L.F., Li, J.I.: Software fault-tolerance techniques for transient faults. Computer Engineering & Science 11, 030 (2011)
Mukherjee, S.S., Weaver, C., Emer, J., Reinhardt, S.K., Austin, T.: A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In: Proceedings of the 36th Annual IEEE/ACM International Symposium on Microarchitecture, vol. 29. IEEE Computer Society (2003)
Anghel, L., Leveugle, R., Vanhauwaert, P.: Evaluation of set and seu effects at multiple abstraction levels. In: 11th IEEE International On-Line Testing Symposium, IOLTS 2005, pp. 309–312. IEEE (2005)
Hong, M., Qian-Xiang, W., Lu, Z., Ji, W., et al.: Software analysis: a road map. Chinese Journal of Computers 32, 1697–1710 (2009)
Benso, A., Chiusano, S., Prinetto, P., Tagliaferri, L.: A c/c++ source-to-source compiler for dependable applications. In: Proceedings of the International Conference on Dependable Systems and Networks, DSN 2000, pp. 71–78. IEEE (2000)
Xue-Jun, Y., Long, G.: Error flow model: modeling and analysis of software propagating hardware faults. Journal of Software 18, 808–820 (2007)
Li, S., Li, X.: Soft error propagation in floating-point programs. In: 2010 IEEE 29th International Performance Computing and Communications Conference (IPCCC), pp. 239–246. IEEE (2010)
Benso, A., Di Carlo, S., Di Natale, G., Prinetto, P.: Static analysis of seu effects on software applications. In: Proceedings of the International Test Conference, pp. 500–508. IEEE (2002)
Sridharan, V., Kaeli, D.R.: Quantifying software vulnerability. In: Proceedings of the 2008 Workshop on Radiation Effects and Fault Tolerance in Nanometer Technologies, pp. 323–328. ACM (2008)
Xu, J., Shen, R., Tan, Q.: Prase: an approach for program reliability analysis with soft errors. In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, pp. 240–247. IEEE (2008)
Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer 30, 75–82 (1997)
Hiller, M., Jhumka, A., Suri, N.: Epic: Profiling the propagation and effect of data errors in software. IEEE Transactions on Computers 53, 512–530 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhou, G., Guo, B., Gao, X., Ning, W., Yan, Y. (2014). Software Analysis for Transient Faults: A Review of Recent Methods. In: Pan, JS., Snasel, V., Corchado, E., Abraham, A., Wang, SL. (eds) Intelligent Data analysis and its Applications, Volume II. Advances in Intelligent Systems and Computing, vol 298. Springer, Cham. https://doi.org/10.1007/978-3-319-07773-4_57
Download citation
DOI: https://doi.org/10.1007/978-3-319-07773-4_57
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07772-7
Online ISBN: 978-3-319-07773-4
eBook Packages: EngineeringEngineering (R0)