Analysis of context dependent system behaviour in embedded system design

从功能上来说，这是一个很重要的问题。对于系统集成来说，这是一个很重要的问题。这是一种模拟，它弥补了不足之处，也弥补了这方面的不足。Vor Alem de Performance分析了Von Dieser Entwickung的未来。在Vorarbeiten Wurden Neue Antze zur Forformance分析Komplexen System entwickelt，Sowohl für die ebene der Einzelprozesse，Sowohl für die Ebene der Einzelprozesse，以及分析Komplexen异质系统MIT unterschiedlichen Schedulingstrategien。书名：Eine Beschränkung der gegenwärtig Aus der Genatur bekannten Verfahren ist die Fehlende Berück sichtigung von Systemkontex ten.在Arbeiten，在Den en Kontex te berück sichtigt den，is ihre Anwendung auf Spezialfälle be chränkt.我正在进行一项新的、敏感的、异质的系统分析。这是一种新的系统和一种新的系统。我们在这里进行系统分析，并对全球系统进行系统验证和系统优化。

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.