Feedback control-based dynamic resource management in distributed real-time systems