Jenom byste tím obrovsky zkomplikoval ten program pod tím, který by tohle musel kontrolovat.
Kdo tu mluví o kontrole? Především jde o design. Například aby nemohl SW zavřít sluneční panel a tím přerušit přívod elektřiny, tak nad ním nebude mít vůbec kontrolu, protože ji nepotřebuje. Jednoduché.
Stejně tak nebude mít skript kontrolu přímo nad orientačními motorky, ale má v definici napsáno "chci se dívat tam a tam" a teprve vrstva pod tím vydá příslušné rozkazy motorkům a navíc zkontroluje, zda je to v povolené oblasti. Což je poměrně triviální kontrola.
Daleko jednodušší je tady na Zemi ten skript důkladně otestovat.
SW se na Zemi samozřejmě testuje. Ale chcete dosáhnout vysoké spolehlivosti, nemůžete se spoléhat na jednu vrstvu (opatření), ale musíte jich mít několik. Zvlášť u takhle rutinně dodávaného SW.