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
lehre:abschlussarbeiten [2016/06/20 11:05]
dzafic [Offene Bachelorarbeiten]
lehre:abschlussarbeiten [2024/03/25 18:27] (aktuell)
pfannschmidt Ausschreibung VPf gelöscht
Zeile 1: Zeile 1:
 ====== Abschlussarbeiten ====== ====== Abschlussarbeiten ======
 ~~NOTOC~~ ~~NOTOC~~
 +\\
 +Für Anfragen bitte die [[lehrstuhl:​bewerbungshinweise|Bewerbungshinweise]] beachten.\\
 \\ \\
 Wir betreuen Abschlussarbeiten auf den folgenden Gebieten:\\ Wir betreuen Abschlussarbeiten auf den folgenden Gebieten:\\
 \\ \\
   * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/​Systeme:​   * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/​Systeme:​
-    * Model Checking, Symbolische Ausführung [[:lehrstuhl:​mitarbeiter:​bohlender]] +    * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:​mitarbeiter:​mross]][[lehrstuhl:​mitarbeiter:​voelker]]) 
-    * Statische Analyse ​[[:lehrstuhl:​mitarbeiter:​simon]] +    * Analyse ​von graphischen Beschreibungsmitteln,​ insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:​mitarbeiter:​mross]])
-    * Formale Methoden für SPS Programme ​[[:lehrstuhl:​mitarbeiter:​voelker]] +
-    * Synthese ​von Steuerungssoftware[[:​lehrstuhl:​mitarbeiter:​goebe]] +
-    * Unterstützung des Entwicklers während der Eingabe: [[:​lehrstuhl:​mitarbeiter:​obster]] +
-    * Formale Spezifikation & Spezifikationsanalyse für Komponentensysteme [[lehrstuhl:​mitarbeiter:​foerster]] +
-    * Gefährdungsanalysen nach der ISO 26262 [[lehrstuhl:​mitarbeiter:​chomicz]]+
   * Eingebettete Systeme in der Medizin:   * Eingebettete Systeme in der Medizin:
-    * Sicherheit in medizintechnischen Anwendungen: [[:​lehrstuhl:​mitarbeiter:​stollenwerk]] +    * Modellbasierte Patientenbehandlung und automatisierte Überwachung von intensivmedizinischen Daten (Ansprechpartner: [[:​lehrstuhl:​mitarbeiter:​fonck]]) 
-    * Eingebettete Systeme zur Kommunikation und Überwachung ​in der Intensivmedizin:​ [[:​lehrstuhl:​mitarbeiter:​kuehn]] +    * Erklärbarkeit bei datengetriebenen Algorithmen ​in der Intensivmedizin ​ ​(Ansprechpartner: [[:​lehrstuhl:​mitarbeiter:​kruschewsky]]) 
-    * Validierung der hygienischen Händedesinfektion zur Vermeidung nosokomialer Infektionen: [[:​lehrstuhl:​mitarbeiter:​smieschek]] +    * Dynamisch vernetzte, extrakorporale Organunterstützung (Ansprechpartner: [[:​lehrstuhl:​mitarbeiter:​wiartalla]]) 
-  Echtzeiterweiterungen und Software-SPS für die Android-Plattform: [[:​lehrstuhl:​mitarbeiter:​kalkov]] +    Automatisierung der künstliche Beatmung Neugeborener (Ansprechpartner: [[:​lehrstuhl:​mitarbeiter:​pfannschmidt]]) 
-  Nutzung mobiler Plattformen für Hardware-in-the-Loop Tests & Verbesserung der Echtzeitfähigkeit von Kommunikationsmedien: [[:​lehrstuhl:​mitarbeiter:​thoennessen]] +    Modellierung des respiratorischen Systems und Entwicklung datenbasierter Algorithmen zur Komplikationserkennung (Ansprechpartner: [[:​lehrstuhl:​mitarbeiter:​oprea]]) 
-  Qualitäts- ​und Komplexitätsmanagement modellbasierter automobiler Software: [[:​lehrstuhl:​mitarbeiter:​gerlitz]] +    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: [[medtech-abschlussarbeiten@embedded.rwth-aachen.de]] 
-  * Entwicklung von automatischen Fluggeräten ​[[:lehrstuhl:mitarbeiter:​dernehl]] +  * [[en:forschung:mobility#​open_positions|Cyber-physical Mobility]] 
-  * Fahrassistenzsysteme für Elektrorollstühle [[lehrstuhl:​mitarbeiter:​dzafic]] + 
-  * Modellbasiertes Testen für automobile Software [[lehrstuhl:​mitarbeiter:​wiechowski]]+
 \\ \\
-Bitte wenden Sie sich bei Interesse direkt an den entsprechenden wissenschaftlichen Mitarbeiter.+Der Lehrstuhl betreibt eine [[https://​lists.rwth-aachen.de/​postorius/​lists/​i11-announces.lists.rwth-aachen.de/​|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 konkretem ​Interesse ​an einer der offenen Arbeiten ​direkt an den entsprechenden wissenschaftlichen Mitarbeiter. 
 + 
  
 ===== Offene Bachelorarbeiten ===== ===== 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.+Die folgende Liste ist ggf. nicht vollständig. ​Für weitere ​Themenvorschläge ​wenden Sie sich an die oben genannten Ansprechpartner oder fragen ​Sie direkt bei den wissenschaftlichen Mitarbeitern ​nach.
 \\ \\
 \\ \\
-  * {{:​lehre:​abschlussarbeiten:​fg:​ba-evaluationsyntacsplt.pdf|Evaluation eines Werkzeugs zur Supervisorsynthese auf einer prozesstechischen Anlage}} + 
-  {{:​lehre:​abschlussarbeiten:​ik_ba_rtandroid_posix.pdf|Optimierung des Prozessverhaltens auf Real-Time Android}} +/*  * [[lehrstuhl:mitarbeiter:stollenwerk|Mobile Organperfusion]] ​*/ 
-  ​* ​{{:lehre:abschlussarbeiten:​nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} +  * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#​open_positions|Cyber-physical Mobility]] 
-  ​{{:​lehre:​abschlussarbeiten:​tg:​ba_ma_ger_inc_detect_rate_duplicate.pdf|Inkrementelle Erkennung und Bewertung von Duplikaten in MATLAB/Simulink Modellen}} + 
-  * {{:lehre:abschlussarbeiten:​tg:​ba_ger_viewpoint.pdf|Sichten auf Modellbasierte Automobile Software}} + 
-  * {{:​lehre:​abschlussarbeiten:​tg:​ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/​Simulink Stateflow-Charts}} +
-  * {{:​lehre:​abschlussarbeiten:​01_implementierungsfreie_verifikation_v2.pdf|Spezifikationsanalyse für Echtzeitsysteme}} +
-  * {{:​lehre:​db_plc_bmc.pdf|Bounded Model Checking of Programmable Logic Control Software}} +
-  * {{:​lehre:​modularcoverage.pdf|Coverage testing for composite function block diagrams}} +
-  * {{:​lehre:​abschlussarbeiten:​ma_dd_postgresql.pdf | eNav - Entwicklung auf Basis von PostgreSQL und Evaluierung}} +
-  * {{:​lehre:​abschlussarbeiten:​ba_dd_fernsteuerung.pdf | eNav - Entwicklung einer Fernsteuerung eines Elektrorollstuhls}}+
 ===== Offene Masterarbeiten ===== ===== 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.+Die folgende Liste ist ggf. nicht vollständig. ​Für weitere ​Themenvorschläge ​wenden Sie sich an die oben genannten Ansprechpartner oder fragen ​Sie direkt bei den wissenschaftlichen Mitarbeitern ​nach.
 \\ \\
 \\ \\
-  * {{:​lehre:​abschlussarbeiten:​ik_bama_rtandroid_config.pdf|Qualitätssicherung der Systemkonfiguration von Real-Time Android}} +  * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#​open_positions|Cyber-physical Mobility]] 
-  * [[:lehre:abschlussarbeiten:​cd_stateflow_analysis]] +
-  * {{:​lehre:​abschlussarbeiten:​tg:​ma_ger_artshop_layout.pdf|Layoutalgorithmen zur Qualitätsverbesserung von Blockdiagrammen}} +
-  * {{:​lehre:​ausschreibungmasterarbeit_a-stern-heuristik.pdf|Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing}}  +
-  * {{:​lehre:​ma_repository.pdf|Entwurf und Implementierung eines Repositorys für die automatisierte Testplanung von sicherheitskritischer eingebetteter Software}}  +
-  * {{:​lehre:​abschlussarbeiten:​nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} +
-  * {{:​lehre:​abschlussarbeiten:​tg:​ba_ma_ger_inc_detect_rate_duplicate.pdf|Inkrementelle Erkennung und Bewertung von Duplikaten in MATLAB/​Simulink Modellen}} +
-  * {{:​lehre:​abschlussarbeiten:​01_implementierungsfreie_verifikation_v2.pdf|Spezifikationsanalyse für Echtzeitsysteme}} +
-  * [[lehre:​abschlussarbeiten:​fg:​symbolischemethoden]] +
-  * [[:​lehre:​abschlussarbeiten:​fg:​dedFBlockSynth]] +
-  * {{:​lehre:​db_plc_bmc.pdf|Bounded Model Checking of Programmable Logic Control Software}} +
-  * {{:​lehre:​modularcoverage.pdf|Coverage testing for composite function block diagrams}} +
-  * {{:​lehre:​abschlussarbeiten:​ma_dd_postgresql.pdf | eNav - Entwicklung auf Basis von PostgreSQL und Evaluierung}} +
-  ​+
 ===== Laufende Abschlussarbeiten ===== ===== Laufende Abschlussarbeiten =====
-  * [[lehre:​abschlussarbeiten:​fg:erwCodeGen]] +  ​* {{:​lehre:​abschlussarbeiten:​mv:​expose_roman_gensch.pdf|Automatisierte Generierung eines .NET-Interfaces für eine C++-Bibliothek}} 
-  * {{:​lehre:​abschlussarbeiten:​ik_bama_rtandroid_config.pdf|Qualitätssicherung der Systemkonfiguration ​von Real-Time Android}} +  * {{ :​lehre:​i11-expose_huang_2020.pdf | Implementation of Generic Scenarios for Testing of Networked Trajectory Planning}} 
-  * {{:lehre:mo_inkrementelle_analyse.pdf|Inkrementelle ​Analyse für Steuerungscode}}+  *  {{ :​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:​exposee_ma_hammer.pdf | Entwicklung eines Frameworks zur Anonymisierung von personenbezogenen zeitkontinuierlichen Daten}} 
 +  * {{ :​lehre:​abschlussarbeiten:​ml:​exposee_wrede.pdf | Messung des Einflusses der Blutgerinnung auf die Absorption von infrarotem Licht in Vollblut }} 
 +  * {{ :lehre: expose_steidl.pdf | (Master) Detection of Vehicle Position on a Pressure-Sensitive Surface Layer}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_menzel_final.pdf | (Master) Framework zur automatisierten ARDS-Erkennung basierend auf KI-gestützten Verfahren}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_ba_nick_stete.pdf | Erklärbarkeitsanalyse von Deep-Learning Modellen zur Erkennung von bilateralen Infiltraten in Röntgenbildern}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​2023_ma_lisa_hartung_expose.pdf | (Master) Comparison of White Box and Black Box Models in the Context of Artificial Intelligence for ARDS Classification}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_kaschel_final.pdf | Few-Shot Learning für die Erkennung von bilateralen Infiltraten in Röntgenbildern}} 
 + 
 +===== Abgeschlossene Abschlussarbeiten ===== 
 +==== 2023 ==== 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_alina_nguyen_final.pdf | Evaluation der Robustheit von Deep Learning Methoden zur Klassifizierung von bilateralen Infiltraten in Thorax-Röntgenbilder}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose-ella_petzold.pdf | Identifikation und Evaluation von Patientenclustern in intensivmedizinischen Datenbanken}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose-przibylla_final.pdf | (Master) Active Learning for targeted data annotation and model training in intensive care data}} 
 +  * {{ :​lehre:​abschlussarbeiten:​akr-expose_klinkhart.pdf | Entwickeln eines Schwierigkeitsscores für die 
 +Fehlererkennung in intensivmedizinischen Daten}} 
 +  * {{ :​lehre:​abschlussarbeiten:​akr-expose_pasa.pdf | Essence Neural Network for Explainable Error Detection in 
 +Intensive Care Medical Data}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_mesut_tastekin.pdf | Retrospektive Erkennung von ARDS mit Hilfe einer Support Vector Machine}} 
 +  * {{ :​lehre:​abschlussarbeiten:​akr-expose-koehler.pdf | Retrospektive Klassifikation von Sepsis-Patienten in 
 +intensivmedizinischen Sekundärdaten mit Machine Learning}} 
 +  * {{ :​lehre:​abschlussarbeiten:​akr-expose_nguyen.pdf | (Master) Neural networks and ensemble methods for imputation of inconsistent intensive care data}} 
 +  *  {{ :​lehre:​abschlussarbeiten:​sf:​expose_pauli_final.pdf | Automatische Erkennung von bilateralen Infiltraten in Röntgenbildern mit Hilfe von Vision Transformern}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose-goldermann.pdf | (Master) Novelty Detection using Deep Learning-based Methods in Intensive Care Data}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_ibach_final.pdf | (Master) An approach to explainable artificial intelligence in the con-text of medical care for ARDS patients}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose-hammad_ahmed.pdf | (Master) Detection of ARDS in time series clinical data using Deep Learning models}} 
 +  * {{ :​lehre:​abschlussarbeiten:​akr-expose-treiber.pdf | (Master) Development of a Framework for post-hoc Explainability of Fault Detection in ICU-Data}} 
 +==== 2022 ==== 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​expose_ba_bach.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }} 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​expose_ba_morkisch.pdf | Detektion von Aktivierungen der Exspirationsmuskulatur gegen die Beatmung von Neugeborenen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_romann.pdf | Detection of Ineffective efforts during expiration in the mechanical ventilation of neonates}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_charlotte_wolf_final.pdf | Entwurf eines Frameworks zur Bewertung der Datenqualität in intensivmedizinischen Datenbanken}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_masterarbeit_nottenkaemper_final2.pdf | (Master) Automatische Erkennung von bilateralen Infiltraten in Thoraxröntgenbildern mit Hilfe von Machine Learning}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_valoshyna.pdf | Optimierung von Deep-Learning Modellen zur automatischen Erkennung von akutem Lungenversagen in Röntgenbildern}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_hannes_pieper.pdf | Retrospektive Erkennung von ARDS mit Hilfe von Random-Forest Algorithmen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​th:​expose_jan_hafer.pdf | Property Directed Equivalence for PLC Programs }} 
 +==== 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]] 
 +  * {{ :​lehre:​abschlussarbeiten:​ml:​exposee_beye.pdf | Entwicklung eines optischen Sensors zur kontinuierlichen 
 +Erkennung ​von Thromben in Oxygenatoren }} 
 +  * Automatic Generation of a .NET Interface for a C++-Library 
 +  * {{ :​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:​am_schaefer_expose.pdf | (Master) Development of Scenarios for Benchmarking in Networked and Automated Driving}} 
 + 
 +==== 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:​sf:​expose_kai_guetzlaff.pdf | Algorithmische Plausibilitätsprüfung intensivmedizinischer Patientendaten}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​expose_ba_hensen.pdf |Implementierung einer modellbasierten Klassifikation von ARDS-Patienten}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sf:​ba_exposé_sophia_gimple.pdf |Erkennung von Sensorfehlern in intensivmedizinischen Datensätzen mithilfe von Novelty Detection}} 
 +  * {{ :​lehre:​abschlussarbeiten:​ps:​ba_kishar_exposee.pdf | Path Tracking Control of Model-scale Vehicles}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mv:​expose_mross.pdf | A Loop-summary-based Heuristic for Policy Improvement in Value Set Analysis using Policy Iteration}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​ba_gruene_expose.pdf |Erkennung und Klassifizierung von Atemzügen bei der künstlichen Beatmung von Neugeborenen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​ba_heiser_exposee.pdf |Modellierung des Metabolismus zur Erweiterung eines neonaten Lungenmodells}} 
 +  * {{ :​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 }} 
 +  * 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 ==== 
 +  * Entwicklung eines Algorithmus zur Erkennung von ausgesuchten Komplikationen bei der Neonatal-Beatmung 
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​ma_kehren_exposee.pdf | App-basiertes Live Monitoring und dynamische Vernetzung von Medizingeräten}} 
 +  * {{:​lehre:​abschlussarbeiten:​msm:​ba_sumic_expose.pdf | Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion}} 
 +  * {{:​lehre:​abschlussarbeiten:​msm:​ba_denker_expose.pdf | Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance}} ​  
 +  * {{ :​lehre:​abschlussarbeiten:​pc:​180509_ba_ma_evaluation_of_hara_controlled_languages.pdf | Evaluation kontrollierter Sprachen ​für die Gefährdungsanalyse}} 
 +  * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_classification_with_machine_learning.pdf | Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren}} 
 +  * {{ :​lehre:​abschlussarbeiten:​pc:​180808_ba_ma_word_embedding_for_semantic_analysis.pdf | Word Embedding für semantische Textvergleiche in Gefährdungsanalysen}} 
 +  * {{:​lehre:​abschlussarbeiten:​ak:​ma_ak_sysreq_cnl.pdf | Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mv:​ma-advancedconditions.pdf | Finding Policies for Advanced Control Flow Conditionals}} 
 +  * {{ :​lehre:​abschlussarbeiten:​sedc_abschlussarbeit_-_interfaces.pdf | Automatische Kanonisierung von Interfaces in SysML}} 
 +  * 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 
 +  * {{ :​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_brochmann.pdf |Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren}} 
 +==== 2018 ==== 
 +  * {{ :​lehre:​abschlussarbeiten:​bt_boecker_expose.pdf | Complete Language Support and Error Detection of Sequential Function Charts in Twistturn}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mt_voertmann_expose.pdf | Entwicklung eines Prüfstandkonzeptes zur Verkürzung der Inbetriebnahmezeiten von dezentralen Personentransportanlagen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mt_werner_expose2.pdf | Development of a Prototype Vehicle Status Display and Interaction Device}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mt_neuberger_expose.pdf | Extending Postsimulation by a Virtual Timebase}} 
 +  * {{:​lehre:​abschlussarbeiten:​msm:​ba_judizki_expose.pdf|Modellierung und Visualisierung vernetzter Industrieanlagen im Rahmen des Predictive Maintenance}}  
 +  * {{ :​lehre:​abschlussarbeiten:​ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} 
 +  * {{ :​lehre:​abschlussarbeiten:​ba_pc_input_support.pdf | Eingabeunterstützung für kontrollierte Sprachen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​pc:​170915_ba_ma_evaluation_of_controlled_languages.pdf | Evaluation von kontrollierten Sprachen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​ba_pc_import_and_translation_of_legacy.pdf | Import und semi-automatische Übersetzung von alten Gefährdungsanalysen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_grammatical_framework.pdf | Implementierung kontrollierter Sprachen im Grammatical Framework}} 
 +  * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_identification_of_contradictions.pdf | Methoden und Algorithmen zur Identifikation von Widersprüchen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mv:​ba-octagonpi.pdf | Relational Policy Iteration for Static Analysis of PLC Programs}}
   * {{:​lehre:​abschlussarbeiten:​jk:​thema_testumgebung_eclavent_jk2.pdf|Automatisiertes Testen im medizintechnischen Bereich}}   * {{:​lehre:​abschlussarbeiten:​jk:​thema_testumgebung_eclavent_jk2.pdf|Automatisiertes Testen im medizintechnischen Bereich}}
   * {{:​lehre:​abschlussarbeiten:​jk:​thema_rezirkulation_eclavent_jk.pdf|Eingebette Rezirkulationsmessung für ECLA-Systeme}}   * {{:​lehre:​abschlussarbeiten:​jk:​thema_rezirkulation_eclavent_jk.pdf|Eingebette Rezirkulationsmessung für ECLA-Systeme}}
   * [[:​lehre:​abschlussarbeiten:​jk:​eclavent_blutflusseditor]]   * [[:​lehre:​abschlussarbeiten:​jk:​eclavent_blutflusseditor]]
 +  * {{ :​lehrstuhl:​mitarbeiter:​dd_simulationsgenerierung_mit_vissim_via_skizzen.pdf |CiTi - simulation generation of VISSIM via sketch}} ​
 +  * {{ :​lehre:​abschlussarbeiten:​sr:​gsn_editor.pdf |Goal Structuring Notation Editor}}
 +  * {{ :​lehre:​abschlussarbeiten:​ba_pc_database_driven_input_support.pdf | Datenbankbasierte Eingabeunterstützung für Gefährdungsanalysen}}
 +  * {{ :​lehre:​abschlussarbeiten:​171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}}
 +  * 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
 +  * {{ :​lehre:​abschlussarbeiten:​mb:​exposee_ba_rieck.pdf |Entwicklung eines Setups zum Erfassen und Annotieren von Daten während der Beatmung von Frühgeborenen}}
 +  * [[lehre:​abschlussarbeiten:​fg:​erwCodeGen]]
   * [[:​lehre:​abschlussarbeiten:​ms:​Entwicklung einer mobilen Anwendung zur Steuerung eines Pedelecs]]   * [[:​lehre:​abschlussarbeiten:​ms:​Entwicklung einer mobilen Anwendung zur Steuerung eines Pedelecs]]
   * [[:​lehre:​abschlussarbeiten:​ms:​Nutzung eines Smartphone Inertialsensors und Odometrie zur Optimierung von GPS-Positionsbestimmungen]]   * [[:​lehre:​abschlussarbeiten:​ms:​Nutzung eines Smartphone Inertialsensors und Odometrie zur Optimierung von GPS-Positionsbestimmungen]]
-  ​* {{:​lehre:​abschlussarbeiten:​ma_dd_multimodal.pdf|Integration des ÖPNV in eNav}}+==== 2017 ==== 
 +  ​* {{ :​lehre:​abschlussarbeiten:​mt_nicolini_expose.pdf | Utilizing Sequential Function Charts to Specify Hardware-in-the-Loop Tests}} 
 +  * {{ :​lehre:​abschlussarbeiten:​bt_svetlakov_expose.pdf | Analysis and Postsimulation of Hardware-in-the-Loop Tests}} 
 +  * {{ :​lehre:​abschlussarbeiten:​fg:​ba-remotesupervisor.pdf|Remote-Supervisor für Speicherprogrammierbare Steuerungen}}
   * {{:​lehre:​abschlussarbeiten:​pc:​ba_ma_pc_grammar_compliant_editor.pdf|Grammatikkonforme Eingabeunterstützung}}   * {{:​lehre:​abschlussarbeiten:​pc:​ba_ma_pc_grammar_compliant_editor.pdf|Grammatikkonforme Eingabeunterstützung}}
-  * {{:​lehre:​abschlussarbeiten:​pc:​ba_ma_pc_hara_row_editor.pdf|Visueller Editor ​für Gefährdungsanalysen}}+  * {{ :​lehre:​abschlussarbeiten:​ba_ma_pc_hara_compare_editor.pdf | Vergleichseditor ​für Gefährdungsanalysen}} 
 +  * {{ :​lehre:​abschlussarbeiten:​ba_ma_pc_translation_of_legacy.pdf | Übersetzung von natürlicher Sprache in kontrollierte Sprache im Kontext der Gefährdungsanalyse}} 
 + 
 +==== 2016 ==== 
 +  * {{ :​lehre:​abschlussarbeiten:​mt_ney_expose.pdf |Balance Point dependent Vehicle Dynamics Control}} 
 +  * {{ :​lehre:​abschlussarbeiten:​mt_kugelmeier_expose.pdf |Tethering semi-autonomous Vehicles by relative Positioning}} 
 +  * {{:​lehre:​abschlussarbeiten:​mt_schake_expose.pdf|Integration of the PROFINET Stack into the RTAndroid Platform}} 
 +  * {{:​lehre:​abschlussarbeiten:​mt_haps_expose.pdf|OPC UA Connectivity of Android Devices and Machine Tools}}
   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_verwaltungssystem.pdf|Verwaltungssystem für kontrollierte Sprachen}}   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_verwaltungssystem.pdf|Verwaltungssystem für kontrollierte Sprachen}}
 +  * {{:​lehre:​abschlussarbeiten:​pc:​ba_ma_pc_hara_row_editor.pdf|Visueller Editor für Gefährdungsanalysen}}
   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_exposure_rationales.pdf|Grammatik für die Formalisierung von Exposure Rationales und semiautomatisierte Einstufung des Exposure Parameters}}   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_exposure_rationales.pdf|Grammatik für die Formalisierung von Exposure Rationales und semiautomatisierte Einstufung des Exposure Parameters}}
   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_consistency_analysis.pdf|Konsistenzprüfung von Gefährdungsanalysen}}   * {{:​lehre:​abschlussarbeiten:​pc:​ba_pc_consistency_analysis.pdf|Konsistenzprüfung von Gefährdungsanalysen}}
-  * {{:​lehre:​abschlussarbeiten:​ma_dd_neo4j.pdf|eNav Entwickelung auf Basis von Neo4j}} +
-  * {{:​lehre:​abschlussarbeiten:​ba_ma_mv_policy.pdf|Policy Iteration zur statischen Analyse von SPS-Programmen}} +
-===== Abgeschlossene Abschlussarbeiten =====+
 ==== 2015 ====  ​ ==== 2015 ====  ​
-  * {{:​lehre:​abschlussarbeiten:​msm:​ba_architektur.pdf|Entwicklung einer Client-Server-Anwendung zur Verwaltung hygienerelevanter Daten im Krankenhausalltag}} 
-  * {{:​lehre:​abschlussarbeiten:​msm:​ba_rfid.pdf|Evaluation verschiedener drahtloser Übertragungsstandards zur intelligenten Lokalisation und Identifikation}} 
-  * {{:​lehre:​abschlussarbeiten:​expose_dd_enav_barrieremelder.pdf|Integration einer Komponente zum Melden von Barrieren in das eNav System}} 
-  * {{:​lehre:​abschlussarbeiten:​expose_dd_enav_oeffnungszeiten.pdf|Automatisiertes Ermitteln von Öffnungszeiten als Erweiterung für das eNav System}} 
   * {{:​lehre:​abschlussarbeiten:​fg:​bacodegenerator.pdf|Code-Generator und Framework für synthetisierte Sicherheitsmechanismen in SPS-Programmen}}   * {{:​lehre:​abschlussarbeiten:​fg:​bacodegenerator.pdf|Code-Generator und Framework für synthetisierte Sicherheitsmechanismen in SPS-Programmen}}
-  * {{:​lehre:​abschlussarbeiten:​ik_ba_fortmann.pdf|Anforderungsanalyse und prototypische Umsetzung einer 
-Entwicklungsumgebung für Structured Text auf RTAndroid}} 
   * [[:​lehre:​abschlussarbeiten:​jk:​eclavent_beatmungsansteuerung]]   * [[:​lehre:​abschlussarbeiten:​jk:​eclavent_beatmungsansteuerung]]
-  * {{:​lehre:​abschlussarbeiten:​expose_dd_enav_bodenbelag.pdf|Erkennung von Bodenbelägen mithilfe eines Smartphones}}+  * {{:​lehre:​abschlussarbeiten:​ms:​ma_kraus_expose.pdf|Ground surface pattern recognition for 
 +enhanced positioning}} 
 +  * {{:​lehre:​abschlussarbeiten:​ms:​ba_schemmer_expose.pdf|Enhanced GPS positioning using a 
 +smartphone IMU and odometer}} 
 +  
 ==== 2014 ==== ==== 2014 ====
   * [[:​lehre:​abschlussarbeiten:​fg:​evaluationvonsynthesetools]]   * [[:​lehre:​abschlussarbeiten:​fg:​evaluationvonsynthesetools]]
Zeile 99: Zeile 215:
   * [[:​lehre:​abschlussarbeiten:​as:​Microwellensteuerung]]   * [[:​lehre:​abschlussarbeiten:​as:​Microwellensteuerung]]
   * [[:​lehre:​abschlussarbeiten:​as:​eclavent_pulsatilepumpe]]   * [[:​lehre:​abschlussarbeiten:​as:​eclavent_pulsatilepumpe]]
-  * {{:​lehre:​abschlussarbeiten:​ma_dd_baumeister.pdf|Entwicklung einer HTML5-basierten Schnittstelle für das mobile Navigationssystem eNav}} 
-  * {{:​lehre:​abschlussarbeiten:​ma_df_dzafic.pdf|Integration von Informationen über die Bodenbeschaffenheit 
-in das eNav System}} 
   * [[:​lehre:​abschlussarbeiten:​fg:​erkennungundklassifizierungvonfahrbahneigenschaften]]   * [[:​lehre:​abschlussarbeiten:​fg:​erkennungundklassifizierungvonfahrbahneigenschaften]]
   * [[:​lehre:​abschlussarbeiten:​as:​pumpensteuerung]]   * [[:​lehre:​abschlussarbeiten:​as:​pumpensteuerung]]
   * [[:​lehre:​abschlussarbeiten:​as:​eclavent_sicherheitsziele]]   * [[:​lehre:​abschlussarbeiten:​as:​eclavent_sicherheitsziele]]
-==== 2013 ==== 
  
-  * {{:​lehre:​abschlussarbeiten:​poster_mf_iso-26262_a4.pdf|A conceptual framework and tool for ISO 26262 compliance}} 
-  * {{:​lehre:​abschlussarbeiten:​ik_expose_gurghian.pdf | Flexible Konfiguration eines mikrocontrollerbasierten Feldgeräteadapters für RTAndroid}} 
-  * {{:​lehre:​abschlussarbeiten:​da_df_weigelt.pdf | Entwicklung eines Testframeworks für Lebenszyklus‐Eigenschaften mobiler Applikationen}} 
-  * {{:​lehre:​abschlussarbeiten:​ik_expose_obster.pdf | Ausführung und Simulation von SPS-Programmen auf RTAndroid}} 
-  * {{:​lehre:​abschlussarbeiten:​dm_inconsistencyManagement.pdf|Inkonsistenz-Management von Artefakten in der modellbasierten Entwicklung eingebetteter Software}} 
-  * {{:​lehre:​da_will_thema.pdf | Evaluierung von formalen Methoden in der Softwareentwicklung von kleinen und mittleren Unternehmen}} 
 ==== 2012 ==== ==== 2012 ====
  
   * [[:​lehre:​abschlussarbeiten:​sb:​modulareboolescheabstraktion]]   * [[:​lehre:​abschlussarbeiten:​sb:​modulareboolescheabstraktion]]
-  * {{:​lehre:​abschlussarbeiten:​ba_sh_frankptltl.pdf | Specifying Life Cycle Requirements for mobile Applications}} 
-  * {{:​lehre:​abschlussarbeiten:​ba_df_enavserver.pdf | Integration des eNav Routing Algorithmus in einen OSM Server}} 
   * [[:​lehre:​abschlussarbeiten:​as:​desinfektionsvalidierung]]   * [[:​lehre:​abschlussarbeiten:​as:​desinfektionsvalidierung]]
   * [[:​lehre:​abschlussarbeiten:​as:​integrationmodellbasiertersicherheitsmanahmen]]   * [[:​lehre:​abschlussarbeiten:​as:​integrationmodellbasiertersicherheitsmanahmen]]
   * [[:​lehre:​abschlussarbeiten:​as:​pumpensteuerung]]   * [[:​lehre:​abschlussarbeiten:​as:​pumpensteuerung]]
-  * {{:​lehre:​abschlussarbeiten:​ba_df_higgsex.pdf | iOS-Extension to the Higgs Framework}} 
-  * {{:​lehre:​abschlussarbeiten:​ma_tg_rtand.pdf | Test und Stabilisierung von RTAndroid}} 
-  * {{:​lehre:​abschlussarbeiten:​ba_dt_rtand.pdf | Steuerung einer Fertigungsanlage mit RTAndroid}} 
-  * {{:​lehre:​abschlussarbeiten:​ba_df_rewp7.pdf | Reverse Engineering des Windows Phone Process Execution Models}} 
   * [[:​lehre:​abschlussarbeiten:​specVis]]   * [[:​lehre:​abschlussarbeiten:​specVis]]
-  * {{:​lehre:​abschlussarbeiten:​expose_dt._tarzan_o._foto.pdf|Sichere Überquerung einer Kreuzung mit 
-einer Fahrzeugkolonne}} 
-  * {{:​lehre:​abschlussarbeiten:​expose_dt._tholen_o._foto.pdf|Effiziente Überquerung einer ampelgesteuerten Kreuzung mit einer Fahrzeugkolonne }} 
   * [[:​lehre:​abschlussarbeiten:​as:​ricardo_regelungpiezopumpe]]   * [[:​lehre:​abschlussarbeiten:​as:​ricardo_regelungpiezopumpe]]
   * Optimierung einer oktagonbasierten Wertebereichsanalyse durch Lokalisierung abstrakter Speicherstellen   * Optimierung einer oktagonbasierten Wertebereichsanalyse durch Lokalisierung abstrakter Speicherstellen
   * [[:​lehre:​abschlussarbeiten:​as:​HAL_CHIBIOS]]   * [[:​lehre:​abschlussarbeiten:​as:​HAL_CHIBIOS]]
-  * {{:​lehre:​abschlussarbeiten:​da_df_mobiletestfr.pdf | Concept and Prototype of a Mobile Cross-Device Test Framework}} 
-  * {{:​lehre:​expose_poppe.pdf | Erstellung und Evaluation einer Hardwareplattform zur 
-präzisen Ladezustandserfassung von Blei-Gel-Akkumulatoren }} 
-  * {{:​lehre:​abschlussarbeiten:​dm_central_annotation_concept.pdf|Realisierung eines modellbasierten Annotationskonzepts für die Verknüpfung von Prozessartefakten}} 
  
 ==== 2011 ==== ==== 2011 ====
Zeile 142: Zeile 235:
   * [[:​lehre:​abschlussarbeiten:​brauer_statische_analyse_plcs]]   * [[:​lehre:​abschlussarbeiten:​brauer_statische_analyse_plcs]]
   * [[:​lehre:​abschlussarbeiten:​biallas_s7_simulator]]   * [[:​lehre:​abschlussarbeiten:​biallas_s7_simulator]]
-  * {{:​lehre:​abschlussarbeiten:​da_df_lctool.pdf | Erweiterung eines Tools zur Analyse von Lebenszyklusmodellen von Android-Applikationen}} 
   * [[lehre:​abschlussarbeiten:​as:​RegelungBlutpumpe]]   * [[lehre:​abschlussarbeiten:​as:​RegelungBlutpumpe]]
   * [[lehre:​abschlussarbeiten:​diab_Ortungssystem|]]   * [[lehre:​abschlussarbeiten:​diab_Ortungssystem|]]
-  * {{df_AndRT_Thesis.pdf|Design and Integration of Real-Time into the Android Platform}} 
   * [[:​lehre:​abschlussarbeiten:​franke_mavcontrol]]   * [[:​lehre:​abschlussarbeiten:​franke_mavcontrol]]
   * [[:​lehre:​abschlussarbeiten:​franke_timedhierarchies]]   * [[:​lehre:​abschlussarbeiten:​franke_timedhierarchies]]
Zeile 168: Zeile 259:
  
   * [[:​lehre:​abschlussarbeiten:​as:​dezentralessicherheitskonzeptecmo]]   * [[:​lehre:​abschlussarbeiten:​as:​dezentralessicherheitskonzeptecmo]]
-  * [[:Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving]]+  * Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving
   * [[:​lehre:​abschlussarbeiten:​implementierung_eines_simulators_fuer_renesas]]   * [[:​lehre:​abschlussarbeiten:​implementierung_eines_simulators_fuer_renesas]]
   * [[:​lehre:​abschlussarbeiten:​transformation_abstrakter_verhaltensmodelle_von_regelstrecken]]   * [[:​lehre:​abschlussarbeiten:​transformation_abstrakter_verhaltensmodelle_von_regelstrecken]]