GFSW®

• Inicialització del programari: inicia el programari en un ordre segur i informa dels resultats.
• Serveis estàndard d'ús de paquets (PUS) que compleixen amb ECSS-E-ST-70-41 [B/C]. Els serveis disponibles permeten la supervisió i control remot dels subsistemes i càrregues de pagament de la nau espacial. A més, gràcies als serveis 5, 12 i 19, és possible definir l’FDIR (sistema de detecció de fallades, aïllament i recuperació) mitjançant una configuració que permeti la sintonització tardana.
  • Servei 1: sol·licitud de verificació
  • Servei 3: neteja
  • Servei 5: notificació d'esdeveniments
  • Servei 6: gestió de la memòria
  • Servei 12: seguiment a bord Servei 19: esdeveniment-acció
  • Servei 20: gestió de paràmetres
• Gestió de cronologia: execució d'una cronologia configurable en funció del temps i dels esdeveniments.
• Gestió de telemetria: segons l'estàndard PUS.
• Gestió de telecomandaments: cada mòdul és capaç de registrar el telecomandament a distància, encaminar-lo i programar-lo automàticament.
• Supervisor: supervisa l'execució de les tasques per detectar si hi ha un mal funcionament o errors.
• Actualització de programari a bord mitjançant telecomandaments.
• Capacitats en temps real, incloent tasques definides en funció del perfil de Ravenscar i comunicació a través dels protocols de prioritat màxima i herència de prioritat.
• DataPool: base de dades integrada que permet una comunicació segura entre diferents mòduls.
• Mathlib: biblioteca matemàtica qualificada. Inclou la verificació en l'objectiu seleccionat.
• Capa d'abstracció del sistema operatiu: el sistema operatiu s'abstreu per permetre una senzilla migració al sistema operatiu en temps real i a l’objectiu seleccionats.
• Els serveis no utilitzats s'eliminen automàticament per evitar l’existència de codi mort.

El paquet de dades, basat en l'estàndard ECSS, està disponible juntament amb el programari GFSW®

• Document de disseny de programari (SDD)
• Document de control
• d'interfície (ICD) Manual d'usuari
• del programari (SUM) Pla de
• garantia de productes de programari (SPAP)
• Informe de garantia de productes de programari (SPAR)
• Pla de proves unitàries i integració de programari (SUITP)
• Informe de proves d’unitat i integració de programari (SUITR)
• Informe de proves de verificació de programari (SVR)
• Document de control de verificació (VCD)
• Certificat de classificació d'exportació de productes bàsics (CEC).

• Git CI/CD: es proporciona un projecte gitlab per permetre una fàcil integració i comunicació amb projectes externs de programari i equips de desenvolupament.
• Docker: l'entorn de desenvolupament es proporciona en forma d'imatge Docker.
• Exemples: es proporcionen diversos exemples juntament amb el manual d'usuari del programari per accelerar la corba d'aprenentatge dels desenvolupadors de programari.
• Eina de gestió de bases de dades: s'inclou una eina específica de gestió de bases de dades compatible amb la base de dades SCOS2000, que s'utilitza àmpliament en centres de control a terra. L'eina pot generar automàticament codi font compatible amb GFSW® .