[marsRoverDev]

You are right, they have redudnancy in all cases - but it isn't usually software written by multiple teams with different hardware.