{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:29:45Z","timestamp":1773512985581,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319242545","type":"print"},{"value":"9783319242552","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_11","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"135-148","source":"Crossref","is-referenced-by-count":8,"title":["Back-to-Back Fault Injection Testing in Model-Based Development"],"prefix":"10.1007","author":[{"given":"Peter","family":"Folkesson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatemeh","family":"Ayatolahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrooz","family":"Sangchoolie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonny","family":"Vinter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mafijul","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Karlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"11_CR1","unstructured":"ISO 26262:2011, Road vehicles \u2014 Functional safety"},{"key":"11_CR2","unstructured":"ISO 26262-6:2011, Road vehicles \u2014 Functional safety \u2014 Part 6: Product development at the software level"},{"key":"11_CR3","unstructured":"The Mathworks, Inc. http:\/\/www.mathworks.se\/products\/simulink\/ . Accessed March 2015"},{"key":"11_CR4","unstructured":"dSPACE. http:\/\/www.dspace.com\/en\/pub\/home\/products\/sw\/pcgs\/targetli.cfm . Accessed March 2015"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10703-009-0082-0","volume":"35","author":"M Conrad","year":"2009","unstructured":"Conrad, M.: Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods Syst. Des. 35(3), 389\u2013401 (2009)","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Conrad, M.: Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software (2012)","DOI":"10.4271\/2011-01-1005"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Beine, M.: A model-based reference workflow for the development of safety-critical software. In: Embedded Real Time Software and Systems (2010)","DOI":"10.4271\/2010-01-2338"},{"key":"11_CR8","unstructured":"The Mathworks, Inc. http:\/\/www.mathworks.se\/products\/embedded-coder\/ . Accessed March 2015"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/0950-5849(90)90044-R","volume":"32","author":"MA Vouk","year":"1990","unstructured":"Vouk, M.A.: Back-to-back testing. Inf. Softw. Technol. 32(1), 34\u201345 (1990)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR10","unstructured":"Iyer, R.K.: Experimental evaluation. In: Special Issue of Proceedings Twenty-Fifth International Symposium on Fault-Tolerant Computing (1995)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jenn, E., Arlat, J., Rimen, M., Ohlsson, J., Karlsson, J.: Fault injection into VHDL models: the MEFISTO tool. In: Proceedings of the 24th International Symposium on Fault Tolerant Computing, pp. 66\u201375 (1994)","DOI":"10.1109\/FTCS.1994.315656"},{"key":"11_CR12","unstructured":"Certitude Functional Qualification Tool from Synopsys. https:\/\/www.synopsys.com\/TOOLS\/VERIFICATION\/FUNCTIONALVERIFICATION\/Pages\/certitude-ds.aspx . Accessed March 2015"},{"key":"11_CR13","unstructured":"Vinter, J., Bromander, L., Raistrick, P., Edler, H.: FISCADE - a fault injection tool for SCADE models. In: Proceedings of the 3rd IET Conference on Automotive Electronics, pp. 1\u20139 (2007)"},{"key":"11_CR14","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. 6351, pp. 210\u2013222. Springer, Heidelberg (2010)"},{"key":"11_CR15","unstructured":"Esterel Technologies. http:\/\/www.estereltechnologies.com\/products\/scade-suite\/ . Accessed June 2015"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Bhatt, D., Madl, G., Oglesby, D., Schloegl, K.: Towards scalable verification of commercial avionics software. In: AIAA Infotech@Aerospace, April 2010","DOI":"10.2514\/6.2010-3452"},{"key":"11_CR17","unstructured":"RTCA: DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics, RTCA Inc., Washington, D.C. (1992)"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-58426-9_132","volume-title":"Dependable Computing \u2014 EDCC-1","author":"Henrique Madeira","year":"1994","unstructured":"Madeira, H., Rela, M.Z., Moreira, F., Silva, J.G.: RIFLE: a general purpose pin-level fault injector. In: Proceedings of the 1st European Dependable Computing Conference, pp. 199\u2013216 (1994)"},{"issue":"8","key":"11_CR19","first-page":"115","volume":"52","author":"J Arlat","year":"2003","unstructured":"Arlat, J., Crouzet, Y., Karlsson, J., Folkesson, P., Fuchs, E., Leber, G.: Comparison of physical and software implemented fault injection techniques. IEEE Trans. Comput. 52(8), 115\u20131133 (2003)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/40.259894","volume":"14","author":"J Karlsson","year":"1994","unstructured":"Karlsson, J., Liden, P., Dahlgren, P., Johansson, R., Gunneflo, U.: Using heavy-ion radiation to validate fault-handling mechanisms. IEEE Micro 14(1), 8\u201323 (1994)","journal-title":"IEEE Micro"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Skarin, D., Barbosa, R., Karlsson, J.: GOOFI-2: a tool for experimental dependability assessment. In: 40th International Conference on Dependable Systems and Networks (2010)","DOI":"10.1109\/DSN.2010.5544265"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Rebaudengo, M., Reorda, M.: Evaluating the fault tolerance capabilities of embedded systems via BDM. In: Proceedings of the 17th IEEE VLSI Test Symposium, pp. 452\u2013457 (1999)","DOI":"10.1109\/VTEST.1999.766703"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Costa, D., Madeira, H., Carreira, J., Silva, J.: Xception: software fault injection and monitoring in processor functional units. In: Benso, A., Prinetto, P. (eds.) Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation. Frontiers in Electronic Testing, vol. 23, pp. 125\u2013139 (2003)","DOI":"10.1007\/0-306-48711-X_8"},{"key":"11_CR24","unstructured":"Han, S., Shin, K.G., Rosenberg, H.A.: DOCTOR: an integrated software fault injection environment for distributed real-time systems. In: Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium, pp. 204\u2013213 (1995)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Svenningsson, R., Eriksson, H., Vinter, J., T\u00f6rngren, M.: Model-implemented fault injection for hardware fault simulation. Paper presented at MoDeVVa 2010, Oslo, Norway, 3 October 2010","DOI":"10.1109\/MoDeVVa.2010.11"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/11408901_19","volume-title":"Dependable Computing - EDCC 2005","author":"R Barbosa","year":"2005","unstructured":"Barbosa, R., Vinter, J., Folkesson, P., Karlsson, J.M.: Assembly-level pre-injection analysis for improving fault injection efficiency. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 246\u2013262. Springer, Heidelberg (2005)"},{"key":"11_CR27","unstructured":"Nexus 5001\u2122 Forum, IEEE-ISTO (1999). http:\/\/www.nexus5001.org\/ . Accessed March 2015"},{"key":"11_CR28","unstructured":"winIDEA \u2013 iSystem\u2019s Integrated Development Environment. http:\/\/www.isystem.com\/products\/software\/winidea . Accessed March 2015"},{"key":"11_CR29","unstructured":"iC3000 debugger. http:\/\/www.isystem.com\/products\/11-products\/89-ic3000-activeemulator . Accessed March 2015"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-40793-2_24","volume-title":"Computer Safety, Reliability, and Security","author":"F Ayatolahi","year":"2013","unstructured":"Ayatolahi, F., Sangchoolie, B., Johansson, R., Karlsson, J.: A study of the impact of single bit-flip and double bit-flip errors on program execution. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 265\u2013276. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24255-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T06:34:37Z","timestamp":1567146877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}