
|
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
- Formale Methoden zur Spezifikation und Verifikation von Systemen (u.a. Model Checking, Z)
- Test eingebetteter Software
|
|