Design And Optimization Of Mixed-Criticality Systems