M01 Development of mixed-criticality systems based on system partitioning