Szenarien in vernetzten Multicore-Systemen - Analyse und Optimierung.

瑞士的教育是一种模拟测试和优化系统。大部分韦尔登和祖斯坦德系统在克拉森unterteilt，他们得到了betrachtet韦尔登。Ein Beispiel aus der Automobilelektronik is die separate Modellierung von Leerlauf-，Schub-and Beschauf unigungsvorgängen in der Motorsteuerung. Szenarienübergänge，die zu einer Überlappung von Szenarien führen，sind gesondert zu betrachten.我非常了解沃尔根格，因为它具有最佳的潜力，而它又是最佳的。今天，塞纳河的教育在《规则》中被赋予了一种特殊的意义，因此塞纳河的教育也就显得更为重要了。如果功能的实现需要更多的控制器，那么控制器就需要一个控制器。Bei derartigen Szenarienübergängen können Lastwellen entstehen，die eine zeitlich ausgedehnte Überlappung nach sich ziehen，wie in Vorarbeiten gezeigt wurde.新的软件标准，如AUTOSAR，在功能验证的趋势下，将多核-架构作为最后验证和集成的新工具，使其成为一个与系统验证相结合的控制器的局部时间复杂性。Die daraus entstehenden Herausforderungen und die Erarbeitung von Lösungsvorschlägen für eine formale Analyse und Optimierung von Szenarien und Szenarienübergängen in vernetzten Multicore Systemen sind Thema dieses Antrags.

Die Bildung von Szenarien ist ein bekannter Modellierungsansatz zum Test und zur Optimierung eingebetteter Systeme. Dabei werden Abläufe und Zustände eines Systems in Klassen unterteilt, die getrennt betrachtet werden. Ein Beispiel aus der Automobilelektronik ist die separate Modellierung von Leerlauf-, Schub- und Beschleunigungsvorgängen in der Motorsteuerung. Szenarienübergänge, die zu einer Überlappung von Szenarien führen, sind gesondert zu betrachten. Je unterschiedlicher die Vorgänge, desto größer ist der potentielle Optimierungsgewinn und desto wichtiger ist die Betrachtung der Szenarienübergänge. Heute ist die Bildung von Szenarien in der Regel auf einzelne Prozessoren und Steuergeräte beschränkt, so dass Szenarienübergänge noch gut beherrschbar sind. Durch die zunehmende Verteilung von Funktionen über mehrere vernetzte Steuergeräte entstehen Szenarienübergänge, die sich über ein Netz von Steuergeräten erstrecken. Bei derartigen Szenarienübergängen können Lastwellen entstehen, die eine zeitlich ausgedehnte Überlappung nach sich ziehen, wie in Vorarbeiten gezeigt wurde. Neue Softwarestandards, wie AUTOSAR, unterstützen den Trend zur Verteilung von Funktionen, während Multicore- Architekturen künftig neue Möglichkeiten der Lastverteilung und Integration bieten, die zu einem komplizierten lokalen Zeitverhalten der Steuergeräte mit entsprechenden Auswirkungen auf das vernetzte System führen. Die daraus entstehenden Herausforderungen und die Erarbeitung von Lösungsvorschlägen für eine formale Analyse und Optimierung von Szenarien und Szenarienübergängen in vernetzten Multicore-Systemen sind Thema dieses Antrags.