GFSW
Marc de programari a bord per a l'espai
Marc de programari a bord per a l'espai
GFSW és un marc de programari a bord prequalificat, configurable, robust i de mida petita per a missions espacials construït a partir de l'experiència adquirida en activitats operatives prèvies de l'ESA, com ara el vehicle eXperimental intermedi (IXV), Space Rider o els instruments utilitzats en els satèl·lits Copernicus.
GFSW proporciona totes les qualificacions necessàries i està dissenyat per al seu sistema operatiu en temps real i objectiu. GFSW permet reduir riscos i temps en el desenvolupament de programari a bord a partir d’un marc prequalificat, i garanteix la compatibilitat amb els sistemes de control espacial a terra mitjançant l'ús dels estàndards següents: Servei d'ús de paquets (PUS) i base de dades SCOS 2000.
GFSW ha estat dissenyat d'acord amb els estàndards ECSS, ECSS-E-ST-40C, ECSS-Q-ST-80C i ECSS-E-ST-41C [B/C] per a categories de criticitat de C a A.
Aspectes destacats
Entre les principals característiques hi ha el programari d'arrencada, serveis addicionals PUS, protocol CSP, sistema de fitxers o implementacions de CANOpen sota demanda.
Disseny modular flexible, fàcilment adaptable al seu sistema operatiu i objectiu. Fàcil d'utilitzar per configurar GFSW i incloure les seves pròpies aplicacions.
GFSW compleix amb l'estàndard ECSS per a la categoria de criticitat B i inclou una biblioteca matemàtica i gestió de bases de dades mitjançant un entorn de desenvolupament modern basat en Docker.
- 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
- : Especificació de requisits de programari (SRS)
- 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 .
