{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:55:47Z","timestamp":1742799347056,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664833"},{"type":"electronic","value":"9783540482543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48254-7_14","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T22:45:26Z","timestamp":1194389126000},"page":"191-208","source":"Crossref","is-referenced-by-count":15,"title":["Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System"],"prefix":"10.1007","author":[{"given":"D.","family":"Gil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Busquets","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. C.","family":"Baraza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J.","family":"Gil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"J. Clark., D. Pradhan, \u201cFault Injection. A method for validating computer-system dependability\u201d, IEEE. Computer, June 1995.","DOI":"10.1109\/2.386985"},{"issue":"no .8","key":"14_CR2","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/12.238482","volume":"42","author":"J. Arlat","year":"1993","unstructured":"J. Arlat, A. Costes, Y. Crouzet, J. Laprie, D. Powel. \u201cFault Injection and Dependability Evaluation of Fault-Tolerant Systems\u201d. IEEE Transactions on Computers, Vol 42, no.8, pp. 913\u2013923. August 1993.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR3","unstructured":"K. Goswami, K. Iyer, \u201cDEPEND: A simulation-based environment for system level dependability analysis\u201d, Tech. Rep. CRHC-92-11, Center for Reliable and High Performance Computing, University of Illinois (USA) 1991."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"1515","DOI":"10.1109\/12.214660","volume":"41","author":"G. Choi","year":"1992","unstructured":"G. Choi, K. Iyer, \u201cFOCUS: An experimental environment for fault sensitivity analysis\u201d, IEEE Transactions on Computers, Vol. 41, pp. 1515\u20131526, Dec. 1992.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"P. Folkesson, S. Svensson, J. Karlsson. \u201cA Comparison of simulation-based and scan chain implemented fault injection\u201d. 28th International Symposium on Fault Tolerant Computing (FTCS-28), pp. 284\u2013293. Munich, Germany. June 1998.","DOI":"10.1109\/FTCS.1998.689479"},{"key":"14_CR6","unstructured":"J. Clark, D. Pradhan, \u201cREACT: Reliable Architecture Characterization Tool\u201d, Tech. Rep. TR-92-CSE-22, Univ. of Massachusetts, June 1992."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Jenn E., Arlat J., Rimen M., Ohlsson J., Karlsson J. \u201cFault Injection into VHDL Models: The MEFISTO Tool\u201d, FTCS-24, IEEE, 1994, pp. 66\u201375.","DOI":"10.1007\/978-3-642-79789-7_19"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"T. Delong, B. Johnson, Profeta III, \u201cA fault Injection Technique for VHDL Behavioral-Level models\u201d, IEEE Design and Test of Computers, Vol 13, no 4, Winter 1996.","DOI":"10.1109\/54.544533"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. C. Fabr\u00e9, J. C. Laprie, E. Martins, D. Powell, \u201cFault injection for dependability validation: a methodology and some applications\u201d, IEEE Transactions on Software Engineering, Vol.16, pp.166\u2013182, Febrero 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR10","volume-title":"Physical fault injection for Validation of Dependable Computing Systems and a Fault-Tolerant Computer design for Safety-critical missions","author":"U. Gunneflo","year":"1990","unstructured":"U. Gunneflo, \u201cPhysical fault injection for Validation of Dependable Computing Systems and a Fault-Tolerant Computer design for Safety-critical missions\u201d, PhD thesis, Chalmers Univ. Of Technology, G\u00f6teborg (Sweden), 1990."},{"key":"14_CR11","unstructured":"P. Gil, \u201cSistema Tolerante a Fallos con Procesador de Guardia: Validaci\u00f3n mediante Inyecci\u00f3n F\u00edsica de Fallos\u201d, D. Ph. Thesis, Departamento de Ingenier\u00eda de Sistemas, Computadores y Autom\u00e1tica, Univ. Polit\u00e9cnica de Valencia, September 1992."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber. \u201cIntegration and Comparison of Three Physical Fault Injection Techniques\u201d. Predictably Dependable Computer Systems. Chapter V: Fault Injection, pp. 309\u2013329. Springer Verlag, 1995.","DOI":"10.1007\/978-3-642-79789-7_18"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"R. J. Mart\u00ednez, P. J. Gil, G. Mart\u00edn, C. P\u00e9rez, J.J. Serrano. \u201cExperimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection\u201d, in Seventh Dependable Computing for Critical Applications, DCCA\u20197. IEEE Computer Society Press. Pending of publication. pp.233\u2013249, 1999.","DOI":"10.1109\/DCFTS.1999.814299"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-3"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48254-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T03:57:51Z","timestamp":1737518271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48254-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664833","9783540482543"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48254-7_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}