{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T13:13:57Z","timestamp":1649078037540},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,22]],"date-time":"2014-11-22T00:00:00Z","timestamp":1416614400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11219-014-9260-4","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T12:35:57Z","timestamp":1416573357000},"page":"87-113","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Experiences with software-based soft-error mitigation using AN codes"],"prefix":"10.1007","volume":"24","author":[{"given":"Martin","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Ulbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Schirmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,22]]},"reference":[{"key":"9260_CR1","doi-asserted-by":"crossref","unstructured":"Aidemark, J., Vinter, J., Folkesson, P., & Karlsson, J. (2002). Experimental evaluation of time-redundant execution for a brake-by-wire application. 32nd International Conference on Dependable Systems & Networks (DSN \u201902) (pp. 210\u2013215). doi: 10.1109\/DSN.2002.1028902 .","DOI":"10.1109\/DSN.2002.1028902"},{"issue":"11","key":"9260_CR2","doi-asserted-by":"crossref","first-page":"1312","DOI":"10.1109\/T-C.1971.223133","volume":"20","author":"A Avi\u017eienis","year":"1971","unstructured":"Avi\u017eienis, A., Gilley, G., Mathur, F. P., Rennels, D., Rohr, J., & Rubin, D. (1971). The star (self-testing and repairing) computer: An investigation of the theory and practice of fault-tolerant computer design. IEEE Transactions on Computers, 20(11), 1312\u20131321. doi: 10.1109\/T-C.1971.223133 .","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"9260_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2024716.2024718","volume":"39","author":"N Binkert","year":"2011","unstructured":"Binkert, N., Beckmann, B., Black, G., Reinhardt, S. K., Saidi, A., Basu, A., et al. (2011). The gem5 simulator. SIGARCH Computer Architecture News, 39(2), 1\u20137. doi: 10.1145\/2024716.2024718 .","journal-title":"SIGARCH Computer Architecture News"},{"issue":"6","key":"9260_CR4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MM.2005.110","volume":"25","author":"SY Borkar","year":"2005","unstructured":"Borkar, S. Y. (2005). Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro, 25(6), 10\u201316.","journal-title":"IEEE Micro"},{"issue":"4","key":"9260_CR5","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1365\/s38314-012-0106-1","volume":"7","author":"J Braun","year":"2012","unstructured":"Braun, J., Geyer, D., & Mottok, J. (2012). Alternative measure for safety-related software. ATZelektronik Worldwide, 7(4), 40\u201343. doi: 10.1365\/s38314-012-0106-1 .","journal-title":"ATZelektronik Worldwide"},{"key":"9260_CR6","doi-asserted-by":"crossref","unstructured":"Chang, J., Reis, G., & August, D. (2006). Automatic instruction-level software-only recovery. 36th International Conference on Dependable Systems & Networks (DSN \u201906), IEEE (pp. 83\u201392). Washington, DC, USA. doi: 10.1109\/DSN.2006.15 .","DOI":"10.1109\/DSN.2006.15"},{"key":"9260_CR7","doi-asserted-by":"crossref","unstructured":"Cho, H., Mirkhani, S., Cher, C.Y., Abraham, J., & Mitra, S. (2013). Quantitative evaluation of soft error injection techniques for robust system design. Proceedings of the 50th annual Design Automation Conference (pp. 1\u201310).","DOI":"10.1145\/2463209.2488859"},{"issue":"3","key":"9260_CR8","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1109\/TNS.2003.813129","volume":"50","author":"PE Dodd","year":"2003","unstructured":"Dodd, P. E., & Massengill, L. W. (2003). Basic mechanisms and modeling of single-event upset in digital microelectronics. IEEE Transactions on Nuclear Science, 50(3), 583\u2013602. doi: 10.1109\/TNS.2003.813129 .","journal-title":"IEEE Transactions on Nuclear Science"},{"key":"9260_CR9","unstructured":"Engel, M., & D\u00f6bel, B. (2012). The reliable computing base: A paradigm for software-based reliability. 1st International W\u2019shop on Software-Based Methods for Robust Emb. Sys. (SOBRES \u201912). LNCS. Gesellschaft f\u00fcr Informatik."},{"key":"9260_CR10","unstructured":"Forin, P. (1989). Vital coded microprocessor principles and application for various transit systems. Symposium on Control, Computers, Communication in Transportation (CCCT \u201989) (pp. 79\u201384)."},{"issue":"9","key":"9260_CR11","first-page":"2","volume":"28","author":"RA Frohwerk","year":"1977","unstructured":"Frohwerk, R. A. (1977). Signature analysis: A new digital field service method. Hewlett-Packard Journal, 28(9), 2\u20138.","journal-title":"Hewlett-Packard Journal"},{"key":"9260_CR12","volume-title":"Software-Implemented Hardware Fault Tolerance","author":"O Goloubeva","year":"2006","unstructured":"Goloubeva, O., Rebaudengo, M., Reorda, M. S., & Violante, M. (2006). Software-Implemented Hardware Fault Tolerance (1st ed.). New York, NY: Springer.","edition":"1"},{"issue":"2","key":"9260_CR13","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"29","author":"RW Hamming","year":"1950","unstructured":"Hamming, R. W. (1950). Error detecting and error correcting codes. Bell System Technical Journal, 29(2), 147\u2013160.","journal-title":"Bell System Technical Journal"},{"key":"9260_CR14","doi-asserted-by":"crossref","unstructured":"Hoffmann, M., Dietrich, C., & Lohmann, D. (2013). dOSEK: A dependable RTOS for automotive applications. 19th International Symposium on Dependable Computing (PRDC \u201913). IEEE. Washington, DC, USA. doi: 10.1109\/PRDC.2013.22 . http:\/\/www.danceos.org\/publications\/PRDC-FAST-2013-Hoffmann.pdf . Fast abstract.","DOI":"10.1109\/PRDC.2013.22"},{"key":"9260_CR15","doi-asserted-by":"crossref","unstructured":"Hoffmann, M., Ulbrich, P., Dietrich, C., Schirmeier, H., Lohmann, D., & Schr\u00f6der-Preikschat, W. (2014). A practitioner\u2019s guide to software-based soft-error mitigation using AN-codes. 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE \u201914), IEEE (pp. 33\u201340). Miami, Florida, USA. doi: 10.1109\/HASE.2014.14 .","DOI":"10.1109\/HASE.2014.14"},{"key":"9260_CR16","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/12.364536","volume":"44","author":"GA Kanawati","year":"1995","unstructured":"Kanawati, G. A., Kanawati, N. A., & Abraham, J. A. (1995). Ferrari: A flexible software-based fault and error injection system. IEEE Transactions on Computers, 44, 248\u2013260.","journal-title":"IEEE Transactions on Computers"},{"issue":"29es","key":"9260_CR17","first-page":"7","volume":"1996","author":"KP Lawton","year":"1996","unstructured":"Lawton, K. P. (1996). Bochs: A portable PC emulator for Unix\/X. Linux Journal, 1996(29es), 7.","journal-title":"Linux Journal"},{"key":"9260_CR18","unstructured":"Li, X., Shen, K., Huang, M.C., & Chu, L. (2007). A memory soft error measurement on production systems. In: 2007 USENIX ATC, pp. 1\u201314. USENIX, Berkeley, CA, USA."},{"key":"9260_CR19","doi-asserted-by":"crossref","unstructured":"Maiz, J., Hareland, S., Zhang, K., & Armstrong, P. (2003). Characterization of multi-bit soft error events in advanced SRAMs. International Electron Devices Meeting (IEDM \u201903). IEEE Press, New York, NY, USA. doi: 10.1109\/IEDM.2003.1269335 .","DOI":"10.1109\/IEDM.2003.1269335"},{"issue":"2","key":"9260_CR20","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TIT.1967.1054015","volume":"13","author":"D Mandelbaum","year":"1967","unstructured":"Mandelbaum, D. (1967). Arithmetic codes with large distance. IEEE Transactions on Information Theory, 13(2), 237\u2013242. doi: 10.1109\/TIT.1967.1054015 .","journal-title":"IEEE Transactions on Information Theory"},{"issue":"4","key":"9260_CR21","first-page":"3","volume":"3","author":"JL Massey","year":"1964","unstructured":"Massey, J. L. (1964). Survey of residue coding for arithmetic errors. International Computation Center Bulletin, 3(4), 3\u201317.","journal-title":"International Computation Center Bulletin"},{"key":"9260_CR22","doi-asserted-by":"crossref","unstructured":"Medwed, M., & Schmidt, J.M. (2009). Coding schemes for arithmetic and logic operations - how robust are they? In: H. Youm, M. Yung (eds.) Information Security Applications, Lecture Notes in Computer Science, vol. 5932, pp. 51\u201365. Springer, Heidelberg. doi: 10.1007\/978-3-642-10838-9_5 .","DOI":"10.1007\/978-3-642-10838-9_5"},{"issue":"2","key":"9260_CR23","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/12.980007","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh, N., Mitra, S., & McCluskey, E. (2002). Ed4i: Error detection by diverse data and duplicated instructions. IEEE Transactions on Computers, 51(2), 180\u2013199. doi: 10.1109\/12.980007 .","journal-title":"IEEE Transactions on Computers"},{"key":"9260_CR24","volume-title":"Error-correcting codes","author":"WW Peterson","year":"1972","unstructured":"Peterson, W. W., & Weldon, E. J. (1972). Error-correcting codes (2nd ed.). Cambridge, MA, USA: MIT Press.","edition":"2"},{"key":"9260_CR25","volume-title":"Error coding for arithmetic processors","author":"TRN Rao","year":"1974","unstructured":"Rao, T. R. N. (1974). Error coding for arithmetic processors (1st ed.). Orlando, FL: Academic Press.","edition":"1"},{"issue":"4","key":"9260_CR26","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/1113841.1113843","volume":"2","author":"G Reis","year":"2005","unstructured":"Reis, G., Chang, J., Vachharajani, N., Rangan, R., August, D., & Mukherjee, S. (2005). Software-controlled fault tolerance. ACM Transactions on Architecture and Code Optimization (TACO \u201905), 2(4), 366\u2013396. doi: 10.1145\/1113841.1113843 .","journal-title":"ACM Transactions on Architecture and Code Optimization (TACO \u201905)"},{"key":"9260_CR27","unstructured":"Schiffel, U. (2011). Hardware error detection using AN-codes. Ph.D. thesis, Technische Universit\u00e4t Dresden, Fakult\u00e4t Informatik."},{"key":"9260_CR28","doi-asserted-by":"crossref","unstructured":"Schiffel, U., Schmitt, A., S\u00fc\u00dfkraut, M., & Fetzer, C. (2010). ANB- and ANBDmem-encoding: detecting hardware errors in software. In: E. Schoitsch (ed.) 29th International Conference on Computer Safety, Reliability, and Security (SAFECOMP \u201910) (pp. 169\u2013182). Springer, Heidelberg, Germany. doi: 10.1007\/978-3-642-15651-9_13 .","DOI":"10.1007\/978-3-642-15651-9_13"},{"key":"9260_CR29","unstructured":"Schirmeier, H., Hoffmann, M., Kapitza, R., Lohmann, D., & Spinczyk, O. (2012). FAIL*: Towards a versatile fault-injection experiment framework. 25th International Conference on Architecture of Computer Systems, Lecture Notes in Informatics, vol. 200. Gesellschaft f\u00fcr Informatik."},{"key":"9260_CR30","doi-asserted-by":"crossref","unstructured":"Shye, A., Moseley, T., Reddi, V.J., Blomstedt, J., & Connors, D.A. (2007). Using process-level redundancy to exploit multiple cores for transient fault tolerance. 37th International Conference on Dependable Systems & Networks (DSN \u201907), IEEE (pp. 297\u2013306). Washington, DC, USA. doi: 10.1109\/DSN.2007.98 .","DOI":"10.1109\/DSN.2007.98"},{"key":"9260_CR31","doi-asserted-by":"crossref","unstructured":"Steindl, M., Mottok, J., & Meier, H. (2010). Ses-based framework for fault-tolerant systems. Proceedings of the 8th Workshop on Intelligent Solutions in Embedded Systems (WISES \u201910) (pp. 12\u201316). doi: 10.1109\/WISES.2010.5548427 .","DOI":"10.1109\/WISES.2010.5548427"},{"key":"9260_CR32","doi-asserted-by":"crossref","unstructured":"Ulbrich, P., Hoffmann, M., Kapitza, R., Lohmann, D., Schr\u00f6der-Preikschat, W., & Schmid, R. (2012). Eliminating single points of failure in software-based redundancy. 9th Europe Dep. Computing Conference (EDCC \u201912), IEEE (pp. 49\u201360). Washington, DC, USA. doi: 10.1109\/EDCC.2012.21 .","DOI":"10.1109\/EDCC.2012.21"},{"key":"9260_CR33","doi-asserted-by":"crossref","unstructured":"Ulbrich, P., Kapitza, R., Harkort, C., Schmid, R., & Schr\u00f6der- reikschat, W. (2011). I4Copter: An adaptable and modular quadrotor platform. 26th ACM Symposium on Applied Computing (SAC \u201911), ACM (pp. 380\u2013396). New York, NY, USA.","DOI":"10.1145\/1982185.1982267"},{"key":"9260_CR34","doi-asserted-by":"crossref","unstructured":"Wappler, U., & Fetzer, C. (2007). Software encoded processing: Building dependable systems with commodity hardware. In: F. Saglietti, N. Oster (eds.) 26th International Conference on Computer Safety, Reliability, and Security (SAFECOMP \u201907) (pp. 356\u2013369). Springer, Heidelberg, Germany. doi: 10.1007\/978-3-540-75101-4_34 .","DOI":"10.1007\/978-3-540-75101-4_34"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-014-9260-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-014-9260-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-014-9260-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T14:20:56Z","timestamp":1566051656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-014-9260-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,22]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["9260"],"URL":"https:\/\/doi.org\/10.1007\/s11219-014-9260-4","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,22]]}}}