Design of the HW/SW Platform for Power-Aware Mixed-Criticality Systems CPS School Design of the HW/SW Platform for Power-Aware Mixed-Criticality Systems