Reducing both dynamic and leakage energy consumption for hard real-time systems