After more than three and a half years of project, Madrid Flight On Chip (MFoC) successfully culminates providing an important milestone for the implementation of advanced technological products and introduces disruptive changes in the design and verification of complex space systems. The researchers, engineers and technicians of the consortium organizations have positioned Madrid at the forefront of the "New Space" phenomenon in which technological innovation has enabled significant cost reductions leading to the provision of new products.
The Madrid Flight on Chip (MFOC) project was born in early 2019, as an action co-financed by the Madrid Regional Government and the European Union funds, ERDF. Generating a technological development based on Multi-Processor System on Chip (MPSoC) components was the maxim of the project, whose main objective was the validation of this technology and its potential advantages over other classical solutions, for use in space equipment and avionics.
SENER Aerospace, coordinator of the project, led the MFOC consortium formed by the IMDEA Software Institute, Carlos III University of Madrid (UC3M), CENTUM Digital, GENERA Tecnologías and MARM.
SENER Aerospace carried out system engineering, architecture, implementation and integration tasks, as well as validation and verification of the results obtained; IMDEA Software was responsible for the preparation of a report about the state of the art and practice, and for the "MAZACOTE" tool; UC3M for the software architectures, the reliability solution, communications and the "university satellite" application; REUSE for the system engineering environment and life cycle management; and Centrum, Genera and MARM for the design and implementation of software modules and FPGAs.
The IMDEA Software Institute’s team, formed by the researchers Alessandra Gorla, José F. Morales, Fernando Macías, Daniel Jurjo and Juan F. García, has fulfilled the individual objectives set by the project, which consisted of investigating the state of the art on the technical and practical side -including both research articles and industrial tools and solutions-, as well as creating a prototype tool to generate tests automatically. Both objectives are aimed at meeting the need to substantially reduce the costs of the testing phase in the production of satellites.
In this sense, IMDEA Software has analyzed 319 articles related to automatic test generation and has concluded that the most advanced techniques and tools can be adapted to the aerospace field and that the particularities of aerospace software make it a great candidate for automatic test generation. In addition, they have created the MAZACOTE: "Model-Aided fuZzing And COncolic TEsting" tool that allows the automatic generation and execution of unit tests and reporting for model-based embedded aerospace software and whose preliminary results are encouraging. Automatic test generation does not necessarily alter internal processes towards certification but can replace or complement manual tasks.
The end of MFOC, with the consequent technology development, has represented a major advance in small satellite processing technology over existing capabilities. Furthermore, the climate of collaboration that has been generated between the members of the Consortium during the duration of the project is intended to be sustained over time by combining and increasing the capabilities that each of these entities has separately, making Madrid an area of technological excellence in Southern Europe.
**ACTION CO-FINANCED BY THE MADRID REGIONAL GOVERMENT AND THE EUROPEAN UNION THROUGH THE EUROPEAN REGIONAL DEVELOPMENT FUND 2014-2020 (ERDF). MADRID-FLIGHT-ON-CHIP PROJECT / EXP. 49.520608.9.18 / OPERATION CODE DGII/01/21/003-18.
- Juan Francisco Garcı́a, Daniel Jurjo, Fernando Macı́as, Jose F. Morales and Alessandra Gorla. Presentation: An application of KLEE to aerospace industrial software. In 2nd International KLEE Workshop on Symbolic Execution, 2021.
- Juan Francisco Garcı́a, Daniel Jurjo, Fernando Macı́as, Jose F. Morales and Alessandra Gorla. An application of KLEE to aerospace industrial software. In XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021.
- Juan Francisco Garcı́a, Daniel Jurjo, Fernando Macı́as, Jose F. Morales and Alessandra Gorla. MAZACOTE: Automatic Unit Test Generation, Execution and Reporting for Model-based Aerospace Embedded Software. Submitted to ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), 2022.