Spaceflight software validation for future mission applications supported by multicore platforms | IEEE Conference Publication | IEEE Xplore