Implementing mixed-critical applications on next generation multicore aerospace platforms