Studentische Arbeiten
Hinweis
Diese Themen sind Vorschläge. Wenn Sie eigene Ideen haben, besprechen wir diese gern mit ihnen.RoboCup - Weltmodellierung
Verantwortlich: Martin Richter
Seit 1997 wird der RoboCup (Robot Soccer World Cup) ausgetragen. Hierbei treten verschiedene Teams von Forschern und Studierenden in unterschiedlichen Ligen gegeneinander an. Ein Spiel wird dabei immer zwischen zwei gleich großen Teams von Robotern ausgetragen. Abhängig von der Liga wird das Spiel entweder simuliert oder physisch durch echte Roboter ausgetragen.Wenn das Spiel physisch gespielt wird, nehmen mehrere Roboter ihre Umgebung mittels Sensoren wahr (z.B. die Erkennung der Positionen gegnerischer Spieler) und beeinflussen sie mittels Aktuatoren (z.B. das Kicken des Balls). Dadurch klassifiziert sich das Roboter-Team als mobiles cyber-physisches System. Die konsistente Wahrnehmung der Umgebung ist von äußerster Wichtigkeit, da Ausführungseinheiten kollaborieren und gemeinsame Aufgaben lösen müssen.Da ein RoboCup-Team sich stets zwischen verschiedenen Spielzügen entscheiden muss, wird der Zustand des Spiels (z.B. die Spielerpositionen) kontinuierlich ausgewertet. Hierfür wird eine virtuelle Darstellung der Umgebung benötigt und Daten müssen zwischen den Robotern ausgetauscht werden. Ihre Aufgabe ist es, verschiedene eingesetzte Modelle vorzustellen, die sich mit der virtuellen Repräsentation der physischen Umwelt im RoboCup beschäftigen.
Start: offen
Realisierbar als: Forschungsseminar, Hauptseminar
Performance Testing von HPC Simulation Software
Verantwortlich: Theresa Werner
FMSolvr ist eine Bibliothek für HPC Molekulardynamiksimulationen. Zurzeit überarbeitet das Team des Supercomputing Center Jülich, Deutschland, in Cooperation mit uns ihre Code Base. In diesem Zuge soll eine Performanceanalyse durchgeführt werden. Deine Aufgabe wäre es, Performancetests für verschiedenen Implementationen derselben Funktionalität zu schreiben und durchzuführen. Benötigte Kenntnisse: Lesen von Code geschrieben in C++11 oder höher.
Start: offen
Realisierbar als: Forschungspraktikum
Testentwicklung für HPC Simulations-Software
Verantwortlich: Theresa Werner
FMSolvr ist eine Bibliothek für HPC Molekulardynamiksimulationen. Zurzeit überarbeitet und erweitert das Team des Supercomputing Center Jülich, Deutschland, in Cooperation mit uns ihre Code Base. Für neue Features werden Tests zusammen mit dem Code entwickelt, aber für den bestehenden Code brauchen wir Tests. Deine Aufgabe wäre es, Tests für die Operatoren (functionale Teile der Software) und/oder Datenstrukturen in FMSolvr zu entwickeln (und zu implementieren). Benötigte Kenntnisse: C++11 oder höher.
Start: offen
Realisierbar als: Forschungspraktikum
Isabelle / HOL
Verantwortlich: Matthias Werner
ist eines der international führenden Programme für den Beweis der Korrektheit von Computer systemen (Theorem prover). So wurde z.B. der Korrektheitsbeweis des sel4 Kerns mit der Hilfe von Isabelle gemacht.
Für dieses Thema sollen Sie eine Einführung zu Isabelle/HOL sowie den Grundlagen geben. Die praktische Anwendung sollte durch die Verifikation eines Protokolls (sprechen Sie hierzu mit dem Seminarleiter) gezeigt werden.
Start: offen
Realisierbar als: Forschungsseminar
Python-Laufzeitsystem auf der Grundlage von Forth
Verantwortlich: Matthias Werner
Forth ist eine syntaxlose, sehr maschinennahe Programmiersprache mit einem Laufzeitsystem, das ohne Betriebssystem "bare metal" läuft. Aufgabe in dieser Arbeit ist es, einen Python-Bytecode-Interpreter für ein Forth-System auf einem embedded Board zu entwickeln.
Start: offen
Realisierbar als: Master-Arbeit
RoboCup - Koordinationsmodelle
Verantwortlich: Martin Richter
Seit 1997 wird der RoboCup (Robot Soccer World Cup) ausgetragen. Hierbei treten verschiedene Teams von Forschern und Studierenden in unterschiedlichen Ligen gegeneinander an. Ein Spiel wird dabei immer zwischen zwei gleich großen Teams von Robotern ausgetragen. Abhängig von der Liga wird das Spiel entweder simuliert oder physisch durch echte Roboter ausgetragen.Wenn das Spiel physisch gespielt wird, nehmen mehrere Roboter ihre Umgebung mittels Sensoren wahr (z.B. die Erkennung der Positionen gegnerischer Spieler) und beeinflussen sie mittels Aktuatoren (z.B. das Kicken des Balls). Dadurch klassifiziert sich das Roboter-Team als mobiles cyber-physisches System. Koordination ist eine der großen Herausforderungen im Bereich der cyber-physischen Systeme, da mehrere heterogene Ausführungseinheiten möglicherweise kooperieren müssen, um ein gemeinsames Ziel zu erreichen. Um eine sichere und rechtzeitige Ausführung von Aufgaben zu gewährleisten, ist die Planung, welche Ausführungseinheit welche Aufgabe wann übernimmt, kritisch.Da ein RoboCup-Team koordiniert werden muss, um komplexe Spielzüge durchzuführen, werden Koordinationsmodelle eingesetzt. Solche Modelle umfassen die Auswahl unterschiedlicher Aufgaben für verschiedene Roboter, um ein gemeinsames Hauptziel oder möglicherweise mehrere Zwischenziele zu erreichen. Ihre Aufgabe ist es, die verschiedenen Koordinationsmodelle zu vorzustellen, die im RoboCup genutzt werden.
Bearbeitet von Leon Rollenhagen
Bearbeitet als Hauptseminar
Start: 01.12.2023
Koordinationsmodelle und -sprachen
Verantwortlich: Martin Richter
Koordinationssprachen erlauben es dem Programmierer, nebenläufige und verteilte Abläufe mithilfe des Konzeptes der Koordination zu beschreiben. Dieses Konzept erlaubt die Integration verschiedener heterogener Komponenten durch die Bereitstellung von Verteiltheitstransparenz. Die Menge aller Komponenten bildet somit aus der Sicht des Programmierers eine einzige Applikation, die jedoch verteilt und parallel ausgeführt wird. Papadopoulos und Arbab geben einen Überblick über unterschiedliche Koordinationssprachen in "Coordination Models and Languages". Es ist Ihre Aufgabe, den Artikel zu begutachten und die verschiedenen Koordinationssprachen und -modelle vorzustellen. Gehen Sie dabei darauf ein, was sie differenziert, was ihre Vor- und Nachteile sind und stellen Sie jeweils mindestens einen Use-Case je Modell vor.
Bearbeitet von Markus Meier
Bearbeitet als Forschungspraktikum
Start: 05.04.2024
Tooling für CSP und Pi-Calculus
Verantwortlich: Theresa Werner
Ziel der Arbeit soll es sein, Tooling für die formale Modellierung mit CSP (Communicating Sequential Processes) und/oder die formale Verifikation mit Pi-Calculus zusammenzutragen und deren Vor- und Nachteile gegenüberzustellen. Tiefgreifendes Wissen über CSP und Pi-Calculus sind weder Voraussetzung noch Inhalt dieser Arbeit, es soll eine reine Recherche zum Tooling sein.
Bearbeitet von Ravi Kanhawala
Bearbeitet als Forschungspraktikum
Start: 20.07.2023
Modellierung und Analyse des Babel Routing Protokolls
Verantwortlich: Billy Naumann
Drahtlose Sensornetze sind von Natur aus auf mehreren Ebenen verlustbehaftet. Die drahtlose Kommunikation zwischen Sensorknoten erfolgt über unzuverlässige, d.h. verlust- und kollisionsbehaftete Medien. Typischer Weise sind Sensorknoten mit Akkus ausgestattet und verfügen nur über begrenzte Möglichkeiten der Energiegewinnung, entsprechend sind Ausfälle ganzer Knoten ebenfalls zu erwarten. Dennoch werden für verschiedene Anwendungsfälle verlässliche und effiziente Kommunikationsmittel benötigt. Babel ist ein Routing Protokoll, welches in solchen Netzen Einsatz finden kann. Ziel des Seminars ist eine Analyse der Ansätze und Fähigkeiten von Babel, sowie der Modellierung des Protokolls zur Ableitung entsprechender Garantien.
Bearbeitet von Norbert Ploner
Bearbeitet als Hauptseminar
Start: 05.04.2023
Open-RMF Robot Fleet Management
Verantwortlich: Martin Richter
Bearbeitet von Martin Ziesche
Bearbeitet als Proseminar
Start: 01.03.2024
Test objectives in DO-178C
Verantwortlich:
Bearbeitet von Reema Thakur
Bearbeitet als Master-Arbeit
Start: 14.06.2017
Ende: 20.11.2017
Beispielimplementierung von DiAO
Verantwortlich: Peter Tröger
Im Rahmen der Forschung an der Professur im Gebiet der cyberphysischen Systeme wurde das Konzept der Verteilten Aktiven Objekte (Distributed Active Object, DiAO) entwickelt. Aufgabe für diese studentische Arbeit ist die Implementierung einer Middleware zur Unterstützung von DiAO sowie die Entwicklung einer Proof-of-Concept-Anwendung auf einem verteilten mobilen System.
Bearbeitet von Martin Richter
Bearbeitet als Bachelor-Arbeit
Start: 01.04.2017
Ende: 10.11.2017
Framework für Simulation and Performance-Analyse von Uhrensynchronisationsalgorithmen
Verantwortlich: Jafar Akhundov
Es muss ein Framework für Simulation und Leistungsanalyse von diversen Uhrensynchronisationsalgorithmen implementiert werden. Die Implementierungssprache ist im Prinzip irrelevant. Dafür müssen verteilte Systeme parametrisiert werden mit Hinsicht auf Synchronisation. Als Basis dafür dient eine fertige Masterarbeit. Der Kontext der Arbeit ist automatische Generierung von Synchronisationsmodulen bei parametrisierten verteilten Raumfahrtsystemen.
Bearbeitet von Leander Herr
Bearbeitet als Master-Arbeit
Start: 20.03.2016
Ende: 01.02.2018
PyOS (Teilprojekt HAL)
Verantwortlich: Peter Tröger
Das PyOS-Projekt des Lehrstuhls arbeitet an der Realisierung eines Bare Metal - Interpreters für die Programmiersprache Python. Ziel ist es, auf Basis dieser Ausführungsumgebung neuartige Betriebssystemkonzepte in eingebetteten Systemen zu erforschen.
Bearbeitet von Ronny Kramer
Bearbeitet als Forschungspraktikum
Start: 01.05.2015
Ende: 01.12.2015
Methoden zur Objektverfolgung bei der Lokalisierung mittels Tiefenkameras
Verantwortlich: Mario Haustein
Bearbeitet von Pierre Bockner
Bearbeitet als Bachelor-Arbeit
Start: 23.02.2015
Ende: 14.04.2015
Lokalisierung mittels mehrerer Kinect-Kameras
Verantwortlich: Mario Haustein
Bearbeitet von Riko Streller
Bearbeitet als Bachelor-Arbeit
Start: 20.06.2013
Ende: 23.01.2014
Integration der X80Pro-Roboter in Robot OS
Verantwortlich: Mario Haustein
Bearbeitet von Peter Küffner
Bearbeitet als Bachelor-Arbeit
Start: 20.05.2014
Ende: 15.10.2014
Automatische Speicherbereinigung in Echtzeitsystemen
Verantwortlich: Matthias Werner
Bearbeitet von Tobias Stumpf
Bearbeitet als Master-Arbeit
Start: 20.09.2012
Ende: 04.02.2013
Generisches Policy Management für heterogene Firewallsysteme
Verantwortlich: Matthias Werner
Bearbeitet von Philipp Seidel
Bearbeitet als Master-Arbeit
Start: 03.04.2012
Ende: 19.10.2012
Universelles Framework zur Beobachtung und Steuerung von Benutzeroberflächen für CSCW-Unterstützung in Einzelbenutzeranwendungen
Verantwortlich: Matthias Werner
Bearbeitet von Michael Kunz
Bearbeitet als Master-Arbeit
Start: 09.07.2012
Ende: 05.09.2012
Design und Implementierung einer Abstraktionsschicht für verteilte, ortsabhängige Anwendungen auf iOS
Verantwortlich: Matthias Werner
Bearbeitet von Robert Rieß
Bearbeitet als Master-Arbeit
Start: 03.05.2011
Ende: 24.11.2011
Simulationsframework für verteilte mobile Systeme
Verantwortlich: Matthias Werner
Bearbeitet von Andreas Löscher
Bearbeitet als Master-Arbeit
Start: 30.05.2011
Ende: 24.11.2011
Konfliktlösungsmechanismen für die Kooperation von Legacy-Anwendungen
Verantwortlich: Matthias Werner
Bearbeitet von Marcel Ott
Bearbeitet als Master-Arbeit
Start: 14.12.2010
Ende: 14.06.2011
Untersuchung von Methoden zur Laufzeitmessung in WLAN zum Zwecke der Positionsbestimmung
Verantwortlich: Matthias Werner
Bearbeitet von Mario Haustein
Bearbeitet als Master-Arbeit
Start: 16.03.2010
Ende: 25.03.2011
Gruppengestützte Lokalisierung in Ad-Hoc Netzwerken
Verantwortlich: Matthias Werner
Bearbeitet von Kai Timmer
Bearbeitet als Master-Arbeit
Start: 11.07.2009
Ende: 30.04.2010
Offenes Betriebssystem für den Aibo ERS-110
Verantwortlich: Matthias Werner
Bearbeitet von Roland Fischer
Bearbeitet als Master-Arbeit
Start: 14.10.2008
Ende: 27.04.2009
Mobilität und Verteiltheit in Barrelfish
Verantwortlich: Matthias Werner
Bearbeitet von Martin Richter
Bearbeitet als
Start: 16.04.2018
Ende: 18.09.2018
PylotOS-an interpreted operating system
Verantwortlich:
Bearbeitet von Stefan Naumann
Bearbeitet als Master-Arbeit
Start: 01.02.2018
Ende: 16.07.2018
Abstraction Layer in PylotOS
Verantwortlich: Matthias Werner
Bearbeitet von Maximilian Kränert
Bearbeitet als Bachelor-Arbeit
Start: 09.05.2018
Ende: 14.02.2019
Speicherverwaltung und Interrupthandling in PylotOS
Verantwortlich: Matthias Werner
Bearbeitet von Sebastian Kratzsch
Bearbeitet als Bachelor-Arbeit
Start: 09.05.2018
Ende: 10.09.2019
Fehlertoleranz im Automobilbereich
Verantwortlich:
Ziel des Seminars ist es anhand aktueller Veröffentlichungen Fehlertoleranzmechanismen für Software in der Automobilindustrie vorzustellen und deren Einsatz zu diskutieren. Die Frage ist hierbei, welche Mechanismen aktuell Verwendung finden und in welchem Zusammenhang.
Bearbeitet von Georg Seerig
Bearbeitet als Forschungsseminar
Start: 07.10.2022
Ende: 30.01.2022
Implicit Group Building of Distributed Cyber Physical Systems with Predictable Dynamics
Verantwortlich: Jafar Akhundov
"Distributed mobile cyber-physical system pose new challenges for concurrency studies. One of the aspects of interest is bringing several dynamic nodes together to accomplish a single goal which could be e.g. some decision making process (agreement) etc. In this work, a student must investigate this problem with respect to a use case of satellites which observe Earth surface for certain duration events (like fires, eruptions, rogue waves etc). The task is: 1. To find a suitable algorithm to maximise the durations of observations of the events and the number of observed events utilising the knowledge of satellite’s orbits (e.g. LEO) 2. Analyse the implications and run times of the algorithm with respect to different metrics (like latency, robustness) 3. Implement a simulation framework to support the thesis (external libraries are allowed such as Ptolemy II etc) Certain constraints have to be met to make the work feasible for a typical thesis duration (24 weeks): 1. Only crash faults have to be considered, i.e. satellites can come and go dynamically during run time of the system 2. Synchronization and communication of the satellites occur only via ground stations with at least one ground station always visible to any satellite 3. The planning also occurs on the ground stations (decentralised or centralised in one control node) and the plan is then disseminated to the satellites 4. The maximum latencies for communication are always known The student gets initial recommendations for state of the art studies and technical support."
Bearbeitet von Anupama Amur
Bearbeitet als Master-Arbeit
Start: 31.10.2017
Ende: 01.05.2018
Darstellung und Auswertung von Zeit in Modellen
Verantwortlich:
Ziel des Seminars ist es einen Überblick über diese verschiedenen "Zeitmodelle" zu geben und eine Übersicht zu erstellen, welche es ermöglicht basierend auf den Systemanforderungen und/oder der Modellierungsmethode die möglichen Zeitmodelle auszuwählen. Die Frage ist hierbei, wie sich die verschiedenen Ansätze auszeichnen, was ihre Annahmen und Analysemöglichkeiten sind. Zu beachten ist hierbei dass es manchmal keine eindeutige Auswahl gibt. Daher ist die Aufarbeitung der Zeitmodelle in eine Übersicht zentral um die Erkenntnisse grafisch/tabellarisch darzustellen.
Bearbeitet von Nikolai-Antonio Hartmayer
Bearbeitet als Forschungsseminar
Start: 22.10.2018
Ende: 05.02.2019
The TLA Theorem Solver
Verantwortlich:
Ziel des Seminars ist die Aufarbeitung des TLA Theorem Solvers sowie die Erläuterung anhand eines eigens entworfenen Beispiels zum "Die Hard Problem"
Bearbeitet von Clemens Degenhardt
Bearbeitet als Hauptseminar
Start: 21.04.2023
Ende: 01.09.2023
Safety-critical - Definition und Eigenschaften
Verantwortlich:
Ziel des Seminars ist es, basierend auf aktueller Literatur eine Kategorisierung und Begriffsklärung durchzuführen. Dabei soll neben der Begriffsdefinition auch eine Klärung erfolgen, welche Eigenschaften und Maßnahmen darunter subsummiert werden können. Die Frage ist also, was safety-critical bedeutet, wie safety analysiert und verbessert werden kann.
Bearbeitet von Felix Bachmann
Bearbeitet als Hauptseminar
Start: 18.10.2022
Ende: 07.04.2023
Distributed Constraint Solving for DiAO
Verantwortlich: Matthias Werner
Das Konzept der verteilten aktiven Objekte wurde bereits im Rahmen einer Bachelorarbeit prototypisch in Python umgesetzt. In der aktuellen Implementierung sind Constraints als Funktionen realisiert, die der Programmierer an Methoden bindet. Sie bekommen durch die Laufzeitumgebung die Informationen des globalen Zustandes als Parameter übergeben. Der Entwickler trifft durch imperative Programmierung eine Auswahl, welcher Knoten sich für die Ausführung des Codes eignet. Im ursprünglichen Konzept der verteilten aktiven Objekte bindet der Programmierer deklarativ formulierte Constraints an Code-Abschnitte. ECLiPSe ist ein Beispiel für einen Constraint-Solver, der die Lösung solcher Constraints ermöglicht. Im Rahmen des Praktikums soll eine Erweiterung der bestehenden prototypischen Implementierung erfolgen. Die Bindung deklarativer Nebenbedingungen an Methoden, deren Lösung durch den ECLiPSe Constraint-Solver sowie die Auswahl von Ausführungseinheiten auf Basis seiner Ergebnisse stehen dabei im Mittelpunkt.
Bearbeitet von Martin Richter
Bearbeitet als Forschungspraktikum
Start: 24.10.2018
Ende: 29.05.2019
Umsetzung von Programmierparadigmen der Objektorientierung zur Realisierung von Function-as-a-Service Systemen mit Microservices
Verantwortlich: Marcus Hilbrich
Micro-Service lassen verschiedene Abstraktionsmethoden vermissen. Z.b. Im Fall das mehrere Services benötigt werden um eine Transaktion zu bearbeiten, ist das Konzept der Transaktion in keinem der Services zu finden. Als erster Schritt wurde ein Werkzeug realisiert und evaluiert, welches erlaubt, die Transaktion als eine Klasse, analog zur Objektorientierung, zu realisieren. Aus den Methoden dieser Klasse werden dabei die nötigen Services generiert. Dieses Werkzeug ist noch nicht generell anwendbar und benötigt Erweiterung. 1) Verwendung einer generelleren Programmiersprache (Java), 2) Unterstützung weiterer OO Konzepte (Generalisierung, Polymorphie, ...) 3) stärkere Evaluation, 4) Unterstützung für mehrere Programmiersprachen, 5) multi Cloud Unterstützung
Bearbeitet von Stefan Staude
Bearbeitet als Master-Arbeit
Start: 22.09.2019
Ende: 23.02.2020
Discover and Analysis of architectural patterns in open source projects
Verantwortlich: Marcus Hilbrich
Die Nutzung von Entwurfsmuster ist eine bewerte Strategie zur Erhöhung der Qualität von Software. Entwurfsmuster können explizit gewählt und realisiert werden, werden aber auch von Entwicklungsumgebungen forciert. Ihre Aufgabe ist es in quelloffenen Android-Applikationen Entwurfsmuster zu identifizieren und zu analysieren ob sie explizit oder implizit realisiert wurden.
Bearbeitet von Ehsan Fanic
Bearbeitet als Master-Arbeit
Start: 22.04.2019
Ende: 23.09.2019
Entwurfsmuster in quelloffenen Projekten: Analyse der Nutzung
Verantwortlich: Marcus Hilbrich
Die Nutzung von Entwurfsmuster ist eine bewerte Strategie zur Erhöhung der Qualität von Software. Entwurfsmuster können explizit gewählt und realisiert werden, werden aber auch von Entwicklungsumgebungen forciert. Ihre Aufgabe ist es in quelloffenen Android-Applikationen Entwurfsmuster zu identifizieren und zu analysieren ob sie explizit oder implizit realisiert wurden.
Bearbeitet von Marcel Müller
Bearbeitet als Master-Arbeit
Start: 06.05.2019
Ende: 26.11.2019
Erstellung einer Taxonomie der Einflussfaktoren auf die Softwarearchitektur
Verantwortlich: Marcus Hilbrich
Bearbeitet von Maximilian Teich
Bearbeitet als Master-Arbeit
Start: 22.07.2019
Ende: 26.11.2019
Evaluation von Simulationswerkzeugen für Hybride Automaten und deren Erweiterung auf Lineare Zeitinvariante Hybride Automaten
Verantwortlich: Antonia Reißner
Drei Simulationswerkzeuge sollen verglichen werden und eines ausgewählt. Für das gewählte Tool soll ein Plug-In für Lineare Zeitinvariante Hybride Automaten geschrieben werden.
Bearbeitet von Florian Jurklies
Bearbeitet als Bachelor-Arbeit
Start: 14.08.2019
Ende: 30.01.2020
Automatische Entwurfsmustererkennung mehrerer Projekte mithilfe bestehender Tools
Verantwortlich: Marcus Hilbrich
Bearbeitet von Oliver Hahn
Bearbeitet als Bachelor-Arbeit
Start: 15.01.2020
Ende: 13.07.2020
Wie wirkt sich die Abwesenheit von Metriken zur Bewertung des Sicherheitsniveaus zum Zeitpunkt der Anforderungsanalyse uf die Entwicklung sicherer Softwaresysteme aus?
Verantwortlich: Marcus Hilbrich
Bearbeitet von Kevin Fiedler
Bearbeitet als Bachelor-Arbeit
Start: 15.01.2020
Ende: 31.01.2021
Ein objektorientierte Ansatz zum Generieren von Microservices: Erstellung eines Prototyps
Verantwortlich: Marcus Hilbrich
Bearbeitet von Lukas Reinhardt
Bearbeitet als Bachelor-Arbeit
Start: 09.04.2018
Ende: 09.11.2018
Evaluierung unterschiedlicher Verfahren für den Entwurf paralleler Softwaresysteme
Verantwortlich: Marcus Hilbrich
Bearbeitet von Matthias Tietz
Bearbeitet als Bachelor-Arbeit
Start: 06.08.2018
Ende: 31.12.2018
Einfluss von Technologien auf die Methodik des Software Designs - empirische Analyse
Verantwortlich: Marcus Hilbrich
Bearbeitet von Nina Heger
Bearbeitet als Master-Arbeit
Start: 07.05.2018
Ende: 26.10.2018
Analyse von Tools für Model-Checking
Verantwortlich:
Model-Checker und Beweissysteme sind gängige Unterstützungssysteme zur automatisierten Analyse von formalen Modellen. Die Aufgabe ist es zwei Tools hinsichtlich ihrer Eignung für bestimmte Zwecke zu untersuchen und mit diese mit einem Beispiel zu verdeutlichen.
Bearbeitet von Alina Walzel
Bearbeitet als Bachelor-Arbeit
Start: 12.04.2023
Ende: 01.12.2023
Entwicklung und Performance-Analyse einer OpenACC-basierten Fast Multipole Method
Verantwortlich: Laura Morgenstern
Ziel ist die Entwicklung und Performance-Analyse einer OpenACC-basierten Fast Multipole Method (FMM) zur Berechnung von elektrostatischen Wechselwirkungen in Molekulardynamiksimulationen auf GPUs. Grundlage hierfür ist FMSolvr, eine parallele C++ Implementation der FMM. In einer anschließenden Performance-Analyse soll die entwicklete OpenACC-Variante hinsichtlich möglicher Performance-Optimierungen untersucht werden. Auch die Entwicklung und vergleichende Analyse unterschiedlicher Parallelisierungsstrategien bzw. Paramtersets bietet sich an.
Bearbeitet von Theresa Werner
Bearbeitet als Forschungspraktikum
Start: 01.07.2021
Ende: 22.07.1900
A Hybrid Testbed for Educational Purposes - Design of a Computer Science Lab for Master Students
Verantwortlich:
Cooperative master thesis with the professorship for operating systems and middleware of Prof. Polze at HPI. The aim is to analyze the impairments for hybrid computer science labs and to transfer an already existing lab into a hybrid one.
Bearbeitet von Julia Scharsich
Bearbeitet als Master-Arbeit
Start: 23.02.2021
Ende: 04.04.2022
RoboCup - Simulatoren
Verantwortlich: Martin Richter
Seit 1997 wird der RoboCup (Robot Soccer World Cup) ausgetragen. Hierbei treten verschiedene Teams von Forschern und Studierenden in unterschiedlichen Ligen gegeneinander an. Ein Spiel wird dabei immer zwischen zwei gleich großen Teams von Robotern ausgetragen. Abhängig von der Liga wird das Spiel entweder simuliert oder physisch durch echte Roboter ausgetragen.Wenn das Spiel simuliert wird (also in den 2D- und 3D-Simulation Ligen), kommt es zum Einsatz einer Simulationsplattform. Ihre Aufgabe ist es, die aktuelle Simulationsplattform (entweder 2D oder 3D) vorzustellen.
Bearbeitet von Paul Kapitän und Martin Ziesche
Bearbeitet als Proseminar
Start: 13.09.2022
Ende: 13.03.2023
Heuristic Risk Treatment with TLA+
Verantwortlich:
Bearbeitet von Albrecht Stoye
Bearbeitet als Forschungspraktikum
Start: 19.05.2022
Ende: 07.04.2023
Formal Modeling of Meta-Functional Properties of the RaSTA Protocol
Verantwortlich: Billy Naumann
Bearbeitet von Jonas Henschel
Bearbeitet als Master-Arbeit
Start: 01.07.2022
Ende: 13.12.2022
Component Risk Analysis for Automotive Systems
Verantwortlich:
The focus of the research internship is on the implementation of the developed component security risk analysis method. Therefore, the student gets the method description and relevant input data. The task is to read and understand the method description and implement the method in a proper programming language, e.g., Python. The research part of the task consists of researching appropriate implementation schemes and missing information for the technique.
Bearbeitet von Louis Heyne
Bearbeitet als Forschungspraktikum
Start: 25.10.2022
Ende: 07.04.2023
Automotive vs. Railway – Safety in unterschiedlichen Herangehensweisen?
Verantwortlich:
Sicherheit gewinnt mit zunehmend komplexer werdenden Systemen immer mehr an Relevanz. Gerade für Systeme mit hohem Schadenspotential für dessen Benutzer und Umwelt muss ein hoher Aufwand betrieben werden, um dies sicherstellen zu können. Die Bereiche Automotive und Railway zeigten im Laufe der Zeit wie gewisse Standards und Weiterentwicklungen im Vorgehen eine „sicherere“ Systementwicklung ermöglichen. Allerdings sind beide Entwicklungsmodelle auf Grundlage unterschiedlicher Normen entstanden. Die Aufgabe besteht darin aus beiden Entwicklungsmodellen Unterschiede herauszuarbeiten sowie die Gemeinsamkeiten in Verbindung zu setzen. Darüber hinaus stellt sich die Frage, ob eine Zusammenführung beider Modelle in ein integriertes Metamodell möglich ist, sowie ob dieser Ansatz sinnvoll wäre.
Bearbeitet von Felix Bachmann
Bearbeitet als Bachelor-Arbeit
Start: 19.04.2023
Ende: 08.03.2024