Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren

Im Mittelpunkt der Arbeiten an der Universität Tübingen wird die Modellierung und Bewertung von Systemkomponenten stehen.基于体系结构和仿真的主题复杂系统可以更好地对软件进行统计分析和性能评估，从而提高研究的效率。大足将是一个最佳的建筑师一个'集成Entwurfsumgebung für eingebettete系统在der industriellen自动化' speziziert和anschließend realisiert。该方法的发展将在这个平台上进行，这是一个通过互联网进行验证的高级ASI-Masters的平台。在莱比锡大学的工作人员中，他们对基于FPGA的硬件配置方法进行了深入的研究，对基于片上高速缓存的现代微控制器体系结构的复杂性进行了分析和评价。在Tübingen大学的工作和实施中，SPYDER系统的结构和性能都得到了优化，该平台具有不需要的硬件组件。Zusätzlich韦尔登verzedene Echtzeitbetriebssysteme auf diese Plattform portiert.这些方法和分析韦尔登是一种自动柜员机诊断系统。

Im Mittelpunkt der Arbeiten an der Universität Tübingen wird die Modellierung und Bewertung von Systemkomponenten stehen. Die Themenkomplexe Systematische komponentenbasierte Architekturfindung und Emulation eingebetteter Systeme sowie die Statische Analyse und Bewertung von Software auf modernen eingebetteten Mikrocontrollern bilden dabei die Forschungsschwerpunkte. Dazu wird eine optimierte Architektur einer 'Integrierten Entwurfsumgebung für eingebettete Systeme in der industriellen Automation' spezifiziert und anschließend realisiert. Die entwickelte Methodik wird auf dieser Plattform an dem Beispiel des mehrkanaligen ASI-Masters mit Internet-Anschluß validiert. Im Mittelpunkt der Arbeiten an der Universität Leipzig stehen die beiden Themenkomplexe Analyse und Bewertung von Echtzeitbetriebssystemen auf modernen Mikrocontroller Architekturen mit on-Chip Caches unter harten Zeitbedingungen sowie die Untersuchung von Methoden zur Hardware-Beschleunigung durch FPGAs basierend auf der Rekonfiguration während der Laufzeit. Durch die Mitarbeit an der Spezifikation einer optimierten Architektur des SPYDER-Systems, welches an der Univ. Tübingen entworfen und implementiert wird, steht die Plattform mit den dafür notwendigen Hardware-Komponenten zur Verfügung. Zusätzlich werden verschiedene Echtzeitbetriebssysteme auf diese Plattform portiert. Die zu untersuchenden Methoden und Analysen werden am Anwendungsbeispiel eines ATM-Diagnose Monitors durchgeführt.