Contact

Julian Rhein
M.Sc.
E-mail:julian.rhein@tum.de

Research Interests

  • Model based safety analysis
  • Formal software verification

Teaching

Publications

M. Bachfischer, S. Hosseini, F. Sax, J. Rhein, F. Holzapfel, L. Maier, A. Barth, "Linear Model Identification for a Coaxial Rotorcraft in Hover", in AIAA SCITECH 2024 Forum. [doi]
H. Hofsäß, S. Hosseini, J. Rhein, F. Holzapfel, "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]
J. Rhein, V. Sinitsyn and F. Holzapfel, "A Holistic Approach to Model-Based Avionics Systems Development", in 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC). [doi]
J. Rhein, P. M. d. l. Camara Cruz, F. Pouzolz, F. Holzapfel, "Seamless Integration of Component Fault Trees with MathWorks System Composer and Simulink", in 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC). [doi]
D. Dollinger, J. Rhein, K. Schmiechen, F. Holzapfel, "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]
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]
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]
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.
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

A. Martinez Rafiq, "Automatic Driver Code Generation from Structured Interface Data", Thesis, Technische Universität München, Garching, 2023.
O. Balaska, "Modeling and Simulation of a DA42 Fly-by-Wire System Architecture", Thesis, Technische Universität München, Garching, 2023.
D. M. Chavada, "Design and Implementation of a GCS display for an Unmanned Helicopter", Thesis, Technische Universität München, Garching, 2022.
A. Chatterjee, "Development of Integrated Avionics Systems Simulations from dBricks", Thesis, Technische Universität München, Garching, 2022.
B. Steinle, "Automatic Analysis and Synthesis of Flight Control System Architectures Using Constraint Programming Techniques", Thesis, Technische Universität München, Garching, 2020.
D. von Mengden, "Methods and Processes for a Seamless Definition and Verification of Complex Aircraft Systems", Thesis, Technische Universität München, Garching, 2019.
M. Wechner, "PSSA of a Flight Control System for an eVTOL Vehicle and Simulation-Based Validation Methods", Thesis, Technische Universität München, Garching, 2019.
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.
T. Rupprecht, "Konzeptionelle Implementierung einer Monitoring Strategie für ein experimentelles Flugsteuerungssystem", Thesis, Technische Universität München, Garching, 2019.
M. M. Mansour, "Communication Architecture for Redundancy Management of a Flight Control System for a UAV", Thesis, Technische Universität München, Garching, 2019.
R. Fillbrandt, "Redundancy Management Implementation of a Flight Control System for an EVTOL Vehicle", Thesis, Technische Universität München, Garching, 2019.
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.
S. Hall, "Modellbasierte Sicherheitsanalyse von redundanten Systemarchitekturen von Flugregelungssystemen", Thesis, Technische Universität München, Garching, 2018.
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.