Algorithmen der Echtzeitanalyse

Im Mittelpunkt des Praktikums steht die Entwicklung und Analyse von Algorithmen zur Echtzeitverifikation. Ziel dabei ist es, eine Verbesserung der Analysemethodiken in komplexen verteilten eingebetteten Systemen zu erlangen. Um entsprechende Aussagen über Modelle bzw. Methoden treffen zu können, sollen die Algorithmen in Frameworks integriert und miteinander verglichen werden. Zu diesem Zweck wurden bisher zwei solcher Frameworks in der Abteilung entwickelt. Langfristig soll daraus eine Plattform entstehen, um effizient Algorithmen der Echtzeitanalyse wissenschaftlich evaluieren zu können.

Ansprechpartner: Victor Pollex