Über mich

Tätigkeiten

Forschung, Entwicklung zur Automatisierung von Fehlerbaum- und Ausfalleffektanalysen, Model-based Reliability and Safety Engineering; Systems-of-systems; rekonfigurierbare 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.

Themen

• 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

Studium

Oktober 1985 – Januar 1991
Studium der Elektrotechnik an der Ruhr-Universität Bochum

Schwerpunkte:

• Softwaretechnik
• Elektronische Schaltungs- und Messtechnik

Studienarbeit + Diplomarbeit: Entwicklung eines Modula-2-Testrahmengenerators

Abschluss: Diplom-Ingenieur (Januar 1991)

Beruflicher Werdegang

2012 bis heute: Head of Research Group Dependability Analysis & Management (12 Mitarbeiter)

2010 – 2012: Program Mangager RAMS Analysis and Management (15 Mitarbeiter)

2006 – 2010: Leiter des Safety Program (8 Mitarbeiter)

2001 – 2006 Principal Engineer (Safety), Siemens AG, Corporate Technology, München

Oktober 1996 – 2001: Projektleiter: Forschung, Entwicklung und Beratung im Bereich Risikoanalyse

2003: Gast-Dozent am Hasso-Plattner-Institut, Potsdam

seit 1995 Seminarleiter (sicherheitsrelevante Steuerungssysteme): Januar – Februar 1991
Softwareentwickler (Zweigabdeckungstest-Tool); Ruhr-Universität Bochum, Lehrstuhl für Software-Technik

Mai 1988 – September 1990: Softwareentwickler (Verwaltung von Studentendaten)
Ruhr-Universität Bochum, Prüfungsamt Maschinenbau

Veröffentlichungen

1. Rothfelder M. Sichere Verarbeitung auf einem Chip: Eine neue Technik zur wirtschaftlichen Realisierung, Sicherheitsgerichtete Systeme 2009, Stuttgart
2. Muthig D., Rothfelder M. Standardisierung von Produkten und Funktionaler Sicherheit, Safetronic 2008
3. Rothfelder M. Einsatz von COTS Software und Hardware in sicherheitsgerichteten Anwendungen, Safetronic 2007
4. Rothbauer S., Rothfelder M. Ermittlung der Safe Failure Fraction und Diagnostic Coverage mittels FMEDA – Erfahrungen in ungterschiedlichen Anwendungen, Safetronic 2006
5. Liggesmeyer P., Rothfelder M., Rettelbach M., Ackermann T. Qualitätssicherung Software-basierter technischer Systeme – Problembereiche und Lösungsansätze Informatik Spektrum 21(5): 249-258 (1998)
6. Rothfelder M. Standards für die Prüfung technischer Systeme in Softwaretechnik-Trends, Band 17, Heft 2, S. 24-25
7. Liggesmeyer P., Rothfelder M. Automatisierung von Zuverlässigkeits- und Sicherheitsanalysen auf Basis formaler Systemmodelle Softwaretechnik-Trends , Band 18, Heft 2, S. 4-22 (1998)
8. Rothfelder M. Anforderungen anwendbarer Normen für den Test sicherheitskritischer Software in der Bahntechnik (Stand der Normung und weiterer Ausblick) Softwaretechnik-Trends, Band 15, Heft 4, S. 6-21 (1995)
9. Liggesmeyer P., Rothfelder M. Automating Reliability and Safety Analysis Based on Formal System Models Proceedings International Conference and Workshop: Engineering of Computer Based Systems (ECBS), Jerusalem, March/April 1998, pp. 264-271
10. Liggesmeyer P., Rothfelder M. System Safety Improvement by Automated Software Robustness Evaluation in: Proceedings 15th International Conference on Testing Computer Software, Washington, D.C., June 1998, pp. 71-77
11. Liggesmeyer P., Rothfelder M. Improving System Reliability with Automatic Fault Tree Generation in: Proceedings 28th Annual Fault Tolerant Computing Symposium (FTCS), Munich, June 1998, pp. 90-99
12. Liggesmeyer P., Rothfelder M. Going beyond Correctness: Improving Software Robustness in: Proceedings 11th International Software Quality Week, San Francisco, May 1998
13. Liggesmeyer P., Rothfelder M. Towards Automated Proof of Fail-safe Behavior in: Proceedings Safecomp 98, The 17th International Conference on Computer Safety, Reliability and Security, Heidelberg, October 1998, pp. 169-184
14. Rothfelder M., Mutone G.A SAFECOMP 1993, Posen, PolenThe Fast Cost-Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application
15. Rothfelder M. Abgestufter Analyse- und Verifikationsmethodeneinsatz mit Malpas – Anmerkungen und Erfahrungen zu Methoden und Voraussetzungen Softwaretechnik-Trends Mai 1993, Gesellschaft für Informatik

Sprachen

• Deutsch (Muttersprache)
• Englisch (verhandlungssicher)
• Französisch (Anfänger)