{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:31Z","timestamp":1750309591803,"version":"3.41.0"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"crossref","award":["OAPES-CM (Y2020\/NMT-6427)"],"award-info":[{"award-number":["OAPES-CM (Y2020\/NMT-6427)"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2025,5,31]]},"abstract":"<jats:p>The space domain is experiencing a paradigm shift with the rise of micro- and nanosatellites. Historically, launching a satellite required a big financial risk only sustained by governments or big companies. Nowadays, with the miniaturization of satellites, there has been a significant reduction in costs and, as a consequence, a greater opportunity for universities and smaller businesses to launch satellites into space. Companies are taking advantage of this reduction in launch and manufacturing costs to gain a competitive edge by adopting what is known as \u201cAgile Space,\u201d which emphasizes rapid iterations. To facilitate this high development pace, specialized toolchains and frameworks are designed for satellite software development. In this article, we provide a solution to reduce the development time of embedded software systems by ensuring consistency between the design and the implementation. We have integrated the core Flight System, a message-oriented framework developed by NASA based on a publish-subscribe architecture, with TASTE, a toolset from the European Space Agency. This integration combines modeling capabilities and automatic code generation, reducing error-prone repetitive tasks. It ensures consistency across different development stages allowing the end-user to focus on the implementation-specific details. To demonstrate the feasibility and advantages of this model-based toolchain, we present a case study of the UPMSat-2 microsatellite. This study demonstrates how this approach can be used to successfully support the development of embedded software systems.<\/jats:p>","DOI":"10.1145\/3706587","type":"journal-article","created":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T11:44:06Z","timestamp":1734608646000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-based Toolchain for Core Flight System (cFS) Embedded Systems"],"prefix":"10.1145","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4025-3611","authenticated-orcid":false,"given":"Hugo","family":"Valente","sequence":"first","affiliation":[{"name":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8626-7843","authenticated-orcid":false,"given":"Miguel","family":"de Miguel","sequence":"additional","affiliation":[{"name":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0760-6071","authenticated-orcid":false,"given":"\u00c1ngel","family":"P\u00e9rez-Mu\u00f1oz","sequence":"additional","affiliation":[{"name":"Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1622-8996","authenticated-orcid":false,"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[{"name":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5412-5691","authenticated-orcid":false,"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[{"name":"Departamento de Arquitectura y Tecnolog\u00eda de Sistemas Inform\u00e1ticos (DATSI), Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7673-9835","authenticated-orcid":false,"given":"Juan","family":"De La Puente","sequence":"additional","affiliation":[{"name":"Departamento de Ingenier\u00eda de Sistemas Telem\u00e1ticos (DIT), Universidad Polit\u00e9cnica de Madrid ETS de Ingenieros de Telecomunicaci\u00f3n, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2025,5,12]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69489-2_34"},{"key":"e_1_3_2_3_2","first-page":"3","article-title":"Tiny runtime to run model-based software on cubesats","author":"Babski Rafa\u0142","year":"2020","unstructured":"Rafa\u0142 Babski, Micha\u0142 Kurowski, Konrad Grochowski, and Maxime Perrotin. 2020. Tiny runtime to run model-based software on cubesats. In Proceedings of the Model Based Space Systems and Software Engineering Workshop (MBSE\u201920). 3\u20134.","journal-title":"Proceedings of the Model Based Space Systems and Software Engineering Workshop (MBSE\u201920)"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2018.8569752"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998443"},{"key":"e_1_3_2_6_2","article-title":"COMPASTA: Integration of the COMPASS and TASTE toolsets","author":"Bozzano Marco","year":"2021","unstructured":"Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Stefano Tonetta Fondazione, and Bruno Kessler. 2021. COMPASTA: Integration of the COMPASS and TASTE toolsets. In Proceedings of the Conference on Model Based Space Systems and Software Engineering.","journal-title":"Proceedings of the Conference on Model Based Space Systems and Software Engineering"},{"key":"e_1_3_2_7_2","unstructured":"John W. Bradbury. 2020. Open Source Core Flight System (cFS) Flight Software (FSW) Verification & Validation (V&V) Final Summary\u2014IV&V Analysis Technical Report. Retrieved from http:\/\/www.sti.nasa.gov."},{"key":"e_1_3_2_8_2","author":"Bradley Theron","year":"2003","unstructured":"Theron Bradley. 2003. The NASA Heritage of Creativity: 2003 Annual Report of the NASA Inventions & Contributions Board.","journal-title":"The NASA Heritage of Creativity: 2003 Annual Report of the NASA Inventions & Contributions Board"},{"key":"e_1_3_2_9_2","unstructured":"CCSDS. 2016. CAST flight software as a CCSDS OnBoard reference architecture. The Consultative Committee for Space Data Systems Washington DC."},{"volume-title":"Space Packet Protocol: Recommended Standard","year":"2020","key":"e_1_3_2_10_2","unstructured":"CCSDS. 2020. Space Packet Protocol: Recommended Standard. The Consultative Committee for Space Data Systems, Washington, DC."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943951"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111626"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3550356.3561541"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1882"},{"key":"e_1_3_2_15_2","unstructured":"Eclipse Foundation. 2023. Papyrus-RT. Retrieved February 23 2023 from https:\/\/projects.eclipse.org\/projects\/modeling.papyrus-rt"},{"key":"e_1_3_2_16_2","unstructured":"ESSR. 2021. SAVOIR Onboard Software Reference Architecture. ESA."},{"key":"e_1_3_2_17_2","unstructured":"ETAS. ASCET-DEVELOPER. 2023. Retrieved February 24 2023 from https:\/\/www.etas.com\/en\/products\/ascet-developer.php"},{"key":"e_1_3_2_18_2","volume-title":"Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"Feiler Peter","year":"2012","unstructured":"Peter Feiler and David Gluch. 2012. Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (1st ed.). Addison-Wesley Professional, Boston, MA.","edition":"1"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70930-5_10"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00353-1_13"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11207-020-01751-8"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79539-1"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.168"},{"key":"e_1_3_2_25_2","article-title":"Dise\u00f1o e implementaci\u00f3n del software del UPMSat-2 en el entorno de desarrollo TASTE","author":"Garrido Jorge","year":"2013","unstructured":"Jorge Garrido, Juan A de la Puente, Juan Zamorano, and Alejandro Alonso. 2013. Dise\u00f1o e implementaci\u00f3n del software del UPMSat-2 en el entorno de desarrollo TASTE. In Proceedings of the Computing Educator Diversity Initiative (CEDI\u201913).","journal-title":"Proceedings of the Computing Educator Diversity Initiative (CEDI\u201913)"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0142-7"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2014.6901058"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/s1474-6670(17)43617-2"},{"key":"e_1_3_2_29_2","first-page":"426","article-title":"SecureUML\u202f: A UML-based modeling language for model-driven security","author":"Lodderstedt Torsten","year":"2002","unstructured":"Torsten Lodderstedt, David Basin, and Jurgen Doser. 2002. SecureUML\u202f: A UML-based modeling language for model-driven security. In Proceedings of the International Conference on the Unified Modeling Language. 426\u2013441.","journal-title":"Proceedings of the International Conference on the Unified Modeling Language"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"key":"e_1_3_2_31_2","unstructured":"Mathworks. MATLAB\/Simulink. Retrieved January 9 2023 from https:\/\/www.mathworks.com\/products\/matlab.html"},{"key":"e_1_3_2_32_2","article-title":"The core flight system (cfs) community: Providing low cost solutions for small spacecraft","author":"McComas David","year":"2016","unstructured":"David McComas, Jonathan Wilmot, and Alan Cudmore. 2016. The core flight system (cfs) community: Providing low cost solutions for small spacecraft. In Proceedings of the 30th Annual AIAA\/USU Conference on Small Satellites.","journal-title":"Proceedings of the 30th Annual AIAA\/USU Conference on Small Satellites"},{"key":"e_1_3_2_33_2","first-page":"1","article-title":"Model-driven engineering and its introduction with metamodeling tools","author":"Mernik Marjan","year":"2008","unstructured":"Marjan Mernik. 2008. Model-driven engineering and its introduction with metamodeling tools. In Proceedings of the 9th International PhD Workshop on Systems and Control: Young Generation Viewpoint. 1\u20136.","journal-title":"Proceedings of the 9th International PhD Workshop on Systems and Control: Young Generation Viewpoint"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.5028\/jatm.v11.1081"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_12"},{"key":"e_1_3_2_36_2","unstructured":"NASA. NASA cFS. Retrieved June 23 2022 from https:\/\/github.com\/nasa\/cfs"},{"volume-title":"Model Driven Architecture (MDA) Architecture Board ORMSC","year":"2001","key":"e_1_3_2_37_2","unstructured":"Object Management Group. 2001. Model Driven Architecture (MDA) Architecture Board ORMSC."},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1089\/space.2016.0027"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1088\/1538-3873\/ac5848"},{"key":"e_1_3_2_40_2","first-page":"3","article-title":"Integration of modelling languages for the development of space domain software applications","author":"P\u00e9rez \u00c1ngel G.","year":"2022","unstructured":"\u00c1ngel G. P\u00e9rez, Miguel A. De Miguel, Hugo Valente, Jes\u00fas Zurera, Juan Zamorano, Alejandro Alonso, and Juan A. De La Puente. 2022. Integration of modelling languages for the development of space domain software applications. ADA User J. (2022), 3\u201311.","journal-title":"ADA User J"},{"key":"e_1_3_2_41_2","first-page":"26","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"Perrotin Maxime","year":"2012","unstructured":"Maxime Perrotin, Eric Conquet, Julien Delange, Andr\u00e9 Schiele, and Thanassis Tsiodras. 2012. TASTE: A real-time software engineering tool-chain overview, status, and future. In SDL 2011: Integrating System and Software Modeling. Springer, Berlin, 26\u201337."},{"key":"e_1_3_2_42_2","article-title":"TASTE: An open-source tool-chain for embedded system and software development","author":"Perrotin Maxime","year":"2012","unstructured":"Maxime Perrotin, Eric Conquet, Julien Delange, and Thanassis Tsiodras. 2012. TASTE: An open-source tool-chain for embedded system and software development. In Proceedings of the European Congress on Embedded Real-Time Software (ERTS\u201912).","journal-title":"Proceedings of the European Congress on Embedded Real-Time Software (ERTS\u201912)"},{"key":"e_1_3_2_43_2","first-page":"1","article-title":"The TASTE Toolset: Turning human designed heterogeneous systems into computer built homogeneous software","author":"Perrotin Maxime","year":"2010","unstructured":"Maxime Perrotin, Eric Conquet, Pierre Dissaux, Thanassis Tsiodras, and J\u00e9r\u00f4me Hugues. 2010. The TASTE Toolset: Turning human designed heterogeneous systems into computer built homogeneous software. In Proceedings of the European Congress on Embedded Real-Time Software (ERTS\u201910). 1\u201310.","journal-title":"Proceedings of the European Congress on Embedded Real-Time Software (ERTS\u201910)"},{"key":"e_1_3_2_44_2","article-title":"TASTE in action","author":"Perrotin Maxime","year":"2016","unstructured":"Maxime Perrotin, Marcel Verhoef, Damien Galano, and Konrad Grochowski. 2016. TASTE in action. In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS\u201916).","journal-title":"Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS\u201916)"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2017.8102108"},{"key":"e_1_3_2_46_2","article-title":"Gericos: A generic framework for the development of on-board software","author":"Plasson Philippe","year":"2016","unstructured":"Philippe Plasson, C. Cuomo, G. Gabriel, N. Gauthier, L. Gueguen, and L. Malac-Allain. 2016. Gericos: A generic framework for the development of on-board software. In Proceedings of the Conference on Data Systems in Aerospace (DASIA\u201916).","journal-title":"Proceedings of the Conference on Data Systems in Aerospace (DASIA\u201916)"},{"key":"e_1_3_2_47_2","article-title":"Building modern cross-platform flight software for small satellites","author":"Plauch Ryan","year":"2017","unstructured":"Ryan Plauch. 2017. Building modern cross-platform flight software for small satellites. In Proceedings of the Small Satellites Conference.","journal-title":"Proceedings of the Small Satellites Conference"},{"key":"e_1_3_2_48_2","unstructured":"PragmaDev. PragmaDev Studio. Retrieved January 9 2023 from https:\/\/www.pragmadev.com\/."},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCOINS.2014.6868832"},{"key":"e_1_3_2_50_2","unstructured":"Software Engineering Institute. 2016. OSATE. Retrieved October 23 2023 from https:\/\/osate.org\/."},{"key":"e_1_3_2_51_2","unstructured":"Space Foundation. 2022. The Space Report 2022."},{"key":"e_1_3_2_52_2","first-page":"280","article-title":"SAVOIR: Reusing specifications to improve the way we deliver avionics","author":"Terraillon Jean-Loup","year":"2009","unstructured":"Jean-Loup Terraillon. 2009. SAVOIR: Reusing specifications to improve the way we deliver avionics. In Proceedings of the Conference on Embedded Real Time Software and Systems. 280.","journal-title":"Proceedings of the Conference on Embedded Real Time Software and Systems"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-022-09585-2"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.06.047"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/11591962_8"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2007.111"},{"key":"e_1_3_2_57_2","article-title":"Design, development, and implementation of a cFS, RTEMS, and LEON3 platform","author":"Zurera Jes\u00fas","year":"2022","unstructured":"Jes\u00fas Zurera, Miguel A De Miguel, Hugo Valente, Angel G P\u00e9rez, Alejandro Alonso, Juan Zamorano, and Juan A De La Puente. 2022. Design, development, and implementation of a cFS, RTEMS, and LEON3 platform. In Proceedings of the Conference on Data Systems in Aerospace (DASIA\u201922).","journal-title":"Proceedings of the Conference on Data Systems in Aerospace (DASIA\u201922)"},{"key":"e_1_3_2_58_2","first-page":"1","article-title":"Requirements for a component-based modelling language for space missions","author":"Zurera Jes\u00fas","year":"2021","unstructured":"Jes\u00fas Zurera, Hugo Valente, Miguel A De Miguel, Angel G P\u00e9rez, Juan Zamorano, Juan A De La Puente, and Alejandro Alonso. 2021. Requirements for a component-based modelling language for space missions. In Proceedings of the 6th Spanish Congress of Informatics (CEDI\u201921). 1\u201312.","journal-title":"Proceedings of the 6th Spanish Congress of Informatics (CEDI\u201921)"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3706587","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3706587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:51Z","timestamp":1750298211000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3706587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,12]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,5,31]]}},"alternative-id":["10.1145\/3706587"],"URL":"https:\/\/doi.org\/10.1145\/3706587","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2025,5,12]]},"assertion":[{"value":"2023-03-13","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}