
|
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 EngineeringSicherheit 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)AFMEDA Markov-Analysen
|
|