Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren

[1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [3]模具综合系统组件、基础架构、周转与仿真、系统组件、统计分析与软件分析、现代组件、微控制组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件、系统组件。大津建筑设计与设计学院（integrated grierten Entwurfsumgebung） &工业自动化学院（spezifiziert & anschlie&realisiert）。基于网络的网络分析平台与网络分析平台的集成方法。in Mittelpunkt der arbeen and der Universität Leipzig stedie of the complexity Analyse and Bewertung von echtzeitbebeiebsystem; Bewertung von echtzeitbsystem; Bewertung von microcontroller architecture； Bewertung on片上缓存；betersuchung von Methoden zur硬件；bechleunigung durfgas；德国模具协会和德国德国<s:1>宾根大学设计与实现协会，德国<s:1>宾根大学设计与实现协会，德国<s:1>宾根大学设计与实现协会，德国<s:1>宾根大学设计与实现协会。Zusätzlich werden verschiedene echtzeitbetriebsystem aufdiese platform portal。自动诊断监测仪的研究与应用[j]。

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.