FDI(R) for satellite at Thales Alenia Space how to deal with high availability and robustness in space domain? | IEEE Conference Publication | IEEE Xplore