Die Leistungsanalyse in den frühen Stadien der Systementwicklung enthält ein großes Potenzial zur Vermeidung von Kosten- und Zeitplanüberschreitungen: Nicht anforderungskonforme Lösungen können frühzeitig ausgeschlossen und dadurch Fehlimplementierungen vermieden werden. Die vorliegende Arbeit stellt einen Ansatz zur Leistungsbewertung auf Modellebene vor, der die Verifikation von Systemeigenschaften bereits während der Design-Phase ermöglicht. Er zeichnet sich durch Systematik und einen hohen Grad der Automatisierung der Methoden aus. Zudem unterstützt er verschiedene Modellierungssichten und berücksichtigt eingehend auch den technischen Prozess. Damit weist er deutlich über bestehende Verfahren hinaus.