{rfName}
Mo

Indexed in

License and use

Citations

Altmetrics

Grant support

The work described in this article has been developed within the European Project AURORA (No. 101004291) , and the Project OAPES-CM (No. Y2020/NMT-6427) . We acknowledge the financial support of the European Union's H2020 R +I programme, and the Comunidad de Madrid (Spain) Proyectos Sinergicos de I +D plan, as well as the collaboration with the partners in both projects. The authors are indebted to the Horizon 2020 IOD/IOV Programme of the European Union that funded the UPMSat-2 launch.

Analysis of institutional authors

Perez-Munoz, AngelAuthorZamorano, JuanAuthor

Share

July 31, 2025
Publications
>
Article
No

Model-based Toolchain for Core Flight System (cFS) Embedded Systems

Publicated to:Acm Transactions On Embedded Computing Systems. 24 (3): 51- - 2025-05-01 24(3), DOI: 10.1145/3706587

Authors: Valente, Hugo; De Miguel, Miguel; Perez-Munoz, Angel; Alonso, Alejandro; Zamorano, Juan; De La Puente, Juan

Affiliations

Univ Politecn Madrid, Dept Arquitectura & Tecnol Sistemas Informat DATSI, Madrid, Spain - Author
Univ Politecn Madrid, ETS Ingn & Sistema Telecomun, Dept Ingn Sistemas Telematicos DIT, Madrid, Spain - Author

Abstract

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 "Agile Space," 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.

Keywords

Component-based software developmentFlight softwarModel-driven engineeringNew space

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal Acm Transactions On Embedded Computing Systems due to its progression and the good impact it has achieved in recent years, according to the agency WoS (JCR), it has become a reference in its field. In the year of publication of the work, 2025, it was in position 30/60, thus managing to position itself as a Q2 (Segundo Cuartil), in the category Computer Science, Hardware & Architecture. Notably, the journal is positioned en el Cuartil Q2 para la agencia Scopus (SJR) en la categoría .

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2025-09-05:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 3 (PlumX).

Leadership analysis of institutional authors

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (Valente, Hugo) and Last Author (De La Puente, Juan).

the author responsible for correspondence tasks has been Valente, Hugo.