A cost-effective avionics architecture to achieve high availability in small satellites