Using the SpaceVNX Standard to Implement a High-Reliability High-Performance System for Small Spacecraft Applications