{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:05Z","timestamp":1750221185009,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3196478.3196487","type":"proceedings-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T16:16:43Z","timestamp":1531844203000},"page":"26-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems"],"prefix":"10.1145","author":[{"suffix":"IV","given":"Robert G.","family":"Pettit","sequence":"first","affiliation":[{"name":"The Aerospace Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aedan D.","family":"Pettit","sequence":"additional","affiliation":[{"name":"The College of Wooster"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"LD Akers. 1996. Microprocessor Technology and Single Event Upset Susceptibility. (1996).  LD Akers. 1996. Microprocessor Technology and Single Event Upset Susceptibility. (1996)."},{"key":"e_1_3_2_1_2_1","unstructured":"Keith Bedingfield Richard D Leach Margaret B Alexander etal 1996. Spacecraft system failures and anomalies attributed to the natural space environment. (1996).  Keith Bedingfield Richard D Leach Margaret B Alexander et al. 1996. Spacecraft system failures and anomalies attributed to the natural space environment. (1996)."},{"key":"e_1_3_2_1_3_1","volume-title":"SpaceWorks Nano and Microsatellite Market Forecast","author":"Doncaster B","year":"2017","unstructured":"B Doncaster , C Williams , and J Shulman . 2017. SpaceWorks Nano and Microsatellite Market Forecast 2017 . SpaceWorks Enterprises, Inc.( SEI ), Atlanta, GA ( 2017). B Doncaster, C Williams, and J Shulman. 2017. SpaceWorks Nano and Microsatellite Market Forecast 2017. SpaceWorks Enterprises, Inc.(SEI), Atlanta, GA (2017)."},{"key":"e_1_3_2_1_4_1","unstructured":"Linux Foundation. {n. d.}. Yocto Project. ({n. d.}). https:\/\/www.yoctoproject.org  Linux Foundation. {n. d.}. Yocto Project. ({n. d.}). https:\/\/www.yoctoproject.org"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/951947.951989"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.actaastro.2017.05.023"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.1985.4334098"},{"key":"e_1_3_2_1_9_1","unstructured":"Erik Kulu. 2018. Nanosatellite Database. (2018). http:\/\/www.nanosats.eu  Erik Kulu. 2018. Nanosatellite Database. (2018). http:\/\/www.nanosats.eu"},{"key":"e_1_3_2_1_10_1","volume-title":"Jonathan R. Behrens, Benjamin A. Corbin, E.K. Green, Alyssa J. Picard, and Asha Balakdrishnan.","author":"Lal Bhavya","year":"2017","unstructured":"Bhavya Lal , Elena de la Rosa Blanco , Jonathan R. Behrens, Benjamin A. Corbin, E.K. Green, Alyssa J. Picard, and Asha Balakdrishnan. 2017 . Global Trends in Small Satellites. Technical Report P-8638. Institute for Defense Analysis . Bhavya Lal, Elena de la Rosa Blanco, Jonathan R. Behrens, Benjamin A. Corbin, E.K. Green, Alyssa J. Picard, and Asha Balakdrishnan. 2017. Global Trends in Small Satellites. Technical Report P-8638. Institute for Defense Analysis."},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/developer.arm.com\/products\/processors\/cortex-a","author":"Limited Arm","year":"2017","unstructured":"Arm Limited . 2017. Arm Cortex-A. ( 2017 ). https:\/\/developer.arm.com\/products\/processors\/cortex-a Arm Limited. 2017. Arm Cortex-A. (2017). https:\/\/developer.arm.com\/products\/processors\/cortex-a"},{"key":"e_1_3_2_1_12_1","unstructured":"NASA. {n. d.}. core Flight System (cFS). ({n. d.}). https:\/\/cfs.gsfc.nasa.gov  NASA. {n. d.}. core Flight System (cFS). ({n. d.}). https:\/\/cfs.gsfc.nasa.gov"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2004.839110"},{"volume-title":"Detecting soft errors by a purely software approach: method, tools and experimental results","author":"Nicolescu Bogdan","key":"e_1_3_2_1_14_1","unstructured":"Bogdan Nicolescu and Raoul Velazco . 2003. Detecting soft errors by a purely software approach: method, tools and experimental results . In Embedded Software for SoC. Springer , 39--51. Bogdan Nicolescu and Raoul Velazco. 2003. Detecting soft errors by a purely software approach: method, tools and experimental results. In Embedded Software for SoC. Springer, 39--51."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.317386"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2018.00029"},{"key":"e_1_3_2_1_17_1","unstructured":"Raspberry Pi. 2016. Raspberry Pi 3 Specs. (2016). https:\/\/www.raspberrypi.org\/magpi\/raspberry-pi-3-specs-benchmarks\/  Raspberry Pi. 2016. Raspberry Pi 3 Specs. (2016). https:\/\/www.raspberrypi.org\/magpi\/raspberry-pi-3-specs-benchmarks\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.paerosci.2016.11.002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.903781"},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/www.baesystems.com\/en-us\/download-en-us\/...\/1434555668211.pdf","author":"Systems BAE","year":"2016","unstructured":"BAE Systems . 2016. RAD750<sup>\u2122<\/sup>radiation-hardened Power PC microprocessor. ( 2016 ). https:\/\/www.baesystems.com\/en-us\/download-en-us\/...\/1434555668211.pdf BAE Systems. 2016. RAD750<sup>\u2122<\/sup>radiation-hardened PowerPC microprocessor. (2016). https:\/\/www.baesystems.com\/en-us\/download-en-us\/...\/1434555668211.pdf"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.736522"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the IRE","author":"Walmark IT","year":"1962","unstructured":"IT Walmark and SM Marcus . 1962 . Minimum Size and Maximum Packing Density of Non-Redundant Semi-Conductor Devices . Proceedings of the IRE (1962). IT Walmark and SM Marcus. 1962. Minimum Size and Maximum Packing Density of Non-Redundant Semi-Conductor Devices. Proceedings of the IRE (1962)."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196487","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196478.3196487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:05Z","timestamp":1750210745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":21,"alternative-id":["10.1145\/3196478.3196487","10.1145\/3196478"],"URL":"https:\/\/doi.org\/10.1145\/3196478.3196487","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}