Design-time performance analysis of component-based real-time systems