Sicherheitskritische Eingebettete Systeme

Abschlussarbeiten

Auf dieser Seite sind die Ausschreibung für Bachelor-, Master-, Diplomarbeiten und Individuelle Projekte der Abteilung Sicherheitskritische Eingebettete Systeme zu finden

Die Themen gliedern sich dabei in drei Bereiche:

Die Arbeiten in den Unterpunkten Bachelorarbeiten/Individuelle Projekte sowie Master-/Diplomarbeiten wurden bereits detailliert Ausgearbeitet und stellen somit Themenausschreibungen dar. Die Ausschreibungsideen beschreiben kurz, welche Themen die Arbeitsgruppe als Bachelor- oder Masterarbeiten plant und lassen Spielraum bei der Festlegung des Schwerpunktes der Arbeit. Allen Themen ist gleich das sie die Möglichkeit bieten einen Blick in die brandaktuellen Themen- und Forschungsbereiche der Arbeutsgruppen zu werfen.

Wenn Sie sich für eine Ausschreibungsidee oder ein konkretes Thema interessieren, sollten Sie die jeweils angegebene Kontaktperson kontaktieren und einen Gesprächstermin vereinbaren. Im Gespräch besteht dann die Möglichkeit mehr über das Thema bzw. die Themenidee zu erfahren und dabei auch auf ihre Interessen einzugehen und diese bei der Konkretisierung zu berücksichtigen.

Generell sind natürlich auch weitere Themen als Bachelor- und Masterarbeiten denkbar. Wenn Sie ein allgemeines Beratungsgespräch zu den Bachelor- und Masterarbeitsthemen führen möchten, dann wenden Sie sich an Kathrin Kuper oder Dr. Alfred Mikschl.

Master-/ Diplomarbeiten

  • Gerichtete Simulationsmethoden zur Analyse von Echtzeitsystemen
    Simulationen sind ein nützliches Werkzeug für die Analyse von Systemen unter Echtzeitaspekten während der Entwicklung. Sie helfen den Entwicklern frühzeitig und schnell Systemabläufe darzustellen und Fehlerquellen zu finden. Hierzu wurde in der Abteilung ein Werkzeug für die Durchführung von Simulationen erstellt.

    Die dabei verwendeten Techniken eignen sich jedoch auch dazu, die prinzipiell erreichbaren Systemzustände automatisiert zu explorieren. Ziel hierbei ist es, durch gezielte Simulation
    zeitkritische Abläufe zu finden, ohne das gesamte Systemverhalten untersuchen zu müssen. In der Arbeit sollen, unter anderem heuristische, Ansätze gerichteter Simulationsmethoden konzipiert und hinsichtlich ihrer Eignung zum sicheren Auffinden kritischen Systemverhaltens untersucht werden.

    Ansprechpartner: Dr. Ingo Stierand

Bachelorarbeiten / Individuelle Projekte

    • Erweiterung einer Darstellungskomponente für Trace-Daten
      Im Zuge der Modellierung und Analyse von Echtzeitsysteme müssen häufig Ablaufsequenzen graphisch dargestellt werden. Hierzu existiert bereits eine einfache Darstellungskomponente in dem Modellierungswerkzeug Orca-RT. Diese Darstellungskomponente soll um eine Reihe wichtiger Funktionen erweitert werden.

      Diese Arbeit kann als Bachelorarbeit durchgeführt werden.


      Ansprechpartner: Dr. Ingo Stierand

Ausschreibungsideen

  • Implementierung einer GUI-Erweiterung zur Steuerung von Simulationen für Echtzeitsysteme

    Simulationen sind ein nützliches Werkzeug für die Analyse von Echtzeit-Tasknetzwerken während der Entwicklung. Sie helfen den Entwicklern frühzeitig und schnell Systemabläufe darzustellen und Fehlerquellen zu finden. Hierzu wurde in der Abteilung ein Werkzeug
    für die Durchführung von Simulationen erstellt.

    In dieser Arbeit soll eine existierende Entwicklungsumgebung zur graphischen Modellierung von Echteitsystemen um die Fähigkeit zur Steuerung und Visualiserung von Simulationsläufen konzipiert und prototypisch implementiert werden. Hierzu gehört einerseits die Erweiterung einer bestehenden Schnittstelle um die Simulationen steuern zu können, und zum anderen die Umsetzung einer geeigneten Benutzerführung und Visualiserung von Simulationsläufen.

    Diese Arbeit kann als Bachelorarbeit durchgeführt werden.  

    Ansprechpartner: Dr. Ingo Stierand

  • Strukturanalysen von Graphen
    In der Abteilung werden für die Analyse von Echtzeitsystemen große Graphen untersucht. Aufbauend auf einem existierenden System zur Bearbeitung und Analyse von Graphen sollen in dieser Arbeit spezielle Algorithmen zur Strukturanalyse solcher Graphen erarbeitet und implementiert werden. Desweiteren sollen Algorithmen zur Graphtransformation erarbeitet werden, wie die Entfernung von einfachen Ketten.

    Diese Arbeit kann als Master- und Bachelorarbeit durchgeführt werden.

    Ansprechpartner: Dr. Ingo Stierand

  • Umsetzung eines Graphlayout-Algorithmus für Orca-RT
    Das Werkzeug Orca-RT dient der graphischen Modellierung von Echtzeitsystemen. Hierzu werden Tasknetzwerke, Hardwareelemente wie ECUs und Busse, sowie die Allokationen der Einzelfunktionen graphisch erstellt. In vielen Situationen werden jedoch Teile des Modells aus anderen Entwurfswerkzeugen heraus erstellt und in Orca-RT importiert. Es soll ein Verfahren implementiert werden, dass mit Hilfe automatischer Layouverfahren sinnvolle Ausrichtungen dieser Modellteile auf der grafischen Oberfläche erstellt.

    Diese Arbeit kann als Bachelor- oder Masterarbeit durchgeführt werden.

    Ansprechpartner: Dr. Ingo Stierand