High-level dynamic resource management for distributed, real-time embedded systems