Lehrstuhl Software Engineering: Dependability

Dipl.-Inform. Felix Möhrle

Position

Wissenschaftlicher Mitarbeiter am Lehrstuhl Software Engineering: Dependability

Anschrift

Dipl.-Inform. Felix Möhrle
Technische Universität Kaiserslautern
Gebäude 32, Raum 433
Postfach 3049
67653 Kaiserslautern
Deutschland

Tel: +49 (631) 205-3367

Fax: +49 (631) 205-3331

E-Mail: moehrle@cs.uni-kl.de

Forschung

Mein Forschungsschwerpunkt liegt auf der Automatisierung von Sicherheitsanalysen mit Fokus auf der weit verbreiteten Fehlerbaumanalyse (FTA). Um diese zu beschleunigen und u.a. Rapid Prototyping beim Entwurf sicherheitskritischer Systeme zu ermöglichen, soll ein Konzept für die automatisierte Komposition von Modellen auf Komponentenebene entstehen. Der ausgearbeitete Ansatz baut auf früheren Arbeiten des Lehrstuhls auf, insbesondere auf Komponentenfehlerbäumen (CFTs).

CFT Modelle werden für eine automatisierte Komposition mit einem Typsystem annotiert. Die Typ-Annotationen erweitern dabei die textuellen Beschreibungen in den Modellen durch semantische Informationen, die maschinell verarbeitet werden können. Dadurch soll der manuelle Prozess des Verbindens von Schnittstellenelementen in den Modellen teilweise automatisiert und der Analyseprozess beschleunigt werden.

Publikationen

  • C.H. Koo, N. Laxman and  F. Möhrle, “Runtime safety analysis for reconfigurable production systems”, in the 30th European Safety and Reliability Conference (ESREL). Research Publishing, Singapore , 2020.
2020
2017
  • F. Möhrle et al., "A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees", in Proc. of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications., Portorož, Slovenia: Taylor & Francis (CRC Press), 2017. [bibtex]
2017
  • F. Möhrle et al., "Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees", in Risk, Reliability and Safety: Innovating Theory and Practice: Proc. of ESREL., 2016, pp. 1380-1387. [bibtex]
2016
  • F. Möhrle et al., "Automated compositional safety analysis using component fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 152-159. [bibtex][doi]
2015
Zum Seitenanfang