High-level estimation and trade-off analysis for adaptive real-time systems