Analysis And Code Generation For Multicore Fault Tolerant Mixed Criticality Embedded Systems