Model-based development for the on-board software of the main OBC of the HERMES CubeSat

In recent years, a new paradigm has emerged in designing and implementing space missions: the use of nanosatellites such as CubeSats has begun to be increasingly validated, providing cheaper access to space for players such as Universities and research teams. In order to keep development time and cost low, a model-based approach has been progressively adopted by the industry. This thesis explores the feasibility of developing the Finite State Machine for the firmware of the HERMES CubeSat using a model-based approach. A COTS Flight Software Development Kit has been used with good results. This preliminary work laid the groundwork for the development of the full on-board software and the subsequent launch of the first six CubeSats.

In anni recenti, un nuovo paradigma è emerso nel design e nell'implementazione di missioni spaziali: l'uso di nanosatelliti come CubeSat è cominciato ad essere progressivamente validato, fornendo un ingresso allo spazio meno costoso per istituzioni come università e gruppi di ricerca. Per mantenere un basso costo e un breve tempo di sviluppo, un approccio model-based è stato progressivamente adottato dall'industria. Questa tesi esplora la possibilità di sviluppare una Macchina a Stati Finiti per il firmware del CubeSat HERMES, usando un approccio model-based. Un COTS Flight Software Development Kit è stato usato con buoni risultati. Questo lavoro preliminare ha gettato le basi per lo sviluppo dell'intero software di bordo e del successivo lancio dei primi sei CubeSat.