{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:21:40Z","timestamp":1776784900975,"version":"3.51.2"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031460760","type":"print"},{"value":"9783031460777","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-46077-7_23","type":"book-chapter","created":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T11:01:58Z","timestamp":1699268518000},"page":"347-362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["METASAT: Modular Model-Based Design and\u00a0Testing for\u00a0Applications in\u00a0Satellites"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9751-1058","authenticated-orcid":false,"given":"Leonidas","family":"Kosmidis","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2426-306X","authenticated-orcid":false,"given":"Alejandro J.","family":"Calder\u00f3n","sequence":"additional","affiliation":[]},{"given":"Aridane \u00c1lvarez","family":"Su\u00e1rez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7059-6960","authenticated-orcid":false,"given":"Stefano","family":"Sinisi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2201-9015","authenticated-orcid":false,"given":"Eckart","family":"G\u00f6hler","sequence":"additional","affiliation":[]},{"given":"Paco G\u00f3mez","family":"Molinero","sequence":"additional","affiliation":[]},{"given":"Alfred","family":"H\u00f6nle","sequence":"additional","affiliation":[]},{"given":"Alvaro Jover","family":"Alvarez","sequence":"additional","affiliation":[]},{"given":"Lorenzo","family":"Lazzara","sequence":"additional","affiliation":[]},{"given":"Miguel Masmano","family":"Tello","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1816-4516","authenticated-orcid":false,"given":"Peio","family":"Onaindia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3649-253X","authenticated-orcid":false,"given":"Tomaso","family":"Poggi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7681-8955","authenticated-orcid":false,"given":"Iv\u00e1n Rodr\u00edguez","family":"Ferr\u00e1ndez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9634-2026","authenticated-orcid":false,"given":"Marc Sol\u00e9","family":"Bonet","sequence":"additional","affiliation":[]},{"given":"Giulia","family":"Stazi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8313-7357","authenticated-orcid":false,"given":"Matina Maria","family":"Trompouki","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Ulisse","sequence":"additional","affiliation":[]},{"given":"Valerio","family":"Di Valerio","sequence":"additional","affiliation":[]},{"given":"Jannis","family":"Wolf","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3607-7443","authenticated-orcid":false,"given":"Irune","family":"Yarza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,7]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Bonet, M.S., Kosmidis, L.: SPARROW: a low-cost hardware\/software co-designed SIMD microarchitecture for AI operations in space processors. In: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (2022)","DOI":"10.23919\/DATE54114.2022.9774730"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Dr\u00f6nner, J., et al.: Fast cloud segmentation using convolutional neural networks. Remote Sens. (2018)","DOI":"10.3390\/rs10111782"},{"key":"23_CR3","unstructured":"European Association of Remote Sensing Companies: EARSC Industry Survey 2021 (2021). https:\/\/earsc.org\/wp-content\/uploads\/2021\/10\/EARSC-Industry-survey-2021.pdf"},{"key":"23_CR4","unstructured":"European Space Agency: First Earth observation satellite with AI ready for launch (2019). https:\/\/www.esa.int\/Applications\/Observing_the_Earth\/Ph-sat\/First_Earth_observation_satellite_with_AI_ready_for_launch"},{"key":"23_CR5","unstructured":"European Space Agency: PhiSat-1 Nanosatellite Mission (2020). https:\/\/www.eoportal.org\/satellite-missions\/phisat-1"},{"key":"23_CR6","unstructured":"Flordal, O., et al.: SpaceCloud cloud computing and in-orbit demonstration. In: European Workshop on On-Board Data Processing (OBDP) (2021)"},{"key":"23_CR7","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)","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., et al.: GPU4S: major project outcomes, lessons learnt and way forward. In: Design Automation and Test in Europe (DATE) (2021)","DOI":"10.23919\/DATE51398.2021.9474123"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Labr\u00e8che et al.: OPS-SAT spacecraft autonomy with TensorFlow lite, unsupervised learning, and online machine learning. In: IEEE Aerospace Conference (2022)","DOI":"10.1109\/AERO53065.2022.9843402"},{"key":"23_CR10","unstructured":"Masmano, M., Ripoll, I., Crespo, A., Jean-Jacques, M.: Xtratum: a hypervisor for safety critical embedded systems. In: 11th Real Time Linux Workshop (2009)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"4254","DOI":"10.1109\/JSTARS.2021.3070786","volume":"14","author":"S Mohajerani","year":"2021","unstructured":"Mohajerani, S., Saeedi, P.: Cloud and cloud shadow segmentation for remote sensing imagery via filtered Jaccard loss function and parametric augmentation. IEEE J. Sel. Top. Appl. Earth Obs. Remote Sens. 14, 4254\u20134266 (2021)","journal-title":"IEEE J. Sel. Top. Appl. Earth Obs. Remote Sens."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Peralta, C.Q., Trompouki, M.M., Kosmidis, L.: Evaluation of SYCL\u2019s suitability for high-performance critical systems. In: Proceedings of the 2023 International Workshop on OpenCL, IWOCL 2023 (2023)","DOI":"10.1145\/3585341.3585378"},{"key":"23_CR13","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":"23_CR14","unstructured":"Powell, W.A.: NASA\u2019s vision for spaceflight computing. In: 16th ESA Workshop on Avionics, Data, Control and Software Systems (ADCSS) (2022)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Redmon, J., Divvala, S., Girshick, R., Farhadi, A.: You only look once: unified, real-time object detection. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2016)","DOI":"10.1109\/CVPR.2016.91"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Sandler, M., Howard, A., Zhu, M., Zhmoginov, A., Chen, L.: MobileNetV2: inverted residuals and linear bottlenecks. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2018)","DOI":"10.1109\/CVPR.2018.00474"},{"key":"23_CR17","unstructured":"Trompouki, M.M., Kosmidis, L.: DO-178C certification of general-purpose GPU software: review of existing methods and future directions. In: 2021 IEEE\/AIAA 40th Digital Avionics Systems Conference (DASC) (2021)"},{"key":"23_CR18","unstructured":"Whittle, M., Sikorski, A., Eager, J., Nacer, E.: Space Market - How to facilitate access and create an open and competitive market? Publication for the committee on Industry, Research and Energy (ITRE), Policy Department for Economic, Scientific and Quality of Life Policies (2021)"},{"key":"23_CR19","unstructured":"Wilner, D.: What really happened on Mars? Keynote address at the Real-Time Systems Symposium (RTSS) (1997)"}],"container-title":["Lecture Notes in Computer Science","Embedded Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46077-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T11:04:06Z","timestamp":1699268646000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46077-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031460760","9783031460777"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46077-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"7 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAMOS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Embedded Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Samos","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"samos2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/samos-conference.com\/wp\/","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":"Softconf","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45","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":"11","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":"7","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":"24% - 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":"4","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":"2","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)"}}]}}