Contact
Julian Rhein M.Sc. | |
Institute of Flight System Dynamics Technische Universität München Boltzmannstr. 15 85748 Garching bei München Germany | |
Room: | MW3626 (floor plan) |
Phone: | +49 89 289 16051 |
Fax: | +49 89 289 16058 |
E-mail: | julian.rhein@tum.de |
Research Interests
- Model based safety analysis
- Formal software verification
Teaching
- Safety and Certification of Avionics and Flight Control Systems
- MATLAB / Simulink for Computer Aided Engineering
Publications
A Holistic Approach to Model-Based Avionics Systems Development", in 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC). [doi] | , "|
Seamless Integration of Component Fault Trees with MathWorks System Composer and Simulink", in 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC). [doi] | , "|
Be Lean --- How to Fit a Model-Based System Architecture Development Process Based on ARP4754 Into an Agile Environment", in 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC). [doi] | , "|
Traceable and Model-Based Requirements Derivation, Simulation, and Validation Using MATLAB Simulink and Polarion Requirements", in AIAA Scitech 2019 Forum. [doi] | , "|
Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques", CEAS Aeronautical Journal, 2019. [doi] | , "|
Timely Flare Initiation during Automatic Landing - A Model Checking Application Example", in AIAA Scitech 2019 Forum. | , "|
The qSafe Project -- Developing a Tool for Current Practice in Functional Safety Analysis", in 28th International Workshop on Principles of Diagnosis (DX'17), pp. 297-312. [doi] | , "|
On the Design and Model-Based Validation of Flight Control System Automation for an Unmanned Coaxial Helicopter", in Software Engineering 2023 Workshops, Groher, Iris, Vogel, Thomas, Eds., Bonn: Gesellschaft für Informatik e.V., pp. 150-168. [doi] | , "
Supervised Student Theses
Automatic Analysis and Synthesis of Flight Control System Architectures Using Constraint Programming Techniques", Thesis, Technische Universität München, Garching, 2020. | , "|
Methods and Processes for a Seamless Definition and Verification of Complex Aircraft Systems", Thesis, Technische Universität München, Garching, 2019. | , "|
PSSA of a Flight Control System for an eVTOL Vehicle and Simulation-Based Validation Methods", Thesis, Technische Universität München, Garching, 2019. | , "|
Implementation of Monte Carlo Methods for a MBSA Tool and Application to a Flight Control System for an EVTOL Vehicle", Thesis, Technische Universität München, Garching, 2019. | , "|
Konzeptionelle Implementierung einer Monitoring Strategie für ein experimentelles Flugsteuerungssystem", Thesis, Technische Universität München, Garching, 2019. | , "|
Communication Architecture for Redundancy Management of a Flight Control System for a UAV", Thesis, Technische Universität München, Garching, 2019. | , "|
Redundancy Management Implementation of a Flight Control System for an EVTOL Vehicle", Thesis, Technische Universität München, Garching, 2019. | , "|
Establishing a Method to Enable Modelling and Simulation of Functional System Architectures for Hazard Identification", Thesis, Technische Universität München, Garching, 2018. | , "|
Modellbasierte Sicherheitsanalyse von redundanten Systemarchitekturen von Flugregelungssystemen", Thesis, Technische Universität München, Garching, 2018. | , "|
A Model-Based Safety Analysis of a Commercial VTOL-UAV and Mitigation of Identified Risks", Thesis, Technische Universität München, Garching, 2017. | , "