Contact

Julian Rhein
M.Sc.
Institute of Flight System Dynamics
Technische Universität München
Boltzmannstr. 15
85748 Garching bei München
Germany
Room:MW3601 (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

Publications

[4] K. Schmiechen, M. Hochstrasser, J. Rhein, C. Schropp, F. Holzapfel, "Traceable and Model-Based Requirements Derivation, Simulation, and Validation Using MATLAB Simulink and Polarion Requirements", in AIAA Scitech 2019 Forum. [doi]
[3] M. E. Kügler, J. Rhein and F. Holzapfel, "Timely Flare Initiation during Automatic Landing - A Model Checking Application Example​", in AIAA Scitech 2019 Forum.
[2] M. E. Kügler, J. Rhein and F. Holzapfel, "Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques​", CEAS Aeronautical Journal, 2019. [doi]
[1] F. Grigoleit, S. Holei, A. Pleuß, R. Reiser, J. Rhein, P. Struss, J. K. von Wedel, "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]

Supervised Student Theses

[6] D. von Mengden, "Methods and Processes for a Seamless Definition and Verification of Complex Aircraft Systems", Thesis, Technische Universität München, Garching, 2019.
[5] N. Skuppin, "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.
[4] R. Fillbrandt, "Redundancy Management Implementation of a Flight Control System for an EVTOL Vehicle​", Thesis, Technische Universität München, Garching, 2019.
[3] F. Keller, "Establishing a Method to Enable Modelling and Simulation of Functional System Architectures for Hazard Identification", Thesis, Technische Universität München, Garching, 2018.
[2] S. Hall, "Modellbasierte Sicherheitsanalyse von redundanten Systemarchitekturen von Flugregelungssystemen​", Thesis, Technische Universität München, Garching, 2018.
[1] M. Ortlieb, "A Model-Based Safety Analysis of a Commercial VTOL-UAV and Mitigation of Identified Risks", Thesis, Technische Universität München, Garching, 2017.