Die Arbeiten im Bereich des modellbasierten Entwurfes werden sowohl Fragen der heterogenen Modellerstellung als auch den Ablauf des Entwurfsprozesses für in einer NPM-Maschine einsetzbare Eingebettete Systeme abdecken. Als Methoden der formalen Verifikation kommen Verfahren u.a. für die Zeit- und Zustandsanalyse in Frage, die beispielsweise auf zeitintervall-bewerteten Höheren Petrinetzen und auf erweiterten UML-Diagrammen beruhen. Ein weiterer Kernpunkt ist die effiziente Generierung der implementierungsfähigen Hard- und Software aus den Modellen unter Berücksichtigung der Spezifik der NPM-Maschinen. Von besonderem Interesse sind hier auch die Fragen der Modellpartitionierung, also das Mapping von Modellbestandteilen auf nach unterschiedlichen Kriterien definierte Partitionen nach verallgemeinerten Kriterien in hierarchischer Art und Weise. Die Arbeiten bei der Entwicklung von konkreter Hard- und Software betreffen zunächst die Schaffung neuer Hardware-Plattformen. Durch Umsetzung von Ergebnissen aus der Entwicklungsmethodik wird letztere dabei beispielhaft angewendet und einem realen Anwendungstest unterzogen. Die Forschungsarbeiten zum spezialisierten eigenen Echtzeitbetriebssystemen „eRTOS“ werden ebenfalls unter Einbeziehung der Entwicklungsmethodik weitergeführt, wobei Fragen der zeitoptimalen Arbeitsweise und der Parallelisierung von Verarbeitung und Kommunikation in den Vordergrund treten. Hierbei und auch bei der Entwicklung von konkreter Applikationssoftware entsprechend den Erfordernissen und Vorgaben aus den entsprechenden Teilprojekten werden die entwickelten Verfahren zum modellbasierten Entwurf einer experimentellen Überprüfung unterzogen.