Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:abschlussarbeiten [2021/01/11 13:55] buglowski [2020] |
lehre:abschlussarbeiten [2021/07/18 11:48] stollenwerk [Laufende Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 5: | Zeile 5: | ||
| \\ | \\ | ||
| * Embedded Software Engineering: | * Embedded Software Engineering: | ||
| - | * Funktionales Sicherheitskonzept nach der ISO 26262 (Ansprechpartner: [[lehrstuhl:mitarbeiter:rakel]]) | + | * Sicherheitssysteme für Pedelecs (Ansprechpartner: [[lehrstuhl:mitarbeiter:rakel]]) |
| * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme: | * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme: | ||
| * Anwendung formaler Verfahren im Kontext des Internet der Produktion (Ansprechpartner: [[lehrstuhl:mitarbeiter:grochowski]], [[lehrstuhl:mitarbeiter:henn]]) | * Anwendung formaler Verfahren im Kontext des Internet der Produktion (Ansprechpartner: [[lehrstuhl:mitarbeiter:grochowski]], [[lehrstuhl:mitarbeiter:henn]]) | ||
| * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]], [[lehrstuhl:mitarbeiter:voelker]]) | * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]], [[lehrstuhl:mitarbeiter:voelker]]) | ||
| + | * Analyse von graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]]) | ||
| * Eingebettete Systeme in der Medizin: | * Eingebettete Systeme in der Medizin: | ||
| * Sicherheit in medizintechnischen Anwendungen (Ansprechpartner: [[:lehrstuhl:mitarbeiter:stollenwerk]]) | * Sicherheit in medizintechnischen Anwendungen (Ansprechpartner: [[:lehrstuhl:mitarbeiter:stollenwerk]]) | ||
| Zeile 32: | Zeile 33: | ||
| /* * [[lehrstuhl:mitarbeiter:stollenwerk|Mobile Organperfusion]] */ | /* * [[lehrstuhl:mitarbeiter:stollenwerk|Mobile Organperfusion]] */ | ||
| - | * {{:lehre:abschlussarbeiten:mv:ba-interfacegeneration.pdf|Automatisierte Generierung eines .NET-Interfaces für eine C++-Biblithek}} | ||
| * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] | * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] | ||
| - | + | * {{ :lehre:abschlussarbeiten:ausschreibung_bachelorarbeit_arcade_grafcet_darstellungsimplementierung.pdf | Implementierung und Evaluation einer intermediären Repräsentation von IEC 60848 (GRAFCET)}} | |
| - | + | * {{ :lehre:abschlussarbeiten:mb:ba_ma_nanni_komplikationen.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }} | |
| ===== Offene Masterarbeiten ===== | ===== Offene Masterarbeiten ===== | ||
| Zeile 42: | Zeile 41: | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | |||
| * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] | * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] | ||
| * {{ :lehre:autoknigge-ausschreibung.pdf | Verifikation von Handlungsplänen Vernetzter und Autonomer Fahrzeuge}} | * {{ :lehre:autoknigge-ausschreibung.pdf | Verifikation von Handlungsplänen Vernetzter und Autonomer Fahrzeuge}} | ||
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_regression.pdf | (Master) Absicherung von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen }} | + | * (Master) Änderungs- und Auswirkungsanalyse von auftretenden Regressionen in der Steuerungssoftware von cyber-physischen Produktionssystemen, Kontakt: [[https://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:mitarbeiter:grochowski|Marco Grochowski, M.Sc. RWTH]] |
| - | * {{ :lehre:abschlussarbeiten:mg:masterarbeit_konfiguration.pdf | (Master) Absicherung von Konfigurationen der Steuerungssoftware in cyber-physischen Produktionssystemen }} | + | * [[:lehre:abschlussarbeiten:as:testkonzept-PV1000]] |
| + | * {{ :lehre:abschlussarbeiten:mb:ba_ma_nanni_komplikationen.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }} | ||
| ===== Laufende Abschlussarbeiten ===== | ===== Laufende Abschlussarbeiten ===== | ||
| - | * {{ :lehre:abschlussarbeiten:sf:expose_marius_peterfalvi.pdf | Implementierung einer Diagnoseunterstützung auf Basis symptomatischer Zusammenhänge}} | + | * {{ :lehre:abschlussarbeiten:ps:ba_dorndorf_exposee.pdf | Using dynamic priority assignment to increase feasibility in |
| - | * {{ :lehre:abschlussarbeiten:sf:ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}} | + | priority-based networked control}} |
| - | * {{ :lehre:abschlussarbeiten:sf:ba_expose_anna_vaassen.pdf | Transformation heterogener intensivmedizinischer Datenbanken in das OMOP-CDM}} | + | * {{ :lehre:abschlussarbeiten:th:expose_jan_hafer.pdf | Property Directed Equivalence for PLC Programs }} |
| + | * {{ :lehre:abschlussarbeiten:am_schaefer_expose.pdf | (Master) Development of Scenarios for Benchmarking in Networked and Automated Driving}} | ||
| + | * {{:lehre:abschlussarbeiten:mv:expose_roman_gensch.pdf|Automatisierte Generierung eines .NET-Interfaces für eine C++-Bibliothek}} | ||
| * {{ :lehre:abschlussarbeiten:sf:expose_marco_bischoff.pdf | Erweiterung einer modellbasierten Klassifikation von ARDS-Patienten um physiologische Zusammenhänge}} | * {{ :lehre:abschlussarbeiten:sf:expose_marco_bischoff.pdf | Erweiterung einer modellbasierten Klassifikation von ARDS-Patienten um physiologische Zusammenhänge}} | ||
| * {{ :lehre:abschlussarbeiten:sf:ma_expose_jan_van_essen.pdf | (Master) Interaktives Analysesystem für die algorithmische Novelty Detection in intensivmedizinischen Datensätzen}} | * {{ :lehre:abschlussarbeiten:sf:ma_expose_jan_van_essen.pdf | (Master) Interaktives Analysesystem für die algorithmische Novelty Detection in intensivmedizinischen Datensätzen}} | ||
| * {{ :lehre:abschlussarbeiten:sf:ma_expose_alice_janssen.pdf | (Master) Konstruktion eines Bayesschen Netzes zur Erkennung von ARDS}} | * {{ :lehre:abschlussarbeiten:sf:ma_expose_alice_janssen.pdf | (Master) Konstruktion eines Bayesschen Netzes zur Erkennung von ARDS}} | ||
| - | * {{ :lehre:abschlussarbeiten:ps:ba_kahle_exposee.pdf | Priority Assignment in Graph-based Distributed Trajectory Planning }} | + | * {{ :lehre:abschlussarbeiten:sf:expose-kruschewsky.pdf | (Master) Data imputation & Data correction in Intensive Care Physiological Data}} |
| - | * {{ :lehre:abschlussarbeiten:ma_voekel_expose.pdf | Entwicklung eines webbasierten Architekturprogramms für | + | * {{ :lehre:abschlussarbeiten:sf:expose_ana_yurgandzhieva.pdf | Retrospektive Klassifizierung von ARDS-Verläufen in intensivmedizinischen Sekundärdaten}} |
| - | Serviceorientierte Software-Projekte}} | + | |
| * {{ :lehre:i11-expose_huang_2020.pdf | Implementation of Generic Scenarios for Testing of Networked Trajectory Planning}} | * {{ :lehre:i11-expose_huang_2020.pdf | Implementation of Generic Scenarios for Testing of Networked Trajectory Planning}} | ||
| * {{ :lehre:abschlussarbeiten:ba_cpm_coban_exposee.pdf | A Concept for a Web-based Simulation Environment of a | * {{ :lehre:abschlussarbeiten:ba_cpm_coban_exposee.pdf | A Concept for a Web-based Simulation Environment of a | ||
| Testbed for Networked and Autonomous Vehicles}} | Testbed for Networked and Autonomous Vehicles}} | ||
| + | * {{ :lehre:abschlussarbeiten:mb:ma_pfannschmidt_expose.pdf | Extension of CO2-Guided Physiological Closed-Loop Control by Safety Measures in Mechanical Ventilation of Neonates}} | ||
| + | * [[:lehre:abschlussarbeiten:as:testkonzept-PV1000]] | ||
| + | ===== Abgeschlossene Abschlussarbeiten ===== | ||
| + | ==== 2021 ==== | ||
| + | |||
| + | ==== 2020 ==== | ||
| + | * {{ :lehre:abschlussarbeiten:sf:ba_expose_anna_vaassen.pdf | Transformation heterogener intensivmedizinischer Datenbanken in das OMOP-CDM}} | ||
| + | * {{ :lehre:abschlussarbeiten:sf:expose_marius_peterfalvi.pdf | Implementierung einer Diagnoseunterstützung auf Basis symptomatischer Zusammenhänge}} | ||
| * {{ :lehre:abschlussarbeiten:ma_cpm_meyer_exposee.pdf | A Realtime Web-based Digital Twin of a Testbed for | * {{ :lehre:abschlussarbeiten:ma_cpm_meyer_exposee.pdf | A Realtime Web-based Digital Twin of a Testbed for | ||
| Networked and Autonomous Vehicles}} | Networked and Autonomous Vehicles}} | ||
| - | + | * {{ :lehre:abschlussarbeiten:ba_cpm_coban_exposee.pdf | A Concept for a Web-based Simulation Environment of a | |
| - | + | Testbed for Networked and Autonomous Vehicles}} | |
| - | + | * {{ :lehre:abschlussarbeiten:ma_voekel_expose.pdf | Entwicklung eines webbasierten Architekturprogramms für | |
| - | ===== Abgeschlossene Abschlussarbeiten ===== | + | Serviceorientierte Software-Projekte}} |
| - | ==== 2020 ==== | + | * {{ :lehre:abschlussarbeiten:sf:ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}} |
| * {{ :lehre:abschlussarbeiten:mg:ma_mbtcpps.pdf | (Master) Application of Model-Based Testing to a Cyber-Physical Production System }} | * {{ :lehre:abschlussarbeiten:mg:ma_mbtcpps.pdf | (Master) Application of Model-Based Testing to a Cyber-Physical Production System }} | ||
| * {{ :lehre:abschlussarbeiten:sf:expose_kai_guetzlaff.pdf | Algorithmische Plausibilitätsprüfung intensivmedizinischer Patientendaten}} | * {{ :lehre:abschlussarbeiten:sf:expose_kai_guetzlaff.pdf | Algorithmische Plausibilitätsprüfung intensivmedizinischer Patientendaten}} | ||
| Zeile 80: | Zeile 87: | ||
| * {{ :lehre:abschlussarbeiten:mb:ba_kirsch_exposee.pdf |Entwicklung eines Plug-In-Systems für ein Analyse-Werkzeug}} | * {{ :lehre:abschlussarbeiten:mb:ba_kirsch_exposee.pdf |Entwicklung eines Plug-In-Systems für ein Analyse-Werkzeug}} | ||
| * {{ :lehre:abschlussarbeiten:mb:ba_nguyen_exposee.pdf |CO2-Führung von Beatmungsparametern von Neugeborenen}} | * {{ :lehre:abschlussarbeiten:mb:ba_nguyen_exposee.pdf |CO2-Führung von Beatmungsparametern von Neugeborenen}} | ||
| + | * {{ :lehre:abschlussarbeiten:ps:ba_kahle_exposee.pdf | Priority Assignment in Graph-based Distributed Trajectory Planning }} | ||
| + | |||
| ==== 2019 ==== | ==== 2019 ==== | ||
| * {{ :lehre:abschlussarbeiten:mb:expose_ba_sieberg.pdf | Entwicklung eines Algorithmus zur Erkennung von | * {{ :lehre:abschlussarbeiten:mb:expose_ba_sieberg.pdf | Entwicklung eines Algorithmus zur Erkennung von | ||