Hardware Reference
In-Depth Information
References
Aidemark JL, Vinter JP, Folkesson P, Karlsson J (2001) GOOFI: A generic fault injection tool.
Proceedings of IEEE/IFIP DSN. G oteborg, Sweden, pp 83-88
Arlat, J (1990) Dependability validation by fault injection: method, implementation, application,
Doctorat d'Etat Dissertation, INP, Toulouse, France (In French, available from LAAS)
Arlat J, Aguera M, Amat L, Crouzet Y, Fabre J-C, Laprie J-C, Martins E, Powell D (1990)
Fault injection for dependability validation - a methodology and some applications. IEEE TSE
16(2):166-182
Arlat J, Crouzet Y (2002) Faultload representativeness for dependability benchmarking. Suppl.
Volume IEEE/IFIP DSN. Washington, DC, USA, pp F.29-F.30
Arlat J, Crouzet Y, Karlsson J, Folkesson P, Fuchs E, Leber GH (2003) Comparison of physical
and software-implemented fault injection techniques. IEEE TC 52(9):1115-1133
Avi zienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of depend-
able and secure computing. IEEE TDSC 1(1):11-33
Baumann R (2005) Soft errors in advanced computer systems. IEEE Des Test Comput 22(3):
258-266
Benso A, Prinetto P (eds) (2003) Fault injection techniques and tools for embedded systems relia-
bility evaluation. Frontiers in electronic testing, 23. Kluwer Academic, London, UK, 245p.
Bouricius WG, Carter WC, Schneider PR (1969) Reliability modeling techniques for self-repairing
computer systems. Proceedings of the 24th ACM National Conference, pp 295-309
Crouzet Y, Landrault C (1980) Design of self-checking LSI circuits - application to a 4-bit micro-
processor. IEEE TC C-29(6):532-537
Crouzet Y (1978) Design of self-checking large scale integration circuits Ph.D Dissertation, INP,
Toulouse, France (in French, available from LAAS)
Crouzet Y, Galiay J, Landrault C, Rousseau P Vergniault M (1978) Definition and design of easily
testable or self-testing LSI circuits Contract Rep. DRET 77/008, LAAS Report 1787, 334 p (in
French)
Crouzet Y, Waeselynck H, Lussier B, Powell D (2006) The SESAME experience: from assembly
languages to declarative models. Proceedings of Mutation 2006, Raleigh, NC, USA
Daran M, Thevenod-Fosse P (1996) Software error analysis: a real case study involving real faults
and mutations. Proceedings of ISSTA'96, San Diego, CA, USA, 1996, pp 158-171
de Andres D, Ruiz JC, Gil D, Gil P (2008) Fault emulation for dependability evaluation of VLSI
systems. IEEE TVLSIS 16(4):422-431
Duraes J, Madeira H (2006) Emulation of software faults: a field data study and a practical ap-
proach. IEEE TSE 32(11):849-867
Folkesson PS, Svensson S, Karlsson J (1998) A comparison of simulation based and scan chain
implemented fault injection. Proceedings of FTCS. Munich, Germany, pp 284-293
Fuchs E (1996) An evaluation of the error detection mechanisms in MARS using software-
implemented fault injection. Proceedings of EDCC. Taormina, Italy, pp 73-90
Galiay J (1978) Design of easily testable LSI circuits PhD Dissertation, UPS, Toulouse, France (in
French, available from LAAS)
Galiay J, Crouzet Y, Vergniault M (1980) Physical versus logical faults models in MOS-LSI circuits
- impact on their testability. IEEE TC C-29(6):527-531
Gil P, Arlat J, Madeira H, Crouzet Y, Jarboui T, Kanoun K, Marteau T, Duraes J, Vieira M, Gil D,
Baraza JC, Gracia J (2002) Fault representativeness. IST Project DBench, Deliverable ETIE2,
101p.. Available at www.laas.fr/dbench/deliverables.html
Hely D, Bancel F, Flottes M-L, Rouzeyre B (2005) Scan design and security: can they work to-
gether? Sophia Antipolis MicroElectronics, Sophia Antipolis, France
Johansson R (1994) On single event upset error manifestation. Proceedings of EDCC. Berlin,
Germany, pp 217-231
Kanoun K, Spainhower L (Eds) (2008) Dependability benchmarking for computer systems. IEEE
CS Press and Wiley, 362 p.,
