{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T18:23:37Z","timestamp":1783103017299,"version":"3.54.6"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032304902","type":"print"},{"value":"9783032304919","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T00:00:00Z","timestamp":1783123200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T00:00:00Z","timestamp":1783123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-30491-9_28","type":"book-chapter","created":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T18:09:46Z","timestamp":1783102186000},"page":"445-460","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Run-Time Assurance for Onboard COTS-Based AI in Safety-Critical LEO Small-Satellite Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8003-4493","authenticated-orcid":false,"given":"Omer","family":"Khalid","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3918-3265","authenticated-orcid":false,"given":"Jose-Carlos","family":"Gamazo-Real","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0180-6973","authenticated-orcid":false,"given":"Elena","family":"Roib\u00e1s-Mill\u00e1n","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,4]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","unstructured":"Perez-Cerrolaza, J. et al.: Artificial intelligence for safety-critical Systems in Industrial and Transportation Domains: a survey. ACM Comput. Surv. 56 (2024). https:\/\/doi.org\/10.1145\/3626314","DOI":"10.1145\/3626314"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1108\/IMDS-07-2021-0419","volume":"122","author":"Y Wang","year":"2021","unstructured":"Wang, Y., Chung, S.H.: Artificial intelligence in safety-critical systems: a systematic review. Ind. Manag. Data Syst. 122, 442\u2013470 (2021). https:\/\/doi.org\/10.1108\/IMDS-07-2021-0419","journal-title":"Ind. Manag. Data Syst."},{"key":"28_CR3","doi-asserted-by":"publisher","unstructured":"Budroweit, J., Patscheider, H.: Risk Assessment for the Use of COTS Devices in Space Systems under Consideration of Radiation Effects. Electronics  10, 1008 (2021). https:\/\/doi.org\/10.3390\/electronics10091008.","DOI":"10.3390\/electronics10091008"},{"key":"28_CR4","doi-asserted-by":"publisher","unstructured":"Schwierz, A., Forsberg, H.: Assurance case to structure COTS hardware component assurance for safety-critical avionics. In: IEEE\/AIAA 37th Digital Avionics Systems Conference (DASC), pp. 1-10. Institute of Electrical and Electronics Engineers Inc. (2018). https:\/\/doi.org\/10.1109\/DASC.2018.8569774.","DOI":"10.1109\/DASC.2018.8569774"},{"key":"28_CR5","doi-asserted-by":"publisher","unstructured":"Gamazo-Real, J.C., Zamorano-Flores, J.R., Sanz-Andr\u00e9s, \u00c1.: Integration of COTS processing architectures in small satellites for onboard computing using fault injection testing methodology. In: Software Engineering and Formal Methods (SEFM 2021 Collocated Workshops), pp. 333\u2013347. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-12429-7_24","DOI":"10.1007\/978-3-031-12429-7_24"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/3549526","volume":"55","author":"J Perez-Cerrolaza","year":"2023","unstructured":"Perez-Cerrolaza, J., Abella, J., Kosmidis, L., Calderon, A.J., Cazorla, F., Flores, J.L.: GPU devices for safety-critical systems: a survey. ACM Comput. Surv. 55, 147 (2023). https:\/\/doi.org\/10.1145\/3549526","journal-title":"ACM Comput. Surv."},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11241-025-09445-9","volume-title":"Real-Time Systems","author":"S Lee","year":"2025","unstructured":"Lee, S., Kang, W., Bertogna, M., Chwa, H.S., Lee, J.: Timing guarantees for inference of AI models in embedded systems. In: Real-Time Systems, pp. 259\u2013267. Springer (2025). https:\/\/doi.org\/10.1007\/s11241-025-09445-9"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.37745\/ejcsit.2013\/vol13n203041","volume":"13","author":"CA Raj","year":"2025","unstructured":"Raj, C.A.: Model-based approaches in safety-critical embedded system design. European J. Comput. Sci. Inform. Technol. 13, 30\u201341 (2025) https:\/\/doi.org\/10.37745\/ejcsit.2013\/vol13n203041","journal-title":"European J. Comput. Sci. Inform. Technol."},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"20067","DOI":"10.1109\/ACCESS.2021.3055015","volume":"9","author":"QM Rahman","year":"2021","unstructured":"Rahman, Q.M., Corke, P., Dayoub, F.: Run-time monitoring of machine learning for robotic perception: a survey of emerging trends. IEEE Access. 9, 20067\u201320075 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3055015","journal-title":"IEEE Access."},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"130733","DOI":"10.1109\/ACCESS.2022.3229233","volume":"10","author":"AVS Neto","year":"2022","unstructured":"Neto, A.V.S., Camargo, J.B., Almeida, J.R., Cugnasca, P.S.: Safety Assurance of Artificial Intelligence-Based Systems: a systematic literature review on the state of the art and guidelines for future work. IEEE Access. 10, 130733\u2013130770 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3229233","journal-title":"IEEE Access."},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"3679","DOI":"10.1109\/TCAD.2023.3246386","volume":"42","author":"B Yalcinkaya","year":"2023","unstructured":"Yalcinkaya, B., Torfah, H., Desai, A., Seshia, S.A.: Ulgen: a runtime assurance framework for programming safe cyber-physical systems. IEEE Trans. Comput.-Aided Design Integr. Circ. Syst. 42, 3679\u20133692 (2023). https:\/\/doi.org\/10.1109\/TCAD.2023.3246386","journal-title":"IEEE Trans. Comput.-Aided Design Integr. Circ. Syst."},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2023.3234380","volume":"43","author":"KL Hobbs","year":"2023","unstructured":"Hobbs, K.L., Mote, M.L., Abate, M.C.L., Coogan, S.D., Feron, E.M.: Runtime Assurance for Safety-Critical Systems: an introduction to safety filtering approaches for complex control systems. IEEE Control. Syst. 43, 28\u201365 (2023). https:\/\/doi.org\/10.1109\/MCS.2023.3234380","journal-title":"IEEE Control. Syst."},{"key":"28_CR13","unstructured":"Instituto Universitario \u201cIgnacio Da Riva\u201d (IDR-UPM) of the Universidad Polit\u00e9cnica de Madrid: UPMSat-2 Microsatellite, https:\/\/www.idr.upm.es\/en\/upm-sat2. Accessed 19 Mar 2026"},{"key":"28_CR14","doi-asserted-by":"publisher","first-page":"3574","DOI":"10.3390\/electronics12173574","volume":"12","author":"M Barbirotta","year":"2023","unstructured":"Barbirotta, M. et al.: Fault-Tolerant Hardware Acceleration for High-Performance Edge-Computing Nodes. Electronics. 12, 3574 (2023) https:\/\/doi.org\/10.3390\/electronics12173574","journal-title":"Fault-Tolerant Hardware Acceleration for High-Performance Edge-Computing Nodes. Electronics"},{"key":"28_CR15","doi-asserted-by":"publisher","unstructured":"Urblik, L., Kajati, E., Papcun, P., Zolotov\u00e1, I.: Containerization in Edge Intelligence: A Review. Electronics 13, 1335 (2024). https:\/\/doi.org\/10.3390\/electronics13071335.","DOI":"10.3390\/electronics13071335"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/LES.2019.2953253","volume":"12","author":"A Biondi","year":"2020","unstructured":"Biondi, A., Nesti, F., Cicero, G., Casini, D., Buttazzo, G.: A safe, secure, and predictable software architecture for deep learning in safety-critical systems. IEEE Embed. Syst. Lett. 12, 78\u201382 (2020). https:\/\/doi.org\/10.1109\/LES.2019.2953253","journal-title":"IEEE Embed. Syst. Lett."},{"key":"28_CR17","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MAES.2020.3008468","volume":"35","author":"G Furano","year":"2020","unstructured":"Furano, G. et al.: Towards the use of artificial intelligence on the edge in space systems: challenges and opportunities. IEEE Aerosp. Electron. Syst. Mag. 35, 44\u201356 (2020). https:\/\/doi.org\/10.1109\/MAES.2020.3008468","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"key":"28_CR18","doi-asserted-by":"publisher","unstructured":"Ma, K. et al.: Radiation-induced degradation analysis and reliability modeling of COTS ADCs for space-borne miniature fiber-optic gyroscopes. IEEE Trans. Instrum. Meas. 70 (2021). https:\/\/doi.org\/10.1109\/TIM.2021.3054419","DOI":"10.1109\/TIM.2021.3054419"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"76478","DOI":"10.1109\/ACCESS.2024.3405373","volume":"12","author":"G Brunetti","year":"2024","unstructured":"Brunetti, G., Campiti, G., Tagliente, M., Ciminelli, C.: COTS devices for space missions in LEO. IEEE Access. 12, 76478\u201376514 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3405373","journal-title":"IEEE Access."},{"key":"28_CR20","doi-asserted-by":"publisher","unstructured":"Slagel, J.T., White, L.M., Dutle, A., Mu\u00f1oz, C.A., Crespo, N.: A formal verification framework for runtime assurance. In: NASA Formal Methods (NFM), pp. 322\u2013328. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-60698-4_19","DOI":"10.1007\/978-3-031-60698-4_19"},{"key":"28_CR21","doi-asserted-by":"publisher","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. pp. 2669\u20132678. AAAI press (2018). https:\/\/doi.org\/10.1609\/aaai.v32i1.11797.","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"28_CR22","doi-asserted-by":"publisher","unstructured":"Nigam, V., Talcott, C.: Automating recoverability proofs for cyber-physical systems with runtime assurance architectures. In: Theoretical Aspects of Software Engineering (TASE), pp. 1\u201319. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_1","DOI":"10.1007\/978-3-031-35257-7_1"},{"key":"28_CR23","unstructured":"Swihart, D.E., Griffin, E.: Automatic ground collision avoidance system (AutoGCAS). In: Proceedings of the 13th WSEAS international conference on Systems (2009)."},{"key":"28_CR24","doi-asserted-by":"publisher","first-page":"750","DOI":"10.2514\/1.A32742","volume":"51","author":"D Angirasa","year":"2014","unstructured":"Angirasa, D., Ayyaswamy, P.S.: Review of evaluation methodologies for satellite exterior materials in low earth orbit. J. Spacecr. Rocket. 51, 750\u2013761 (2014). https:\/\/doi.org\/10.2514\/1.A32742","journal-title":"J. Spacecr. Rocket."},{"key":"28_CR25","doi-asserted-by":"publisher","first-page":"3346","DOI":"10.1109\/TWC.2025.3530083","volume":"24","author":"Q Wang","year":"2025","unstructured":"Wang, Q., Chen, X., Qi, Q., Li, M., Gerstacker, W.: Multiple-satellite cooperative information communication and location sensing in LEO satellite constellations. IEEE Trans. Wirel. Commun. 24, 3346\u20133361 (2025). https:\/\/doi.org\/10.1109\/TWC.2025.3530083","journal-title":"IEEE Trans. Wirel. Commun."},{"key":"28_CR26","doi-asserted-by":"publisher","unstructured":"Osoro, O.B., Oughton, E.J.: A techno-economic framework for satellite networks applied to low earth orbit constellations: assessing Starlink, OneWeb and Kuiper. IEEE Access. 9, 141611\u2013141625 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3119634","DOI":"10.1109\/ACCESS.2021.3119634"},{"key":"28_CR27","doi-asserted-by":"publisher","unstructured":"Wei, Y., Li, H., Du, X.: An efficient LEO global navigation constellation design based on walker constellation. In: 2020 IEEE Computing, Communications and IoT Applications (ComComAp), pp. 1\u20136. Institute of Electrical and Electronics Engineers Inc. (2020). https:\/\/doi.org\/10.1109\/ComComAp51192.2020.9398888","DOI":"10.1109\/ComComAp51192.2020.9398888"},{"key":"28_CR28","doi-asserted-by":"publisher","unstructured":"Miller, K. et al.: Optimal runtime assurance via reinforcement learning. In: ACM\/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS), pp. 67\u201376. Institute of Electrical and Electronics Engineers Inc. (2024). https:\/\/doi.org\/10.1109\/ICCPS61052.2024.00013","DOI":"10.1109\/ICCPS61052.2024.00013"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2026"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-30491-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T18:09:50Z","timestamp":1783102190000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30491-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,4]]},"ISBN":["9783032304902","9783032304919"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30491-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,4]]},"assertion":[{"value":"4 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Braga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}