> If everything have static address and deterministic static, you can have a exact copy on ground and debug there.

You can also have deterministic dynamic - the satellite could transmit its dynamic state (a few bits signifying which memory cells failed) and then you proceed deterministically on the ground.