Static mapping of mixed-critical applications for fault-tolerant MPSoCs