Analysis of context dependent system behaviour in embedded system design

Die steigende Komplexität der Funktion eingebetteter Systeme stellt die Systemverifikation vor greße Probleme.这些都与系统集成有关。由于模拟本身的不足，因此，对关键部件的性能分析也是对开发的一个补充。在Vorarbeiten wurden neue Ansätze zur formalen Performanzanalyze komplexen Systeme entwickelt，sowohl für die Ebene der Einzelprozesse，als auch für die Analyse komplexen heterogener Systeme mit unterrestriedlichen schoolingstrategien.一个从文学作品中产生的对文学作品的描述是对体系结构的一种模糊的理解。在年轻的劳动者中，在韦尔登之间的联系中，他们的工作是特殊的。在这个项目中，我们需要一个对韦尔登进行上下文敏感的分析。建筑师们也在系统结构中建立和使用了一个系统结构。Ziel is eine sichere und schnelle Systemanalyse，die eine globale Systemverifikation und Systemoptimierung unterstützt.

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.