Kurzfassung- Ausgehend von der Notwendigkeit, heterogene technische Systeme in allen Entwurfsphasen geeignet zu spezifizieren, ist am Fachgebiet Integrierte Schaltungen und Systeme der TH Darmstadt eine Entwurfs- und Validierungsumgebung entstanden, die eine Erfassung des Verhaltens von Systemkomponenten auf der Grundlage kommunizierender sequentieller Prozesse erlaubt. Für derartig notierte Spezifikationen soll eine automatisierte Partitionierung in Hardware- und Software-Implementierungen erfolgen. Intervallgestützte Schedulingalgorithmen werden zur Hardware/Software-Partitionierung auf der Basis von Datenflußgraphen vorgeschlagen und erlauben eine differenzierte Zuordnung von Systemfunktionen. Die methodische Vorgehensweise wird anhand der Prozeßnetzspezifikation einer komplexen Anwendung verdeutlicht.
展开▼