Applying real-time interface and calculus for dynamic power management in hard real-time systems