Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehre:abschlussarbeiten [2021/04/15 14:00]
scheffe ba kahle finished
lehre:abschlussarbeiten [2022/02/07 11:03]
fonck
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 15: Zeile 16:
     * Dynamisch vernetzte, extrakorporale Organunterstützung (Ansprechpartner:​ [[:​lehrstuhl:​mitarbeiter:​wiartalla]])     * Dynamisch vernetzte, extrakorporale Organunterstützung (Ansprechpartner:​ [[:​lehrstuhl:​mitarbeiter:​wiartalla]])
     * Sicherheits- und Automatisierungskonzepte für künstliche Lungen (Ansprechpartner:​ [[:​lehrstuhl:​mitarbeiter:​lamberti]])     * Sicherheits- und Automatisierungskonzepte für künstliche Lungen (Ansprechpartner:​ [[:​lehrstuhl:​mitarbeiter:​lamberti]])
 +    * 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]]
   * [[en:​forschung:​mobility#​open_positions|Cyber-physical Mobility]]   * [[en:​forschung:​mobility#​open_positions|Cyber-physical Mobility]]
  
Zeile 33: Zeile 35:
 /*  * [[lehrstuhl:​mitarbeiter:​stollenwerk|Mobile Organperfusion]] */ /*  * [[lehrstuhl:​mitarbeiter:​stollenwerk|Mobile Organperfusion]] */
   * 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:​as:​testkonzept-PV1000]] 
-  * {{:​lehre:​abschlussarbeiten:​mw:​20210315_ba_automock_idsystem.pdf | ID Management und Code Generierung zur Datenbereitstellung in einem System zur extrakorporalen Nierenperfusion}} 
 ===== Offene Masterarbeiten ===== ===== Offene Masterarbeiten =====
  
Zeile 40: Zeile 40:
 \\ \\
 \\ \\
- 
   * 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}} 
   * (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]] ​   * (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:​as:​testkonzept-PV1000]] 
  
  
 ===== Laufende Abschlussarbeiten ===== ===== Laufende Abschlussarbeiten =====
 +  * {{ :​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:​mv:​expose_roman_gensch.pdf|Automatisierte Generierung eines .NET-Interfaces für eine C++-Bibliothek}}
-  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_marius_peterfalvi.pdf | Implementierung einer Diagnoseunterstützung auf Basis symptomatischer Zusammenhänge}} 
-  * {{ :​lehre:​abschlussarbeiten:​sf:​ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}} 
-  * {{ :​lehre:​abschlussarbeiten:​sf:​ba_expose_anna_vaassen.pdf | Transformation heterogener intensivmedizinischer Datenbanken in das OMOP-CDM}} 
-  * {{ :​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:​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:​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:​ma_cpm_meyer_exposee.pdf | A Realtime Web-based Digital Twin 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:​mb:​ma_pfannschmidt_expose.pdf | Extension of CO2-Guided Physiological Closed-Loop Control by Safety Measures in Mechanical Ventilation of Neonates}}
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​ba_ma_nanni_komplikationen.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }}
  
  
 ===== Abgeschlossene Abschlussarbeiten ===== ===== Abgeschlossene Abschlussarbeiten =====
 +==== 2021 ====
 +  * {{ :​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:​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}}
 +  * Verifikation von Trajektorien Vernetzter und Autonomer Fahrzeuge
 +  * Untersuchung von Kooperationstopologien in synchronisierter und verteilter modellprädiktiver Regelung
 +  * {{ :​lehre:​abschlussarbeiten:​ps:​ba_dorndorf_exposee.pdf | Using dynamic priority assignment to increase feasibility in
 +priority-based networked control}}
 +  * [[:​lehre:​abschlussarbeiten:​as:​testkonzept-PV1000]]
 +
 ==== 2020 ==== ==== 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:​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 79: Zeile 89:
   * {{ :​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 }}   * {{ :​lehre:​abschlussarbeiten:​ps:​ba_kahle_exposee.pdf | Priority Assignment in Graph-based Distributed Trajectory Planning }}
 +  * 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 ==== ==== 2019 ====
Zeile 94: Zeile 107:
   * Development of a Priority Distribution Algorithm for Cooperative Vehicle Trajectory Planning and Control   * Development of a Priority Distribution Algorithm for Cooperative Vehicle Trajectory Planning and Control
   * Adaptive Cooperation Topology in Distributed Vehicle Trajectory Planning   * Adaptive Cooperation Topology in Distributed Vehicle Trajectory Planning
 +  * Distributed Scheduling for Cooperative Vehicles at Road Intersections
 +  * Prioritätszuweisung für Vernetzte Modellprädiktive Regelung
   * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_oprea.pdf |Entwicklung eines Lungenmodells zur CO2 geführten Beatmung von Frühgeborenen}}   * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_oprea.pdf |Entwicklung eines Lungenmodells zur CO2 geführten Beatmung von Frühgeborenen}}
   * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_rennert.pdf |Entwicklung eines Software-Mocks für die CO2 geführte Neonatalbeatmung}}   * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_rennert.pdf |Entwicklung eines Software-Mocks für die CO2 geführte Neonatalbeatmung}}