Experience in spacecraft on-board software development
Juan A. de la Puente, Alejandro Antonio Alonso Muñoz, Juan Zamorano, Jorge Garrido, José Emilio Salazar Marsá, Miguel Angel de Miguel Cabello · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2014
This paper describes some important aspects of high- integrity software development based on the authors' work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software.