Um Fehler beim Entwurf eingebetteter Systeme und die hiermit verbundenen Auswirkungen auf den Entwicklungszyklus zu vermeiden, wird eine Validierung der Systembeschreibung in einer moglichst fruhen Phase des Entwurfs angestrebt. Da komplexe Systeme aus mehreren miteinanderinteragierenden Komponenten bestehen, mussen beim Entwurf nicht nur die einzelnen Komponenten, sondern das System global validiert werden. Durch formale Verfahren werden die Falle ermittelt, in denen ein extremes Laufzeitverhalten auftritt (Worst-Case). Hierbei wird das globale System betrachtet, wobei das interne Verhalten einzelner Funktionsblocke berucksichtigt wird. Der Ansatz besteht in der Kombination und Erweiterung einer Methode zur Laufzeitabschatzung von Software auf einem eingebetteten Prozessor und einer Methode zur Analyse des Kommunikationsverhaltens zwischen Prozessen. Ziel der Laufzeitabschatzung ist die Bestimmung einer Unter- und Obergrenze fur sequenziell auszufuhrende Programmteile. Durch analytische Verfahren konnen diese Grenzen unabhangig von den Eingabedaten ermittelt werden. Um den Einfluss blockierender Kommunikationen auf die Ausfuhrungszeit berucksichtigen zu konnen, wird ein Ansatz zur Analyse des Kommunikationsverhaltens paralleler Prozesse mit dem Verfahren zur Laufzeitabschatzung verknupft. Durch das Verfahren der Kommunikationsanalyse konnen Kommunikationen, die unterschiedliche Prozesse synchronisieren identifiziert werden. Es wird ein Verfahren vorgestellt, mit dem Konflikte beim Zugriff unterschiedlicher Funktionsblocke auf gemeinsame Speichermodule oder Kommunikationskanale erkannt, sowie inkorrekt modelliertes Kommunikationsverhalten aufgedeckt werden kann.