High performance computing in dependable space systems | IEEE Conference Publication | IEEE Xplore