Im Mittelpunkt der wissenschaftlichen Bearbeitung standen und stehen Arbeiten zum modellbasierten Entwurf von Informationsverarbeitungssystemen. Hierbei interessieren vor allem Fragen der Multidomänen-Modellierung, der formalen Verifikation von Modellen und der effektiven Synthese implementierungsfähiger Hard- und Software aus den Modellen. In beispielhafter Weise wurden vereinfachte Modelle des Gesamtsystems von NPM-Maschinen angefertigt und untersucht. Ein weiterer Aspekt ist die Modellierung innerer Abläufe in spezialisierter Echtzeitsoftware einschließlich Echtzeitbetriebssystemen. Diese Arbeiten werden gegenwärtig in die im SFB vorhandenen Aktivitäten auf dem Gebiet der Modellierung integriert. Bezüglich der Implementierung von Software auf der Grundlage zuvor erstellter Modelle wurden unter anderem Fragen der Handhabung der Multidomänen-Eigenschaften im Implementierungsprozess und einige Fragen zur Modellpartitionierung untersucht. In enger Verbindung zur Bearbeitung der Entwurfsmethodik findet die Entwicklung von Multiprozessorsystemen mit schnellen DSP statt. Es existieren funktionierende Prototypen der Mehrprozessor-Hardware, Schnittstellen zu anderen Komponenten der NPM-Maschine, ein eigenes, speziell angepasstes Echtzeitbetriebssystem und Applikationssoftware.