Dependability management -Part 1: Dependability management systems, International Electrotechnical Commission, 2003. ,
Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004. ,
Design and Test Technology for Dependable Systems-on-Chip. United State of America by Information Science Reference, 2011. ,
Software-implemented system dependability for safety critical applications, 2003. ,
Algorithm-based fault tolerance for matrix operations, IEEE Trans. Comput, vol.33, issue.6, pp.518-528, 1984. ,
Validation of a software dependability tool via fault injection experiments, Proceedings of the Seventh International On-Line Testing Workshop, ser. IOLTW '01, 2001. ,
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 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. ,
Control-flow checking via regular expressions, Proceedings of the 10th Asian Test Symposium, ser. ATS '01, p.299, 2001. ,
Jaca -a software fault injection tool, Proceedings. 2003 International Conference on, p.667, 2003. ,
A survey on fault injection techniques, vol.1, pp.171-186, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00105562
Electronics and Optoelectronics (ICEOE), pp.1-47, 2011. ,
Ferrari: A flexible software-based fault and error injection system, IEEE Trans. Comput, vol.44, issue.2, pp.248-260, 1995. ,
,
,
Evaluating fault-tolerant system designs using faumachine, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, ser. EFTS '07, 2007. ,
September) Jaca software fault injection tool, 2009. ,
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
Xception: A technique for the experimental evaluation of dependability in modern computers, IEEE Trans. Softw. Eng, vol.24, issue.2, pp.125-136, 1998. ,
,
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. ,
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