A Consistent Avionics Computing Platform for Spacecraft Control and Data Processing