DFG-Projekt Approxsys

Eine rechnergestützte Optimierung eingebetteter Echtzeitsysteme erfordert insbesondere Algorithmen zur Analyse des Echtzeitverhaltens. Im Laufe einer Exploration des Lösungsraums müssen verschiedene Varianten einer Implementierung des Systems analysiert werden. Dabei bestimmt die Qualität und die Rechenzeit der Algorithmen zur Analyse grundlegend die Qualität und Rechenzeit des Optimierungsverfahrens. Zwar existiert jeweils umfangreiche Literatur zum Thema Echtzeitanalyse und zur Optimierung bzw. Synthese eingebetteter Systeme; die jeweiligen Verfahren werden leider nur getrennt voneinander betrachtet. Bisher wurde der Einfluß der Analysequalität und des Analyseaufwandes auf das Optimierungsergebnis noch nicht erforscht. Ziel des Projektes ist es, approximative und schätzende Echtzeitanalyseverfahren zu entwickeln und somit Optimierungsverfahren zu kombinieren, dass es möglich wird, Analyseaufwand einzusparen und somit die Synthese eingebetteter Systeme zu beschleunigen.

Projektstart: 2003

Projektende: 2006

Projektdauer: 3 Jahre