K. Rozier, Dependability management -Part 1: Dependability management systems, International Electrotechnical Commission, 2003.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

U. Raimund, R. Jaan, and T. V. Heinrich, Design and Test Technology for Dependable Systems-on-Chip. United State of America by Information Science Reference, 2011.

G. and D. Natale, Software-implemented system dependability for safety critical applications, 2003.

K. Huang and J. A. Abraham, Algorithm-based fault tolerance for matrix operations, IEEE Trans. Comput, vol.33, issue.6, pp.518-528, 1984.

A. Benso, S. D. Carlo, G. D. Natale, L. Tagliaferri, and P. Prinetto, Validation of a software dependability tool via fault injection experiments, Proceedings of the Seventh International On-Line Testing Workshop, ser. IOLTW '01, 2001.

A. Benso, S. D. Carlo, G. D. Natale, P. Prinetto, and L. Tagliaferri, Software dependability techniques validated via fault injection experiments, Radiation and Its Effects on Components and Systems, 2001. 6th European Conference on, pp.269-274, 2001.

A. Benso, S. Chiusano, P. Prinetto, and L. Tagliaferri, A c/c++ sourceto-source compiler for dependable applications, Proceedings of the 2000 International Conference on Dependable Systems and Networks (Formerly FTCS-30 and DCCA-8), ser. DSN '00, p.71, 2000.

A. Benso, S. D. Carlo, G. D. Natale, P. Prinetto, and L. Tagliaferri, Control-flow checking via regular expressions, Proceedings of the 10th Asian Test Symposium, ser. ATS '01, p.299, 2001.

R. De-oliveira-moraes and E. Martins, Jaca -a software fault injection tool, Proceedings. 2003 International Conference on, p.667, 2003.

H. Ziade, R. Ayoubi, and R. Velazco, A survey on fault injection techniques, vol.1, pp.171-186, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00105562

S. Ningfang, Electronics and Optoelectronics (ICEOE), pp.1-47, 2011.

G. A. Kanawati, N. A. Kanawati, and J. A. Abraham, Ferrari: A flexible software-based fault and error injection system, IEEE Trans. Comput, vol.44, issue.2, pp.248-260, 1995.

. Qemu,

. Virtualbox,

S. Potyra, V. Sieh, and M. D. Cin, Evaluating fault-tolerant system designs using faumachine, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, ser. EFTS '07, 2007.

G. M. Nelson, September) Jaca software fault injection tool, 2009.

P. D. Marinescu and G. Candea, Lfi: A practical and general librarylevel fault injector, Proceedings of the Intl. Conference on Dependable Systems and Networks (DSN), 2009.

, Lfi: Library-level fault injector

J. Carreira, H. Madeira, and J. G. Silva, Xception: A technique for the experimental evaluation of dependability in modern computers, IEEE Trans. Softw. Eng, vol.24, issue.2, pp.125-136, 1998.

,

H. Madeira, M. Z. Rela, F. Moreira, and J. G. Silva, Rifle: A general purpose pin-level fault injector, Proceedings of the First European Dependable Computing Conference on Dependable Computing, ser. EDCC-1, pp.199-216, 1994.

A. Bosio and G. Natale, Lifting: A flexible open-source fault simulator, Proceedings of the 2008 17th Asian Test Symposium, ser. ATS '08, pp.35-40, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00343610