SPP 1040:  Entwurf und Entwurfsmethodik eingebetteter Systeme

• Fachliche Zuordnung: Informatik, System- und Elektrotechnik
• Förderung: Förderung von 1997 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5468239

Das Schwerpunktprogramm "Entwurf und Entwurfsmethodik eingebetteter Systeme" erforscht und entwickelt die Methodik für den Systementwurf eingebetteter Systeme und setzt diese in konkreten Anwendungen ein. Die Kombination von Methodenentwicklung mit exemplarischem Entwurf eingebetteter Systeme bildet daher einen besonderen Schwerpunkt diesesProgramms. Der Entwurf eingebetteter Systeme ist ein Forschungsgebiet, dessen besondere Anforderungen sich aus der Optimierung des Zusammenwirkens heterogener Teilsysteme ergeben, wobei es nicht nur darauf ankommt, dass das eingebettete System die gewünschte Funktion erfüllt, sondern dass darüber hinaus vor allem Anforderungen bezüglich der gewünschten Leistung, der Kosten des Gesamtsystems, der Zuverlässigkeit, der Sicherheit, des Energieverbrauchs usw. erfüllt werden. Besonderer Wert wird deshalb auf die Erforschung durchgängiger Methoden zur Unterstützung des Entwurfs eingebetteter Syteme gelegt. Diese Methoden integrieren einerseits verschiedene Entwurfsschritte, wie Spezifikation, Synthese, Validierung, Integration, Wartung und Betrieb, behandeln andererseits aber auch die verschiedenenSystemkomponenten, wie Compiler, Echtzeitbetriebssysteme, Standardprozessoren, Spezialhardware und Kopplung zum physikalischen Prozess gemeinsam und ebenenübergreifend. Zu lösende Probleme betreffen insbesondere die ebenen- und komponentenübergreifende Entwurfsmethodik durch Berücksichtigung allgemeiner Optimierungskriterien, wie etwa Kosten von Entwurf, Produktion undWartung auf der einen Seite und der Berücksichtigung von Zuverlässigkeit und Sicherheit auf der anderen Seite. Zur Lösung dieser Probleme wurden zahlreiche Kooperationen innerhalb des Schwerpunktprogramms wie auch mit externen (teilweise industriellen) Partnern etabliert, über deren Ergebnisse auf regelmäßig stattfindenen Workshops berichtet wird.

• DFG-Verfahren: Schwerpunktprogramme

Projekte

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

• Sprecher: Professor Dr. Wolfgang Rosenstiel (†)