WillkommenTätigkeiten und|AktivitätenLebenslauf


Forschung, Entwicklung zur Automatisierung von Fehlerbaum- und Ausfalleffektanalysen, Model-based Reliability and Safety Engineering

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

  • 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

    		•