Chair of software engineering: Dependability

Dipl.-Inform. Felix Möhrle

Role

Researcher at the Software Engineering: Dependability chair

Address

Dipl.-Inform. Felix Möhrle
TU Kaiserslautern
Building 32, Room 433
P.O. Box 3049
67653 Kaiserslautern
Germany

Tel: +49 (631) 205-3367

Fax: +49 (631) 205-3331

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

Research focus

My research focus is on the automation of safety analyses with a focus on the widely used fault tree analysis (FTA). To accelerate this and effectively enable rapid prototyping in the design of safety-critical systems, a concept for the automated composition of component-level models is to be developed. The elaborated approach builds on previous work of the chair, in particular on component fault trees (CFTs).

We propose annotating CFT models with a type system to enable their automated composition. The type annotations thereby extend the textual descriptions in the models with semantic information that can be processed by machine. In this way, the manual process of connecting interface elements in the models is to be partially automated.

Publications

  • 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