Am Institut Integrierte Schaltungen und Systeme, am Fachbereich Informatik, ist eine Entwurfsmethodik für heterogene eingebettete Systeme entwickelt worden, die eine frühzeitige Validierung anhand einer high-level Spezifikation ermöglicht. Die Grundlage dieser Methodik bildet die Trennung der Aktivierungs- und Kommunikationssemantik von dem eigentlichen Prozeßcode. Dieses Konzept erlaubt sowohl e ine frühzeitige Zeitanalyse, als auch eine verteilte Ausführung mit dem Ziel der Bewertung des Gesamtverhaltens und der Verfeinerung der einzelnen Prozesse. Damit ist eine durchgängige Entwurfsmethodik vorhanden, deren Mächtigkeit anhand der Entwicklung und Umsetzung der eingebetteten Informationsverarbeitung eines autonomen Roboters demonstriert wird.