Bei der Entwicklung von automotive Anwendungen gewinnt die frühzeitige Spezifikation und Überprüfung von Performanzund Echtzeitanforderungen an Be- deutung, da aufgrund der Komplexität der Systeme und des verteilten Entwicklungsprozesses frühzeitige Festlegungen zwischen OEM und Zulieferer notwendig sind. Wir stellen existierende Modellierungsund Analysetechniken für Zeitanforderungen vor und zeigen, wie diese Techniken in einen modellbasierten Entwicklungsprozess integriert werden können.