Dies ist eine alte Version des Dokuments!
Abschlussarbeiten
Wir betreuen Abschlussarbeiten auf den folgenden Gebieten:
- Embedded Software Engineering:
- Sicherheitssysteme für Pedelecs (Ansprechpartner: Stefan Rakel, M.Sc. RWTH)
- Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme:
- Anwendung formaler Verfahren im Kontext des Internet der Produktion (Ansprechpartner: Marco Grochowski, M.Sc. RWTH, Thomas Henn, M.Sc. RWTH)
- Analyse von SPS-Programmen (Ansprechpartner: Robin Mroß, M.Sc. RWTH, Dr. rer. nat. Marcus Völker)
- Analyse von graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: Robin Mroß, M.Sc. RWTH)
- Eingebettete Systeme in der Medizin:
- Sicherheit in medizintechnischen Anwendungen (Ansprechpartner: Dr.-Ing. André Stollenwerk)
- Algorithmische Überwachung und Regelung in medizintechnischen Anwendungen (Ansprechpartner: Mateusz Buglowski, M.Sc. RWTH)
- Modellbasierte Patientenbehandlung und automatisierte Überwachung von intensivmedizinischen Daten (Ansprechpartner: Simon Fonck, M.Sc. RWTH)
- Dynamisch vernetzte, extrakorporale Organunterstützung (Ansprechpartner: Marc Wiartalla, M.Sc. RWTH)
- Sicherheits- und Automatisierungskonzepte für künstliche Lungen (Ansprechpartner: Michael Lamberti, M.Sc. RWTH)
- Solltet ihr ein allgemeines Interesse an einer Abschlussarbeit im Bereich der Medizintechnik haben und könnt euch auf keines der oben genannten Themen festlegen, könnt ihr eure Bewerbung auch gerne an die gesamte Medizintechnikgruppe verschicken: med-wm@embedded.rwth-aachen.de
Der Lehrstuhl betreibt eine Mailingliste über die wir unsere Hiwi-Stellen und Abschlussarbeiten ausschreiben. Hier können Sie sich gerne eintragen um diese Meldungen zu erhalten.
Bitte wenden Sie sich bei Interesse direkt an den entsprechenden wissenschaftlichen Mitarbeiter.
Offene Bachelorarbeiten
Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelorarbeiten können Sie direkt bei den wissenschaftlichen Mitarbeitern erfragen.
- Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe Cyber-physical Mobility
Offene Masterarbeiten
Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Diplom- und Masterarbeiten können Sie direkt bei den wissenschaftlichen Mitarbeitern erfragen.
- Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe Cyber-physical Mobility
- (Master) Änderungs- und Auswirkungsanalyse von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen, Kontakt: Marco Grochowski, M.Sc. RWTH
Laufende Abschlussarbeiten
Abgeschlossene Abschlussarbeiten
2022
2021
- Verifikation von Trajektorien Vernetzter und Autonomer Fahrzeuge
- Untersuchung von Kooperationstopologien in synchronisierter und verteilter modellprädiktiver Regelung
- Automatic Generation of a .NET Interface for a C++-Library
2020
- Implementation of Generic Scenarios for Testing of Networked Trajectory Planning
- Effects of Cooperation Topologies in Distributed Trajectory Planning of Vehicles
- Verifikation von Handlungsplänen Vernetzter und Autonomer Fahrzeuge
2019
- Development of a Priority Distribution Algorithm for Cooperative Vehicle Trajectory Planning and Control
- Adaptive Cooperation Topology in Distributed Vehicle Trajectory Planning
- Distributed Scheduling for Cooperative Vehicles at Road Intersections
- Prioritätszuweisung für Vernetzte Modellprädiktive Regelung
2018
- Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung
- Go-to-Formation of Nonholonomic Vehicles using Networked Model Predictive Control
- Autonomous Vehicle Racing using Networked Model Predictive Control
- Vehicle Coordination at Intersections using Model Predictive Control
- Networked Model Predictive Control for Vehicle Formations
- Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles
- Coordinating Cooperative Vehicles at Road Intersections using Scheduling
- Modeling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making
- Development of a Tool to Generate Maps for Autonomous Driving
2017
2016
2015
2014
2012
- Optimierung einer oktagonbasierten Wertebereichsanalyse durch Lokalisierung abstrakter Speicherstellen
2011
- Analyse von hardwarenahen C-Programmen mit Oktagonen
2010
- Statische Analyse für den Renesas R8C/23 Mikrocontroller
2009
- Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving
2007 & 2008
2006
2004 & 2005
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland