SPP 1040:  Entwurf und Entwurfsmethodik eingebetteter Systeme

The priority programme "Design and Design Methodology of Embedded Systems" has been settled in order to search for verified methods for challenging complex embedded system designs. The combination of research for new design methodologies and their application in the design of real-world systems is a special goal within this priority programme. The design of complex embedded systems is a challenging task due to different design goals: Besides the functionality embedded systems have to comply with timing, safety, cost or other requirements.The projects within the priority programme work on quite different problems of the design cycle of an embedded system, like specification, synthesis, validation, integration or maintainance. The task of the priority programme itself is to coordinate the activities in order to provide quite complete design methodologies for a special class of embedded systems (e.g., automotive applications). Therefore a variety of bilateral collaborations as well as internal workshops has been established.

DFG Programme Priority Programmes

• Architekturtemplates für den Entwurf eingebetteter Systeme (Applicant Färber, Georg )
• Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme (Applicant Broy, Manfred )
• Bewertung und Analyse hybrider Systeme (Applicant Waldschmidt, Klaus )
• Combining multiple languages and models of computation for the synthesis of embedded systems (Applicant Ernst, Rolf )
• Durchgängige Entwurfsmethodik und Simulation dezentraler Steuerungselemente für mechatronische Systeme in der Automatisierungstechnik (Applicant Müller-Glaser, Klaus D. )
• Ein eingebettetes System zum sakkadischen maschinellen Sehen (Applicant Dickmanns, Ernst Dieter )
• Eingebettete Systeme zur Implemetierung Neuronaler Netze am Beispiel Regelung von Verbrennungsmotoren (Applicant Schröder, Dierk )
• Entwurf eingebetteter paralleler Steuerungssysteme für integrierte multi-axiale Antriebssysteme (Applicant Fengler, Wolfgang )
• Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme (Applicant Rammig, Franz-Josef )
• Integrationstest eingebetteter Systeme der dezentralen Automatisierungstechnik (TESA) (Applicant Bender, Klaus )
• Integrierte Entwurfsumgebung für eingebettete Systeme in der industriellen Automation (Applicant Kebschull, Udo )
• Kompilierte Simulation von HW/SW Systemen (Applicant Meyr, Heinrich )
• Komponentenbasierte Entwicklung eingebetteter Systeme (Applicant Göhner, Peter )
• Modelle und Methoden zur Synthese und Optimierung von gemischt reaktiv/transformativen eingebetteten Systemen basierend auf dem SPI-Ansatz (Applicant Teich, Jürgen )
• Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren (Applicant Rosenstiel, Wolfgang )
• Objekt-orientierte Cosimulation für eingebettete Steuerungssysteme (Applicant Nebel, Wolfgang )
• Simulationsbasierter Testentwurf für gemischt analog-digitale Systeme (Applicant Antreich, Kurt J. )
• Standardarchitekturen für verläßliche eingebettete Realzeitsysteme (Applicant Färber, Georg )
• Verifikation von eingebetteten Systemen (Applicant Schmid, Detlef )

Spokesperson Professor Dr. Wolfgang Rosenstiel (†)