{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T16:18:26Z","timestamp":1781885906607,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"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":[[2023,5,9]]},"DOI":"10.1145\/3587135.3592765","type":"proceedings-article","created":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T10:22:41Z","timestamp":1691144561000},"page":"236-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Enabling Software Technologies for Critical COTS-based Spacecraft Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1888-9579","authenticated-orcid":false,"given":"Federico","family":"Reghenzani","sequence":"first","affiliation":[{"name":"Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano, Italy, ESTEC, European Space Agency, Noordwijk, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2766571"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"e_1_3_2_1_3_1","unstructured":"Alan Burns and Robert Davis. 2013. Mixed criticality systems-a review 1--69. Constantly updated. https:\/\/www-users.york.ac.uk\/~ab38\/review.pdf."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131347"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.211373"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC47752.2019.9042036"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001)","author":"Edgar S.","unstructured":"S. Edgar and A. Burns. 2001. Statistical analysis of WCET for scheduling. In Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), 215--224."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2594790"},{"key":"e_1_3_2_1_9_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2021","unstructured":"ESA-ESTEC. 2021. Commercial electrical, electronic and electromechanical (EEE) components -- Rev.1. Standard ECSS-Q-ST-60-13C. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Aug. 2021)."},{"key":"e_1_3_2_1_10_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2013","unstructured":"ESA-ESTEC. 2013. Electrical, electronic and electromechanical (EEE) components -- Rev.2. Standard ECSS-Q-ST-60C. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Oct. 2013)."},{"key":"e_1_3_2_1_11_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2009","unstructured":"ESA-ESTEC. 2009. Software. Standard ECSS-E-ST-40C. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Mar. 2009)."},{"key":"e_1_3_2_1_12_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2017","unstructured":"ESA-ESTEC. 2017. Software dependability and safety -- Rev.1. Handbook ECSS-Q-HB-80-03A. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Nov. 2017)."},{"key":"e_1_3_2_1_13_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2013","unstructured":"ESA-ESTEC. 2013. Software engineering handbook. Handbook ECSS-E-HB-40A. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Dec. 2013)."},{"key":"e_1_3_2_1_14_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2017","unstructured":"ESA-ESTEC. 2017. Software product assurance -- Rev.1. Standard ECSS-Q-ST-80C. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Feb. 2017)."},{"key":"e_1_3_2_1_15_1","volume-title":"Noordwijk","author":"ESTEC.","year":"2016","unstructured":"ESA-ESTEC. 2016. Techniques for radiation effects mitigation in ASICs and FPGAs handbook. Handbook ECSS-Q-HB-60-02A. European Cooperation for Space Standardization, Noordwijk, The Netherlands, (Sept. 2016)."},{"key":"e_1_3_2_1_16_1","volume-title":"CENELEC, (June","author":"European Committee for Electrotechnical Standardization.","year":"2011","unstructured":"European Committee for Electrotechnical Standardization. 2011. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems. Standard EN50128. CENELEC, (June 2011)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO47225.2020.9172574"},{"key":"e_1_3_2_1_18_1","volume-title":"NASA, (Dec.","author":"Robert","year":"2020","unstructured":"Robert F Hodson et al. 2020. Recommendations on Use of Commercial-Off-The-Shelf (COTS) Electrical, Electronic, and Electromechanical (EEE) Parts for NASA Missions. Tech. rep. 20205011579. NASA, (Dec. 2020)."},{"key":"e_1_3_2_1_19_1","unstructured":"International Standard Organization. 2018. Road vehicles -- Functional safety. Standard ISO-26262. ISO."},{"key":"e_1_3_2_1_20_1","volume-title":"NEPP Electronics Technology Workshop. (June","author":"Nikulainen Mikko","year":"2021","unstructured":"Mikko Nikulainen and Ferdinando Tonicello. 2021. Utilization of cots in esa missions. In NEPP Electronics Technology Workshop. (June 2021). https:\/\/nepp.nasa.gov\/workshops\/etw2021\/talks\/17-JUN-21_Thur\/1045_Nikulainen_Tonicello-Utilisation-of-COTS-in-ESA-Missions.pdf."},{"key":"e_1_3_2_1_21_1","volume-title":"Automating WCET analysis for DO-178B\/C. White Paper","author":"Systems Rapita","unstructured":"Rapita Systems. 2021. Automating WCET analysis for DO-178B\/C. White Paper. Danlaw, York, UK."},{"key":"e_1_3_2_1_22_1","volume-title":"Multicore Timing Analysis for DO-178C. White Paper","author":"Systems Rapita","unstructured":"Rapita Systems. 2019. Multicore Timing Analysis for DO-178C. White Paper. Danlaw, York, UK."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567851"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589950"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3396234"},{"key":"e_1_3_2_1_27_1","volume-title":"Standard. RTCA\/EUROCAE, (Jan.","author":"EUROCAE.","year":"1992","unstructured":"RTCA\/EUROCAE. 1992. DO-178B - Software Considerations in Airborne Systems and Equipment Certification. Standard. RTCA\/EUROCAE, (Jan. 1992)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2016.2632440"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"}],"event":{"name":"CF '23: 20th ACM International Conference on Computing Frontiers","location":"Bologna Italy","acronym":"CF '23","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 20th ACM International Conference on Computing Frontiers"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587135.3592765","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587135.3592765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:14Z","timestamp":1750178834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587135.3592765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":29,"alternative-id":["10.1145\/3587135.3592765","10.1145\/3587135"],"URL":"https:\/\/doi.org\/10.1145\/3587135.3592765","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}