Synthese eingebetteter Systeme mit approximativer Echtzeitanalyse

本文提出了一种基于优化算法的优化技术系统，并对其进行了分析。in Laufe einer Exploration des Lösungsraums mssen verschiedene variant einer Implementierung des Systems analyterden。大贝最优估计模型Qualität和模型算法分析模型Qualität和模型优化模型。在文学、主题、技术、分析和优化等方面都存在着珠宝首饰。合成eebetter系统；我的意思是，我的意思是，我的意思是，我的意思是，我的意思是。比舍尔·沃尔德·爱因斯坦·爱因斯坦Analysequalität和德·沃尔德·爱因斯坦·爱因斯坦·爱因斯坦·爱因斯坦·尼采·爱因斯坦·尼采·尼采·尼采·尼采·尼采·尼采Ziel des Projektes ist，近似地和schätzende echtzeitanalyseverfaren zuentwickelen和somit optimierungsverfaren zukombinieren，通过möglich wird， Analyseaufwand verfaren zukombinieren和someit die synthesis，更好地系统zubeschleunigen。

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 Einfluss 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 so mit Optimierungsverfahren zu kombinieren, dass es möglich wird, Analyseaufwand einzusparen und somit die Synthese eingebetteter Systeme zu beschleunigen.