Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren

使用静态分析方法对嵌入式软件进行建模和评估

• 批准号: 5372002
• 负责人: Professor Dr. Wolfgang Rosenstiel (†)
• 金额: --
• 依托单位: Fachbereich IV: Informatik
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1997
• 资助国家: 德国
• 起止时间: 1996-12-31 至 2004-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5372002?language=en
• 关键词: Modellierung; und; Bewertung; eingebetteter; Software

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.

我是德国图宾根大学的一名学生，我的名字是Modellierung and Bewertung von Systemkomponenten stehen。这是一种复杂的体系结构和仿真系统，它的统计分析和软件开发都是现代化的。大足将对工业自动化中的集成环境和体系结构进行优化，并将其应用于实际。DEM Beispiel des Mehrkaligen ASI-Master Mit Internet-Anschlu？valideert.我是一所莱比锡大学的中小型企业，正在进行复杂的分析和设计，以支持现代的微控制器架构芯片上的高速缓存，而不是传统的硬件和方法硬件。最优化的是间谍系统的体系结构，这是一所大学的焊接。Tübingen Entrworfen and Implementientert Wird，Sht die Plattform MIT den dafür notwendigen Hardware-Komponenten zur Verfügung.Zusätzlich是Verschiedene Echtzeitbetriebssystem auf diese Platform Portiert。所有的方法和分析都是由ATM诊断监护仪完成的。