{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:45:50Z","timestamp":1764783950526},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319549989"},{"type":"electronic","value":"9783319549996"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-54999-6_1","type":"book-chapter","created":{"date-parts":[[2017,3,3]],"date-time":"2017-03-03T04:51:59Z","timestamp":1488516719000},"page":"3-15","source":"Crossref","is-referenced-by-count":12,"title":["Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems"],"prefix":"10.1007","author":[{"given":"Thiago","family":"Santini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Borchert","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":"Martin","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Spinczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fl\u00e1vio Rech","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Rech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,4]]},"reference":[{"key":"1_CR1","unstructured":"ISO\/DIS 26262. Technical report (2011)"},{"issue":"3","key":"1_CR2","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/MDT.2005.69","volume":"22","author":"R Baumann","year":"2005","unstructured":"Baumann, R.: Soft errors in advanced computer systems. IEEE Design Test Comput. 22(3), 258\u2013266 (2005)","journal-title":"IEEE Design Test Comput."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Borchert, C., Spinczyk, O.: Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. In: Proceeding of the 8th Workshop on Programming Languages and Operating Systems. ACM (2015)","DOI":"10.1145\/2818302.2818304"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Borchert, C., et al.: Generative software-based memory error detection and correction for operating system data structures. In: 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1\u201312. IEEE (2013)","DOI":"10.1109\/DSN.2013.6575308"},{"key":"1_CR5","unstructured":"Borchert, C., et al.: Generic soft-error detection and correction for concurrent data structures. IEEE Trans. Dependable Secure Comput. PP(99) (2015)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Dietrich, C., et al.: Cross-kernel control-flow-graph analysis for event-driven real-time systems. In: Proceeding of the Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015). ACM, June 2015","DOI":"10.1145\/2670529.2754963"},{"key":"1_CR7","unstructured":"Digilent: Zedboard data sheet overview (2014). http:\/\/www.xilinx.com\/support\/documentation\/data_sheets\/ds190-Zynq-7000-Overview.pdf"},{"key":"1_CR8","unstructured":"Gu, W., et al.: Characterization of Linux kernel behavior under errors. In: International Conference on Dependable Systems and Networks (DSN). IEEE (2003)"},{"key":"1_CR9","unstructured":"Guillen Salas, A., et al.: PhoneSat in-flight experience results. In: Proceeding of the Small Satellites and Services Symposium, May 2014"},{"issue":"2","key":"1_CR10","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.: Error detecting and error correcting codes. Bell Syst. Tech. J. 29(2), 147\u2013160 (1950)","journal-title":"Bell Syst. Tech. J."},{"issue":"1","key":"1_CR11","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1109\/TNS.2013.2292816","volume":"61","author":"I Herrera-Alzu","year":"2014","unstructured":"Herrera-Alzu, I., Lopez-Vallejo, M.: System design framework and methodology for Xilinx Virtex FPGA configuration scrubbers. IEEE Trans. Nucl. Sci. 61(1), 619\u2013629 (2014)","journal-title":"IEEE Trans. Nucl. Sci."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Hoffmann, M., et al.: dOSEK: the design and implementation of a dependability-oriented static embedded kernel. In: Proceeding of the 21st Real-Time and Embedded Technology and Applications (RTAS 2015). pp. 259\u2013270. IEEE, April 2015","DOI":"10.1109\/RTAS.2015.7108449"},{"key":"1_CR13","unstructured":"JEDEC Solid State Technology Association: JESD89-3A: Test Method for Beam Accelerated Soft Error Rate. http:\/\/www.jedec.org\/standards-documents\/docs\/jesd-89-3a"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP 1997 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). doi: 10.1007\/BFb0053381"},{"key":"1_CR15","unstructured":"Lesea, A., et al.: Soft error study of ARM SoC at 28 nanometers. In: Proceeding of the IEEE Workshop on Silicon Errors in Logic - System Effects 2014 (2014)"},{"key":"1_CR16","unstructured":"Massa, A.: Embedded Software Development with eCos. Prentice Hall Professional Technical Reference (2002)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Mukherjee, S.S., et al.: A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In: Proceeding of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture. IEEE (2003)","DOI":"10.1109\/MICRO.2003.1253181"},{"key":"1_CR18","unstructured":"OSEK\/VDX Group: operating system specification 2.2.3. Technical report. http:\/\/portal.osek-vdx.org\/files\/pdf\/specs\/os223.pdf , Accessed 29 Sept 2014"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Quinn, H., et al.: Single-event effects in low-cost, low-power microprocessors. In: Radiation Effects Data Workshop (REDW), pp. 1\u20139. IEEE, July 2014","DOI":"10.1109\/REDW.2014.7004596"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Santini, T., et al.: Reducing embedded software radiation-induced failures through cache memories. In: 19th European Test Symposium (ETS), pp. 1\u20136. IEEE (2014)","DOI":"10.1109\/ETS.2014.6847793"},{"issue":"1","key":"1_CR21","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/2794148","volume":"15","author":"T Santini","year":"2015","unstructured":"Santini, T., et al.: Beyond cross-section: spatio-temporal reliability analysis. ACM Trans. Embed. Comput. Syst. 15(1), 3:1\u20133:16 (2015)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Santini, T., et al.: Exploiting cache conflicts to reduce radiation sensitivity of operating systems on embedded systems. In: Proceeding of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES, pp. 49\u201358. IEEE (2015)","DOI":"10.1109\/CASES.2015.7324545"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Schirmeier, H., et al.: FAIL*: an open and versatile fault-injection framework for the assessment of software-implemented hardware fault tolerance. In: Proceeding of the 11th European Dependable Computing Conference, pp. 245\u2013255. IEEE, September 2015","DOI":"10.1109\/EDCC.2015.28"},{"issue":"3","key":"1_CR24","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/24.914544","volume":"49","author":"PP Shirvani","year":"2000","unstructured":"Shirvani, P.P., et al.: Software-implemented EDAC protection against SEUs. IEEE Trans. Reliab. 49(3), 273\u2013284 (2000)","journal-title":"IEEE Trans. Reliab."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Shye, A., et al.: PLR: a software approach to transient fault tolerance for multicore architectures. IEEE Trans. Dependable Secure Comput. (2009)","DOI":"10.1109\/TDSC.2008.62"},{"key":"1_CR26","unstructured":"Smith, D.J., Simpson, K.G.: Safety Critical Systems Handbook: a straightfoward guide to functional safety, IEC 61508 and related standards, including process IEC 61511 and machinery IEC 62061 and ISO 13849. Elsevier (2010)"},{"issue":"7","key":"1_CR27","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1016\/j.knosys.2007.05.004","volume":"20","author":"O Spinczyk","year":"2007","unstructured":"Spinczyk, O., Lohmann, D.: The design and implementation of AspectC++. Knowl.-Based Syst. 20(7), 636\u2013651 (2007). Special Issue on Techniques to Produce Intelligent Secure Software","journal-title":"Knowl.-Based Syst."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Wang, C., et al.: Compiler-managed software-based redundant multi-threading for transient fault detection. In: Proceeding of the International Symposium on Code Generation and Optimization, CGO 2007, pp. 244\u2013258. IEEE (2007)","DOI":"10.1109\/CGO.2007.7"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems - ARCS 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54999-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T04:08:08Z","timestamp":1568866088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-54999-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319549989","9783319549996"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54999-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}