Development strategies for the satellite flight software on-board Meteosat Third Generation

Tipaldi, Massimo; Legendre, Cedric; Koopmann, Olliver; Ferraguto, Massimo; Wenker, Ralf; D’Angelo, Gianni

doi:10.1016/j.actaastro.2018.02.020

Cited by 13 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches analyzing formal verification over OBC satellites are [5][6][7][8]. A interesting future line of research is to compare FVS performance against all these approaches.…”

Section: Related and Future Workmentioning

confidence: 99%

See 1 more Smart Citation

Formal Validation of Software for Nano Satellite Missions

Asteasuain

2023

Revista Abierta de Informática Aplicada

View full text Add to dashboard Cite

Space research industry has become one of the most successful domains in the last years. In particular, the development of nano satellites has emerged as a stunning field since its low costs of production. The software in charge of the satellite functioning must be carefully verified to check that system fulfills the expected behavior. In this work we provide a full, complete and declarative framework to formally validate software for nano satellite missions, including behavioral synthesis which is a distinguishable contribution in this field. When validating the satellite behavior we include requirements from different sources: on board computer, IoT protocols, operating system and mission properties. Our framework is based on the declarative and graphical language FVS (Feather Weight Visual Scenarios).

show abstract

“…Other approaches analyzing formal verification over OBC satellites are [5][6][7][8]. A interesting future line of research is to compare FVS performance against all these approaches.…”

Section: Related and Future Workmentioning

confidence: 99%

“…A new era for space-related systems has begun [1][2][3][4][5][6][7][8]11]. According to a report by Morgan Stanley, the expected revenue from the space industry will reach $22 billion by 2024 and $41 billion by 2029 [2,9].…”

Section: Introductionmentioning

confidence: 99%