Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehre:abschlussarbeiten [2021/01/11 13:55]
buglowski [2020]
+++ lehre:abschlussarbeiten [2021/10/06 08:10]
stollenwerk [Offene Masterarbeiten]
@@ Zeile 5: / Zeile 5: @@
 \\
   * 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:
     * 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 graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]])
   * Eingebettete Systeme in der Medizin:
     * Sicherheit in medizintechnischen Anwendungen (Ansprechpartner: [[:lehrstuhl:mitarbeiter:stollenwerk]])
@@ Zeile 32: / Zeile 33: @@
 /*  * [[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]]
+  * {{ :lehre:abschlussarbeiten:ausschreibung_bachelorarbeit_arcade_grafcet_darstellungsimplementierung.pdf | Implementierung und Evaluation einer intermediären Repräsentation von IEC 60848 (GRAFCET)}}
+  * {{ :lehre:abschlussarbeiten:mw:20210824_bama_automock_sicherheitsanalyse.pdf | Sicherheitsanalyse einer intensivmedizinischen Anwendung zur extrakorporalen Nierenperfusion }}
 ===== Offene Masterarbeiten =====
@@ Zeile 42: / Zeile 41: @@
 \\
 \\
   * 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: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:mw:20210824_bama_automock_sicherheitsanalyse.pdf | Sicherheitsanalyse einer intensivmedizinischen Anwendung zur extrakorporalen Nierenperfusion }}
 ===== 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-kruschewsky.pdf | (Master) Data imputation & Data correction in Intensive Care Physiological Data}}
+  * {{ :lehre:abschlussarbeiten:sf:expose_ana_yurgandzhieva.pdf | Retrospektive Klassifizierung von ARDS-Verläufen in intensivmedizinischen Sekundärdaten}}
+  * {{ :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
+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]]
+  * {{ :lehre:abschlussarbeiten:mb:ba_ma_nanni_komplikationen.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }}
+===== Abgeschlossene Abschlussarbeiten =====
+==== 2021 ====
   * {{ :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_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 }}
+==== 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
+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
 Serviceorientierte Software-Projekte}}
-  * {{ :lehre:i11-expose_huang_2020.pdf | Implementation of Generic Scenarios for Testing of Networked Trajectory Planning}}
+  * {{ :lehre:abschlussarbeiten:sf:ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}}
-  *  {{ :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_cpm_meyer_exposee.pdf | A Realtime Web-based Digital Twin of a Testbed for
-Networked and Autonomous Vehicles}}
-===== Abgeschlossene Abschlussarbeiten =====
-==== 2020 ====
   * {{ :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}}
@@ 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_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 ====
   * {{ :lehre:abschlussarbeiten:mb:expose_ba_sieberg.pdf | Entwicklung eines Algorithmus zur Erkennung von