{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T05:06:01Z","timestamp":1783141561991,"version":"3.54.6"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031124280","type":"print"},{"value":"9783031124297","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-12429-7_24","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:40:43Z","timestamp":1663990843000},"page":"333-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3918-3265","authenticated-orcid":false,"given":"Jose-Carlos","family":"Gamazo-Real","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6006-4335","authenticated-orcid":false,"given":"Juan Rafael","family":"Zamorano-Flores","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5890-6065","authenticated-orcid":false,"given":"\u00c1ngel","family":"Sanz-Andr\u00e9s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"24_CR1","unstructured":"Airbus: New Space. https:\/\/www.airbus.com\/public-affairs\/brussels\/our-topics\/space\/new-space.html. Accessed 06 Oct 2021"},{"key":"24_CR2","unstructured":"Airbus Oneweb Satellites: Building an Accessible Space for All: Revolutionizing the Economics of Space. https:\/\/airbusonewebsatellites.com\/. Accessed 06 Oct 2021"},{"issue":"2","key":"24_CR3","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J Arlat","year":"1990","unstructured":"Arlat, J., et al.: Fault injection for dependability validation: a methodology and some applications. IEEE Trans. Softw. Eng. 16(2), 166\u2013182 (1990). https:\/\/doi.org\/10.1109\/32.44380","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/J.ACTAASTRO.2018.11.011","volume":"156","author":"CLG Batista","year":"2019","unstructured":"Batista, C.L.G., et al.: Towards increasing nanosatellite subsystem robustness. Acta Astronaut. 156, 187\u2013196 (2019). https:\/\/doi.org\/10.1016\/J.ACTAASTRO.2018.11.011","journal-title":"Acta Astronaut."},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1089\/SPACE.2018.0017","volume":"7","author":"JR Behrens","year":"2019","unstructured":"Behrens, J.R., Lal, B.: Exploring trends in the global small satellite ecosystem. New Space 7(3), 126\u2013136 (2019). https:\/\/doi.org\/10.1089\/SPACE.2018.0017","journal-title":"New Space"},{"issue":"2","key":"24_CR6","first-page":"179","volume":"1","author":"G Bernat","year":"2005","unstructured":"Bernat, G., et al.: Probabilistic timing analysis: An approach using copulas. J. Embed. Comput. 1(2), 179\u2013194 (2005)","journal-title":"J. Embed. Comput."},{"issue":"4","key":"24_CR7","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s12567-020-00321-9","volume":"12","author":"FC Bruhn","year":"2020","unstructured":"Bruhn, F.C., Tsog, N., Kunkel, F., Flordal, O., Troxel, I.: Enabling radiation tolerant heterogeneous GPU-based onboard data processing in space. CEAS Space Journal 12(4), 551\u2013564 (2020). https:\/\/doi.org\/10.1007\/s12567-020-00321-9","journal-title":"CEAS Space Journal"},{"key":"24_CR8","unstructured":"Buonaiuto, N., et al.: Satellite identification imaging for small satellites using NVIDIA. In: Small Satellite Conference (2017)"},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/997119.997120","volume":"40","author":"A Burns","year":"2004","unstructured":"Burns, A., et al.: Guide for the use of the Ada ravenscar profile in high integrity systems. ACM SIGAda Ada Lett. 40(2), 110\u2013127 (2004). https:\/\/doi.org\/10.1145\/997119.997120","journal-title":"ACM SIGAda Ada Lett."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Carter, W.C., Abraham, J.: Design and evaluation tools for fault tolerant systems. In: AIAA Computers in Aerospace Conference, pp. 70\u201377 (1987)","DOI":"10.2514\/6.1987-2766"},{"issue":"6","key":"24_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/2.386985","volume":"28","author":"JA Clark","year":"1995","unstructured":"Clark, J.A., Pradhan, D.K.: Fault injection a method for validating computer-system dependability. Comput. Long. Beach. Calif. 28(6), 47\u201356 (1995). https:\/\/doi.org\/10.1109\/2.386985","journal-title":"Comput. Long. Beach. Calif."},{"issue":"4","key":"24_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MSP.2013.54","volume":"11","author":"D Cotroneo","year":"2013","unstructured":"Cotroneo, D., Natella, R.: Fault injection for software certification. IEEE Secur. Priv. 11(4), 38\u201345 (2013). https:\/\/doi.org\/10.1109\/MSP.2013.54","journal-title":"IEEE Secur. Priv."},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"Davidson, R.L., Bridges, C.P.: Adaptive multispectral GPU accelerated architecture for earth observation satellites. In: IST 2016 IEEE International Conference on Imaging Systems and Techniques, pp. 117\u2013122. Institute of Electrical and Electronics Engineers Inc. (2016). https:\/\/doi.org\/10.1109\/IST.2016.7738208","DOI":"10.1109\/IST.2016.7738208"},{"issue":"9","key":"24_CR14","doi-asserted-by":"publisher","first-page":"1990","DOI":"10.1109\/TPDS.2018.2812853","volume":"29","author":"RL Davidson","year":"2018","unstructured":"Davidson, R.L., Bridges, C.P.: Error resilient gpu accelerated image processing for space applications. IEEE Trans. Parallel Distrib. Syst. 29(9), 1990\u20132003 (2018). https:\/\/doi.org\/10.1109\/TPDS.2018.2812853","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"24_CR15","unstructured":"European Space Agency: ESA AI4EO Portal. AI4EO projects from ESA \u03a6-Lab, https:\/\/ai4eo.esa.int\/. Accessed 22 Oct 2021"},{"key":"24_CR16","unstructured":"European Space Agency: GSTP Element 1 \u201cDevelop\u201d compendium (2019)"},{"key":"24_CR17","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"P Feiler","year":"2012","unstructured":"Feiler, P., Gluch, D.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)"},{"key":"24_CR18","doi-asserted-by":"publisher","unstructured":"Gonz\u00e1lez Harbour, M., et al.: MAST: modeling and analysis suite for real time applications. In: Proceedings - Euromicro Conference on Real-Time Systems, pp. 125\u2013134 (2001). https:\/\/doi.org\/10.1109\/EMRTS.2001.934015","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"24_CR19","doi-asserted-by":"publisher","unstructured":"Haddad, N.F., et al.: Second generation (200MHz) RAD750 microprocessor radiation evaluation. In: Proceedings of the European Conference on Radiation and Its Effects on Components and Systems, RADECS, pp. 877\u2013880 (2011). https:\/\/doi.org\/10.1109\/RADECS.2011.6131320","DOI":"10.1109\/RADECS.2011.6131320"},{"key":"24_CR20","doi-asserted-by":"publisher","unstructured":"Harrison, L.H., et al.: Artificial intelligence and expert systems for avionics. In: Proceedings of the IEEE\/AIAA 12th Digital Avionics Systems Conference, pp. 167\u2013172. IEEE (1993). https:\/\/doi.org\/10.1109\/DASC.1993.283552","DOI":"10.1109\/DASC.1993.283552"},{"issue":"4","key":"24_CR21","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"MC Hsueh","year":"1997","unstructured":"Hsueh, M.C., et al.: Fault injection techniques and tools. Comput. Long. Beach. Calif. 30(4), 75\u201382 (1997). https:\/\/doi.org\/10.1109\/2.585157","journal-title":"Comput. Long. Beach. Calif."},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63387-9_1","volume-title":"Computer Aided Verification","author":"X Huang","year":"2017","unstructured":"Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"key":"24_CR23","doi-asserted-by":"publisher","unstructured":"Iorgulescu, D.T., et al.: Artificial expertise in systems engineering (aerospace systems). Presented at the December 9 (2002). https:\/\/doi.org\/10.1109\/DASC.1991.177200","DOI":"10.1109\/DASC.1991.177200"},{"key":"24_CR24","unstructured":"ITU: X.683\u202f: Information technology - Abstract Syntax Notation One (ASN.1): Parameterization of ASN.1 specifications. https:\/\/www.itu.int\/rec\/T-REC-X.683. Accessed 22 Oct 2021"},{"key":"24_CR25","unstructured":"ITU: Z.100\u202f: Lenguaje de especificaci\u00f3n y descripci\u00f3n - Visi\u00f3n general de SDL-2010. https:\/\/www.itu.int\/rec\/T-REC-Z.100\/es. Accessed 22 Oct 2021"},{"key":"24_CR26","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943865","author":"D Kaslow","year":"2017","unstructured":"Kaslow, D., et al.: A model-based systems engineering (MBSE) approach for defining the behaviors of CubeSats. IEEE Aerosp. Conf. Proc. (2017). https:\/\/doi.org\/10.1109\/AERO.2017.7943865","journal-title":"IEEE Aerosp. Conf. Proc."},{"key":"24_CR27","doi-asserted-by":"publisher","unstructured":"Kosmidis, L., et al.: GPU4S: embedded GPUs in space. In: Proceedings - Euromicro Conference on Digital System Design, DSD 2019, pp. 399\u2013405. Institute of Electrical and Electronics Engineers Inc. (2019). https:\/\/doi.org\/10.1109\/DSD.2019.00064","DOI":"10.1109\/DSD.2019.00064"},{"key":"24_CR28","doi-asserted-by":"publisher","unstructured":"de la Puente, J.A., et al.: The ASSERT virtual machine: a predictable platform for real-time systems. In: IFAC Proceedings, pp. 10680\u201310685. Elsevier (2008). https:\/\/doi.org\/10.3182\/20080706-5-KR-1001.01810","DOI":"10.3182\/20080706-5-KR-1001.01810"},{"key":"24_CR29","doi-asserted-by":"publisher","unstructured":"De La Puente, J.A., et al.: Model-driven design of real-time software for an experimental satellite. In: IFAC Proceedings, pp. 1592\u20131598. IFAC Secretariat (2014). https:\/\/doi.org\/10.3182\/20140824-6-ZA-1003.01967","DOI":"10.3182\/20140824-6-ZA-1003.01967"},{"issue":"4","key":"24_CR30","doi-asserted-by":"publisher","first-page":"178","DOI":"10.2514\/1.I010555","volume":"15","author":"G Lentaris","year":"2018","unstructured":"Lentaris, G., et al.: High-performance embedded computing in space: evaluation of platforms for vision-based navigation. J. Aerosp. Inf. Syst. 15(4), 178\u2013192 (2018). https:\/\/doi.org\/10.2514\/1.I010555","journal-title":"J. Aerosp. Inf. Syst."},{"key":"24_CR31","unstructured":"Mehrparvar, A., et al.: Cubesat Design Specification Rev 13, the CubeSat Program. Cal Poly San Luis Obispo, US"},{"key":"24_CR32","unstructured":"Moore, C.: Technology development for NASA\u2019s asteroid redirect mission. In: International Astronautical Federal IAC-14,D2,8-A5.4,1,x22696 (2014)"},{"key":"24_CR33","unstructured":"Nanosats Database: World\u2019s largest database of nanosatellites, over 3200 nanosats and CubeSats. https:\/\/www.nanosats.eu\/. Accessed 30 Sep 2021"},{"key":"24_CR34","doi-asserted-by":"publisher","unstructured":"Nguyen, A., et al.: Deep neural networks are easily fooled: high confidence predictions for unrecognizable images. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. 427\u2013436. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/CVPR.2015.7298640","DOI":"10.1109\/CVPR.2015.7298640"},{"key":"24_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54422-9","volume-title":"Dependable Multicore Architectures at Nanoscale","year":"2018","unstructured":"Ottavi, M., Gizopoulos, D., Pontarelli, S. (eds.): Dependable Multicore Architectures at Nanoscale. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-54422-9"},{"key":"24_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-25264-8_4","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"M Perrotin","year":"2011","unstructured":"Perrotin, M., Conquet, E., Delange, J., Schiele, A., Tsiodras, T.: TASTE: a real-time software engineering tool-chain overview, status, and future. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 26\u201337. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25264-8_4"},{"key":"24_CR37","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/J.PAEROSCI.2016.11.002","volume":"88","author":"A Poghosyan","year":"2017","unstructured":"Poghosyan, A., Golkar, A.: CubeSat evolution: analyzing cubeSat capabilities for conducting science missions. Prog. Aerosp. Sci. 88, 59\u201383 (2017). https:\/\/doi.org\/10.1016\/J.PAEROSCI.2016.11.002","journal-title":"Prog. Aerosp. Sci."},{"issue":"5","key":"24_CR38","doi-asserted-by":"publisher","first-page":"2957","DOI":"10.1109\/TNS.2004.834955","volume":"51","author":"PK Samudrala","year":"2004","unstructured":"Samudrala, P.K., et al.: Selective triple modular redundancy (STMR) based single-event upset (SEU) tolerant synthesis for FPGAs. IEEE Trans. Nucl. Sci. 51(5), 2957\u20132969 (2004). https:\/\/doi.org\/10.1109\/TNS.2004.834955","journal-title":"IEEE Trans. Nucl. Sci."},{"key":"24_CR39","doi-asserted-by":"publisher","unstructured":"Schmidt, A.G., et al.: Applying radiation hardening by software to fast lossless compression prediction on FPGAs. In: IEEE Aerospace Conference Proceedings (2012). https:\/\/doi.org\/10.1109\/AERO.2012.6187254","DOI":"10.1109\/AERO.2012.6187254"},{"key":"24_CR40","unstructured":"SpaceX: Astronomy Discussion with National Academy of Sciences. https:\/\/www.spacex.com\/updates\/starlink-update-04-28-2020\/index.html. Accessed 06 Oct 2021"},{"key":"24_CR41","doi-asserted-by":"publisher","unstructured":"Takizawa, H., et al.: CheCUDA: a checkpoint\/restart tool for CUDA applications. In: Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings, pp. 408\u2013413 (2009). https:\/\/doi.org\/10.1109\/PDCAT.2009.78","DOI":"10.1109\/PDCAT.2009.78"},{"key":"24_CR42","unstructured":"Troxel Aerospace: SEU Mitigation Middleware (SMM). https:\/\/troxelaerospace.com\/products\/software-solutions\/. Accessed 06 Oct 2021"},{"key":"24_CR43","doi-asserted-by":"crossref","unstructured":"Urban, C., et al.: Perfectly parallel fairness certification of neural networks. In: ACM on Programming Languages. Association for Computing Machinery (2019)","DOI":"10.1145\/3428253"},{"key":"24_CR44","doi-asserted-by":"crossref","unstructured":"Bouricius, W.G., Carter, W.C., Schneider, P.R.: Reliability modeling techniques for self-repairing computer systems. In: 24th ACM National Conference, pp. 295\u2013309 (1969)","DOI":"10.1145\/800195.805940"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-12429-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T03:45:01Z","timestamp":1663991101000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-12429-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031124280","9783031124297"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-12429-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"86","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}