Dependable MPSoC-Based Mixed-Criticality Systems for Space Applications