====== BSc/MSc Theses ====== ~~NOTOC~~ \\ For applications, please note the [[en:lehrstuhl:bewerbungshinweise|hints for applications]].\\ \\ We supervise theses in the following areas:\\ \\ * Formal Methods for Embedded Software/Systems: * Analysis and Verification of Control Software [[:lehrstuhl:mitarbeiter:voelker]] * Formal Verification for the Internet of Production [[lehrstuhl:mitarbeiter:henn]] * Formalisation and Validation of GRAFCET-Specifications [[lehrstuhl:mitarbeiter:mross]] * Embedded Systems in Biomedical Engineering: * Embedded Systems for Communication and Supervision of Intensive Care [[:lehrstuhl:mitarbeiter:fonck]] * Modelling of the respiratory system and development of data-based algorithms for complication detection [[:lehrstuhl:mitarbeiter:oprea]] * If you have a general interest in a thesis in the field of medical engineering and cannot commit to any of the above mentioned topics, you are also welcome to send your application to the entire medical engineering group: [[medtech-abschlussarbeiten@embedded.rwth-aachen.de]] * [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] \\ Furthermore, there is a [[https://lists.rwth-aachen.de/postorius/lists/i11-announces.lists.rwth-aachen.de/|Mailing list]], where we will announce new open theses.\\ \\ In case of interest, please contact the respective scientific researcher directly. ===== Open Bachelor-Theses ===== The following list is possibly not complete. You can write the contact persons as listed above or directly ask the scientific researchers for additional proposals. \\ \\ * Algorithms for networked und autonomous vehicles, see [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] ===== Open Master-Theses ===== The following list is possibly not complete. You can write the contact persons as listed above or directly ask the scientific researchers for additional proposals. \\ \\ * Algorithms for networked und autonomous vehicles, see [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] ===== Finished Theses ===== ==== 2017 ==== * {{:lehre:ausschreibungmasterarbeit_a-stern-heuristik.pdf|Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing}} * {{ :lehre:ba_dd_zentrale_cerm_datenspeicherung_via_ros.pdf |CERM - CERM data management via Ros}} * {{:lehre:abschlussarbeiten:ba_dd_fernsteuerung.pdf | eNav - Development of a remote control for a wheelchair}} * {{:lehre:abschlussarbeiten:ma_dd_postgresql.pdf | eNav development using PostgreSQL and evaluation}} * {{ :lehre:ba_dd_automatische_simulationsgenerierung_mit_vissim.pdf | CiTi - Generation Automatic Simulation for Vissim}} * {{:lehre:abschlussarbeiten:pc:ba_ma_pc_grammar_compliant_editor.pdf|Grammatikkonforme Eingabeunterstützung}} * {{ :lehre:abschlussarbeiten:ba_ma_pc_hara_compare_editor.pdf | Vergleichseditor für Gefährdungsanalysen}} * {{ :lehre:abschlussarbeiten:ba_ma_pc_translation_of_legacy.pdf | Semi-automatische Übersetzung von alten Gefährdungsanalysen}} ==== 2016 ==== * {{:lehre:abschlussarbeiten:ma_dd_neo4j.pdf|eNav Entwickelung auf Basis von Neo4j}} * {{:lehre:abschlussarbeiten:ma_dd_multimodal.pdf| eNav - Integration of ÖPNV in eNav}} * {{: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_consistency_analysis.pdf|Konsistenzprüfung von Gefährdungsanalysen}} ==== 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:ik_ba_fortmann.pdf|Anforderungsanalyse und prototypische Umsetzung einer Entwicklungsumgebung für Structured Text auf RTAndroid}} * [[:lehre:abschlussarbeiten:jk:eclavent_beatmungsansteuerung]] * {{:lehre:abschlussarbeiten:expose_dd_enav_bodenbelag.pdf|Erkennung von Bodenbelägen mithilfe eines Smartphones}} ==== 2014 ==== * [[:lehre:abschlussarbeiten:fg:evaluationvonsynthesetools]] * [[:lehre:abschlussarbeiten:as:eclavent_rezirkulation]] * [[:lehre:abschlussarbeiten:as:kaffeekasse]] * [[:lehre:abschlussarbeiten:as:sauberehaende_thermodynamische_modellbildung]] * [[:lehre:abschlussarbeiten:as:sauberehaende_tiefeninformation]] * [[:lehre:abschlussarbeiten:as:3drep_scanner]] * [[:lehre:abschlussarbeiten:as:usv]] * [[:lehre:abschlussarbeiten:as:esxi]] * [[:lehre:abschlussarbeiten:as:Microwellensteuerung]] * [[: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:as:pumpensteuerung]] * [[: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 ==== * [[: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:integrationmodellbasiertersicherheitsmanahmen]] * [[: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: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]] * Optimierung einer oktagonbasierten Wertebereichsanalyse durch Lokalisierung abstrakter Speicherstellen * [[: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 ==== * [[:lehre:abschlussarbeiten:werkzeuggestuetzte_implementierung_mcu_sim]] * [[:lehre:abschlussarbeiten:brauer_statische_analyse_plcs]] * [[: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:diab_Ortungssystem|]] * {{df_AndRT_Thesis.pdf|Design and Integration of Real-Time into the Android Platform}} * [[:lehre:abschlussarbeiten:franke_mavcontrol]] * [[:lehre:abschlussarbeiten:franke_timedhierarchies]] * [[:lehre:abschlussarbeiten:as:ecmo_zeitsynchronisation]] * [[:lehre:abschlussarbeiten:franke_lebenszyklusMobilerAnwendungen]] * [[:lehre:abschlussarbeiten:franke_testinglifecycleimplementation]] * [[:lehre:abschlussarbeiten:franke_enav]] * Analyse von hardwarenahen C-Programmen mit Oktagonen ==== 2010 ==== * [[:lehre:abschlussarbeiten:as:dezentralessicherheitskonzeptecmo]] * [[:Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving]] * [[:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] * [[:lehre:abschlussarbeiten:transformation_abstrakter_verhaltensmodelle_von_regelstrecken]] * [[:lehre:abschlussarbeiten:verifikation_der_java_echtzeitfaehigkeit]] * [[:lehre:abschlussarbeiten:synthesizing_is_simulators_for_model_checking_es_software]] * [[:lehre:abschlussarbeiten:as:metrik_zur_bewertung_verschiedener_hardwareplattformen]] * [[:lehre:abschlussarbeiten:as:entwicklung_und_implementation_eines_can_protokolls]] * [[:lehre:abschlussarbeiten:untersuchung_variabilitaetsmanagement]] ==== 2009 ==== * [[:en:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] * [[:en:lehre:abschlussarbeiten:statische_analyse_mittels_sat_solving]] * [[:en:lehre:abschlussarbeiten:transformation_abstrakter_verhaltensmodelle_von_regelstrecken]] * [[en:lehre:abschlussarbeiten:synthesizing_is_simulators_for_model_checking_es_software]] * [[:en:lehre:abschlussarbeiten:untersuchung_variabilitaetsmanagement]] * [[:en:lehre:abschlussarbeiten:verifikation_der_java_echtzeitfaehigkeit]] * [[:en:lehre:abschlussarbeiten:entwicklung_und_implementation_eines_can_protokolls]] * [[:en:lehre:abschlussarbeiten:metrik_zur_bewertung_verschiedener_hardwareplattformen]] ==== 2007 & 2008 ==== * [[:en:lehre:abschlussarbeiten:einsatz_von_statischen_analysen_im_bereich_des_model-checking_von_software_fuer_eingebettete_systeme]] * [[:en:lehre:abschlussarbeiten:model_checking_von_abstract_state_machines]] * [[:en:lehre:abschlussarbeiten:parallelisierung_in_mcsquare]] * [[:en:lehre:abschlussarbeiten:anwendung_des_rasch_modells]] * [[:en:lehre:abschlussarbeiten:auswertung_temporaler_aenderung_von_quelltexten]] * [[:en:lehre:abschlussarbeiten:entwicklung_und_validierung_von_variablen]] * [[:en:lehre:abschlussarbeiten:entwurf_eines_interaktiven_websystems]] * [[:en:lehre:abschlussarbeiten:entwurf_und_entwicklung_einer_modularen_test_umgebung]] * [[:en:lehre:abschlussarbeiten:evaluation_einer_software_architektur_fur_rapid_control_prototyping]] * [[:en:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_fuer_den_infineon_xc167_mikcrocontroller]] * [[:en:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_um_benutzerdefinierte_umgebungen]] * [[:en:lehre:abschlussarbeiten:erweiterung_der_symbolischen_zustandsdarstellung_in_mc_square]] * [[:en:lehre:abschlussarbeiten:integration_von_hardware_fehler_toleranzmechanismen]] * [[:en:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] * [[:en:lehre:abschlussarbeiten:model_checking_von_sensornetzwerk-knoten_mit_hilfe_von_mc_square]] * [[:en:lehre:abschlussarbeiten:software_entwurfsmuster_in_der_funktionalen_sicherheit]] * [[:en:lehre:abschlussarbeiten:symbolisches_model-checking_mit_mc_square]] * [[:en:lehre:abschlussarbeiten:untersuchung_alternativer_hardware_architekturen]] * [[:en:lehre:abschlussarbeiten:untersuchung_einer_mcu_fpga_architektur]] * [[:en:lehre:abschlussarbeiten:untersuchung_eines_dual_core_mikrocontrollers]] * [[:en:lehre:abschlussarbeiten:visualisierung_von_quelltext_evolution]] * [[:en:lehre:abschlussarbeiten:zeilenbasierte_quelltextanalyse]] ==== 2006 ==== * [[:en:lehre:abschlussarbeiten:ein_ansatz_zum_model-checking_von_Software_fuer_eingebettete_systeme]] * [[:en:lehre:abschlussarbeiten:konzeption_und_implementierung_eines_fault_management_frameworks]] * [[:en:lehre:abschlussarbeiten:untersuchungen_zum_anwendungspotential_der_formalen_verifikation]] * [[:en:lehre:abschlussarbeiten:experiment_zur_anwendbarkeit_des_refactoring]] * [[:en:lehre:abschlussarbeiten:entwurf_und_realisierung_einer_drive_by_wire_architektur]] * [[:en:lehre:abschlussarbeiten:auswirkungen_des_refactoring]] * [[:en:lehre:abschlussarbeiten:konzeption_und_implementierung_eines_software_watchdogs]] * [[:en:lehre:abschlussarbeiten:entwurf_sicherheitskritischer_systeme_mit_entwurfsmustern]] * [[:en:lehre:abschlussarbeiten:analyse_alternative_hardware_architekturen]] * [[:en:lehre:abschlussarbeiten:entwurf_und_integration_eines_autonomen_parkassistenten]] * [[:en:lehre:abschlussarbeiten:komponentenmodell_fuer_eingebettete_systeme]] ==== 2004 & 2005 ==== * [[:en:lehre:abschlussarbeiten:model_checking_von_matlab_simulink_modellen]] * [[:en:lehre:abschlussarbeiten:werkzeug_zur_unterstuetzung_von_code_evolution]] * [[:en:lehre:abschlussarbeiten:werkzeug_zur_entwicklung_von_code_readability]] * [[:en:lehre:abschlussarbeiten:evaluation_eines_case_tools]] * [[:en:lehre:abschlussarbeiten:a_description_language_for_rich_component_models]] * [[:en:lehre:abschlussarbeiten:konzeption_und_umsetzung_eines_versuchsfahrzeugs]] * [[:en:lehre:abschlussarbeiten:sammlung_und_vergleich_von_designprinzipien]] * [[:en:lehre:abschlussarbeiten:auswahl_und_realisierung_einer_hw_sw_codesign_umgebung]] * [[:en:lehre:abschlussarbeiten:entwurf_und_realisierung_der_geschwindigkeitsmessung]] * [[:en:lehre:abschlussarbeiten:pld_programmierung]] * [[:en:lehre:abschlussarbeiten:untersuchungen_zur_verteilbarkeit_von_software_funktionen]]