Methodology and Tools Developed for Validation of COTS-based Fault-Tolerant Spacecraft Supercomputers | IEEE Conference Publication | IEEE Xplore