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/14 14:25]
wiartalla
lehre:abschlussarbeiten [2021/11/11 15:57]
fonck [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 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[at]embedded[dot]rwth-aachen[dot]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:​ausschreibung_bachelorarbeit_arcade_grafcet_darstellungsimplementierung.pdf | Implementierung ​und Evaluation einer intermediären Repräsentation von IEC 60848 (GRAFCET)}} 
-  ​* {{:​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 42:
 \\ \\
 \\ \\
- 
   * 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}}
   * (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:​ps:​ba_dorndorf_exposee.pdf | Using dynamic priority assignment to increase feasibility in
 +priority-based networked control}}
 +  * {{ :​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:​expose-kruschewsky.pdf | (Master) ​Data imputation & Data correction ​in Intensive Care Physiological Data}} 
-  * {{ :​lehre:​abschlussarbeiten:​sf:​ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}} +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_ana_yurgandzhieva.pdf | Retrospektive Klassifizierung ​von ARDS-Verläufen ​in intensivmedizinischen Sekundärdaten}}
-  * {{ :​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:​ps:​ba_kahle_exposee.pdf | Priority Assignment ​in Graph-based Distributed Trajectory Planning }} +
-  * {{ :​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:​as:​testkonzept-PV1000]] 
- +  * {{ :​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_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}}
 +
 ==== 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 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