{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:29:28Z","timestamp":1744172968621,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_10","type":"book-chapter","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T02:24:55Z","timestamp":1347848695000},"page":"115-130","source":"Crossref","is-referenced-by-count":3,"title":["Identifying Hardware Failures Systematically"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Didier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: 3rd Embedded Real Time Software, Toulouse, France (January 2006)"},{"key":"10_CR2","unstructured":"ANAC: Aeronautical product certification. DOU N0 230, Se\u00e7\u00e3o 1, p. 28, (December 01, 2011) (November 2011), http:\/\/www2.anac.gov.br\/biblioteca\/resolucao\/2011\/RBAC21EMD01.pdf"},{"key":"10_CR3","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828739","volume-title":"Feedback Systems: An Introduction for Scientists and Engineers","author":"K.J. Astrom","year":"2008","unstructured":"Astrom, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton (2008)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Simoncini, L.: Failure classification with respect to detection. In: Second IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 47\u201353 (October 1990)","DOI":"10.1109\/FTDCS.1990.138293"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P. Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Comput. Surv.\u00a028, 324\u2013328 (1996)","journal-title":"ACM Comput. Surv."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-10452-7_9","volume-title":"Formal Methods: Foundations and Applications","author":"A. Damasceno","year":"2009","unstructured":"Damasceno, A., Farias, A., Mota, A.: A Mechanized Strategy for Safe Abstraction of CSP Specifications. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 118\u2013133. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s00236-007-0042-3","volume":"44","author":"J. Derrick","year":"2007","unstructured":"Derrick, J., Wehrheim, H.: On using data abstractions for model checking refinements. Acta Informatica\u00a044, 41\u201371 (2007)","journal-title":"Acta Informatica"},{"key":"10_CR8","unstructured":"FAA: RTCA, Inc., Document RTCA\/DO-178B. U.S. Dept. of Transportation, Federal Aviation Administration, Washington, D.C. (1993)"},{"key":"10_CR9","unstructured":"FAA: Part 25 - airworthiness standards: Transport category airplanes. Tech. rep., Federal Aviation Administration (FAA), USA (2007)"},{"issue":"2","key":"10_CR10","first-page":"23","volume":"14","author":"A. Farias","year":"2008","unstructured":"Farias, A., Mota, A.C., Sampaio, A.: Compositional Abstraction of CSPZ Processes. J. Braz. Comp. Soc.\u00a014(2), 23\u201344 (2008)","journal-title":"J. Braz. Comp. Soc."},{"key":"10_CR11","unstructured":"FSEL: FDR2 User Manual, version 2.91. Formal Systems (Europe) Ltd. (2010), http:\/\/fsel.com\/fdr2_manual.html"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-642-16558-0_50","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"A. Gomes","year":"2010","unstructured":"Gomes, A., Mota, A., Sampaio, A., Ferri, F., Buzzi, J.: Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 625\u2013639. Springer, Heidelberg (2010)"},{"issue":"11","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1002\/spe.1039","volume":"41","author":"L. Grunske","year":"2011","unstructured":"Grunske, L., Winter, K., Yatapanage, N., Zafar, S., Lindsay, P.A.: Experience with fault injection experiments for FMEA. Software: Practice and Experience\u00a041(11), 1233\u20131258 (2011)","journal-title":"Software: Practice and Experience"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Hamlin, J.W., Logan, B.C., Richards, W.A., Sanders, M.T., Wyckoff, R.C.: Automatic fault insertion system (AFIS). US Patent 4835459 (May 1989)","DOI":"10.1016\/0026-2714(90)90705-R"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-24559-6_23","volume-title":"Formal Methods and Software Engineering","author":"J. Jesus","year":"2011","unstructured":"Jesus, J., Mota, A., Sampaio, A., Grijo, L.: Architectural Verification of Control Systems Using CSP. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 323\u2013339. Springer, Heidelberg (2011)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A. Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 122\u2013135. Springer, Heidelberg (2005)"},{"key":"10_CR17","volume-title":"Fault Tolerant Systems","author":"I. Koren","year":"2007","unstructured":"Koren, I., Krishna, C.M.: Fault Tolerant Systems. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"10_CR18","unstructured":"Lazi\u0107, R.: A Semantic Study of Data Independency with Applications to Model Checking. Master\u2019s thesis, Oxford University (1999)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-24270-0_9","volume-title":"Computer Safety, Reliability, and Security","author":"R. Mader","year":"2011","unstructured":"Mader, R., Armengaud, E., Leitner, A., Kreiner, C., Bourrouilh, Q., Grie\u00dfnig, G., Steger, C., Wei\u00df, R.: Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 113\u2013127. Springer, Heidelberg (2011)"},{"issue":"6","key":"10_CR20","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1016\/j.ress.2008.12.003","volume":"94","author":"A. Majdara","year":"2009","unstructured":"Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliability Engineering and System Safety\u00a094(6), 1076\u20131086 (2009)","journal-title":"Reliability Engineering and System Safety"},{"key":"10_CR21","unstructured":"Mathewes Jr., J.K., Chancellor, C.A., Howes, H.F.: Transient and intermittent fault insertion. US Patent 4875209 (October 1989)"},{"key":"10_CR22","unstructured":"MathWorks: Matlab\u00ae (2010), http:\/\/www.mathworks.com\/products\/matlab"},{"key":"10_CR23","unstructured":"MathWorks: Simulink\u00ae (2010), http:\/\/www.mathworks.com\/products\/simulink"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-15651-9_27","volume-title":"Computer Safety, Reliability, and Security","author":"A. Mota","year":"2010","unstructured":"Mota, A., Jesus, J., Gomes, A., Ferri, F., Watanabe, E.: Evolving a Safe System Design Iteratively. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 361\u2013374. Springer, Heidelberg (2010)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Nadeau-Dostie, B., Hulvershorn, H., Adham, S.M.I.: A new hardware fault insertion scheme for system diagnostics verification. In: International Test Conference, pp. 994\u20131002 (October 1995)","DOI":"10.1109\/TEST.1995.529947"},{"key":"10_CR26","unstructured":"Nise, N.S.: Control systems engineering. Benjamin-Cummings Publishing Co., Inc., Redwood City (1992)"},{"key":"10_CR27","unstructured":"O\u2019Connor, P., Newton, D., Bromley, R.: Practical reliability engineering. Wiley (2002)"},{"issue":"3","key":"10_CR28","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Reliability Engineering & System Safety"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theor. Comput. Sci.\u00a058, 249\u2013261 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR30","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"10_CR31","unstructured":"SAE: SAE ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment (1996)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Snooke, N., Price, C.: Model-driven automated software FMEA. In: Reliability and Maintainability Symposium, pp. 1\u20136 (January 2011)","DOI":"10.1109\/RAMS.2011.5754453"},{"key":"10_CR33","unstructured":"Sontrak: Logic Friday, http:\/\/www.sontrak.com"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-15651-9_16","volume-title":"Computer Safety, Reliability, and Security","author":"R. Svenningsson","year":"2010","unstructured":"Svenningsson, R., Vinter, J., Eriksson, H., T\u00f6rngren, M.: MODIFI: A MODel-Implemented Fault Injection Tool. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 210\u2013222. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T22:37:46Z","timestamp":1744151866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}