WillkommenTätigkeiten und|AktivitätenLebenslauf



Forschung, Entwicklung zur Automatisierung von Fehlerbaum- und Ausfalleffektanalysen, Model-based Reliability and Safety Engineering; Model-based Safety and Reliability Engineering; Systems-of-systems; rekonfigurierebare Systeme; AI in embedded Anwendungen

Seminare, Unterstützung und Beratung bezüglich Sicherheit und Zuverlässigkeit von technischen Systemen und Anlagen insbesondere im Bahn-, Automatisierungs- und Automobilbereich.

  • Sicherheit von AI-basierten Systemen
  • Model-based Safety and Reliability Engineering
  • Sicherheit und Zuverlässigkeit hochautomatisierter Systeme
  • Software in sicherheitsrelevanten Systemen
  • Entwurfsprinzipien sicherer und zuverlässiger Steuerungssysteme
  • Gefahren- und Risikoanalysen
  • Ausfallsicherheit
  • Korrektheit
  • Formale Methoden zur Spezifikation und Verifikation von Systemen (u.a. Model Checking, Z)
  • Fehlerbaumanalyse
  • Test eingebetteter Software
  • FME(C)A, FMEDA
  • Markov-Analysen