On-board software architecture in MTG satellite

Wenker, Ralf; Legendre, Cedric; Ferraguto, Massimo; Tipaldi, Massimo; Wortmann, Andreas; Moellmann, Christian; Rosskamp, Dirk

doi:10.1109/metroaerospace.2017.7999588

Cited by 4 publications

(4 citation statements)

References 7 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%

Formal Validation of Software for Nano Satellite Missions

Asteasuain

2023

Revista Abierta de Informática Aplicada

View full text Add to dashboard Cite

show abstract

“…The research takes advantage of using orbit and design data from two different missions KazEOSat-1 and KazSTSat [5] for the analysis. The architecture of the onboard software of the KazEOSat-1 [6] and KazSTSAT [3] remote sensing SC has a basic structure corresponding to the traditional static architecture of the OBSW, considered in [7] and [8].…”

Section: Obcs Software Architecturementioning

confidence: 99%

“…The application layer performs the main modes of the SC and mission control, monitoring of the technical condition of the SC, management of subsystems and the system level FDIR (Failure Detection, Isolation and Recovery). In order to support the platform and payload operations, On-Board Control Procedures (OBCP) [8] provide the capability to interact with the OBSW by executing script files previously uploaded on board by operators of the ground station [7].…”

Section: Obcs Software Architecturementioning

confidence: 99%

Development of Onboard Control System Architecture for Nanosatellites

Alipbayev¹

2022

Eurasian phys. tech. j.

View full text Add to dashboard Cite

This article presents development of the architecture of the onboard control system. In particular, the hardware and circuit solutions in the development of the module are presented. Technical solutions, the concept of the mechanical layout of the onboard control system and block diagrams of the presented modules of the onboard complex are also discussed. Main functions of the on-board software are described in details, which will help in design and development of ultra-small artificial satellites. This article serves as a new approach for how to effectively configure and operate the on-board control system.

show abstract

Design of OBDH Subsystem for Remote Sensing Satellite based on Onboard Route Architecture

Wang

Han

et al. 2017

MATEC Web Conf.

View full text Add to dashboard Cite

Abstract. This paper describes the On-Board Data Handling Subsystem of remote sensing satellite, which plays nowadays a relevant role to support satellite assembling, integration and testing activities in the implementing complex system-level requirements. Firstly, the architecture and functionalities of On-Board Data Handling Subsystem are described. Secondly, layered On-Board Data Handling Subsystem flight software architecture based on onboard route as well as software maintenance and tolerance designs are depicted. In particular, we present the redundancies and fault processing means for ensuring the correctness of On-Board Data Handling Subsystem.

show abstract

On-board software architecture in MTG satellite

Cited by 4 publications

References 7 publications

Formal Validation of Software for Nano Satellite Missions

Formal Validation of Software for Nano Satellite Missions

Development of Onboard Control System Architecture for Nanosatellites

Design of OBDH Subsystem for Remote Sensing Satellite based on Onboard Route Architecture

Contact Info

Product

Resources

About