Analysis of context dependent system behaviour in embedded system design

点击翻译按钮获取中文摘要

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.