DMT and DT2: two fault-tolerant architectures developed by CNES for COTS-based spacecraft supercomputers | IEEE Conference Publication | IEEE Xplore