Les corrections d'orbite sont effectuées une fois toutes les quatre semaines tandis que la désaturation des roues de réaction est réalisée toutes les deux semaines.
La maintenabilité exprime la simplicité de correction et de modification du logiciel, et même, parfois, la possibilité de modification du logiciel en cours d'exécution.
Cela rend difficile l'établissement de propriétés de corrections fortes et la mise à l'échelle de la vérification de programmes, sur plusieurs couches.
