Analyse kontextabhängigen Systemverhaltens im Entwurf eingebetteter Systeme

• Antragsteller: Professor Dr.-Ing. Rolf Ernst
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2003 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5406964

Die steigende Komplexität der Funktion eingebetteter Systeme stellt die Systemverifikation vor große Probleme. Dies zeigt sich insbesondere bei der Systemintegration. Der Einsatz von Simulation erweist sich als zunehmend inadequat, sowohl von der Abdeckung der kritischen Fälle als auch von der Rechenzeit her. Vor allem die Performanzanalyse ist von dieser Entwicklung betroffen. In Vorarbeiten wurden neue Ansätze zur formalen Performanzanalyse komplexen Systeme entwickelt, sowohl für die Ebene der Einzelprozesse, als auch für die Analyse komplexen heterogener Systeme mit unterschiedlichen Schedulingstrategien. Eine Beschränkung der gegenwärtig aus der Literatur bekannten Verfahren ist die fehlende Berücksichtigung von Systemkontexten. In den wenigen Arbeiten, in denen Kontexte berücksichtigt werden, ist ihre Anwendung auf Spezialfälle beschränkt. Im beantragten Projekt soll aufbauend auf den genannten Vorarbeiten eine kontextsensitive Analyse von heterogenen Systemen entwickelt werden. Der Ansatz ist umfassend und berücksichtigt sowohl Kontexte von Einzelprozessen als auch Systemkontexte und ihre Propagierung durch ein System. Ziel ist eine sichere und schnelle Systemanalyse, die eine globale Systemverifikation und Systemoptimierung unterstützt.

• DFG-Verfahren: Sachbeihilfen