Leitung der MBSE ?Application and Deployment Cluster? auf Europäischer Ebene
Leitung des ?Central
Modeling Service? (CMS) für die DB Netz und auf Europäischer Ebene
Beitrag zum Modellierungsrahmen in der technischen Arbeit Paket des Shift2Rail-Projekts - ?Formale Methoden und Standardisierung DLST?
Definition und Beschreibung der Methoden zur erfolgreichen Implementierung MBSE-Aktivitäten für Eisenbahnverriegelungs- und Zugbeeinflussungssysteme
Nachweis und Dokumentation der formalen Spezifikation und Überprüfung der sicherheitskritischen Eigenschaften in der DLST
Forschungsaktivitäten mit
?Hardware in the loop? (HIL) Entwicklungen mit PTC Windchill modeler and PTC
ThingworX
Lead IT System Engineer
Unterstützung bei der Konzeptionierung von Forschung- und Entwicklungsprojekten bei der DB Netz
Entwicklung von Systemlösungen und Schnittstellen für die Digitale Leit- und Sicherungstechnik (DLST)
Unterstützung bei der Konzeption der Systemarchitektur für DSTW
Projekt-, Engineering- und Begleitung von Transformationsprozessen
Qualifizierungsmaßnahmen im Kontext der digitalen LST
Experte bei der Anwendung der verschiedensten Werkzeugketten:
System Analyse: Capella Software mit ARCADIA Methodik
System Spezifikation: PTC Windchill Modeler (SysML)
o
Formale Spezifikation und Überprüfung: Event-B, mCRL2
Model Bases System Engineering (MBSE)
Modellierungssprachen: SysML, ?.
Programmierungssprachen:
Testmanagement, Testautomatisierung und Entwicklung von Testwerkzeugen, Testanalyse, Testdesign und Testdurchführung, Anforderungsmanagement, Systemanalyse und Systemdesign
?Hardware in the loop? (HIL) Entwicklungen mit PTC integrity modeler
Schnittstellenentwicklung für die digitale Leit- und Sicherungstechnik (DLST), ETCS, EULYNX
Erfahrungen bei Entwicklungsschritten mit einer harmonisierten Architektur in allen Phasen der Systemlebenszyklus-Ebenen (CENELEC-Norm EN50126 - EN50129) und Erfahrung im Umgang mit Anforderungen und Spezifikationen
Langjährige Erfahrung im Agilen Projektmanagement mit Zeit- & Risiko-Management, Kommunikation und Präsentation, Unterstützung in den Teilprojekten oder Europäischen Großprojekten mit Agile Vorgehensmodelle: SCRUM, KANBAN
IT-Systemlösungen und Simulationen für Infrastrukturbetreiber mit Systemarchitektur DLST
Formelle Methoden und Standardisierungen für die LST / DLST
Leitung der MBSE ?Application and Deployment Cluster? auf Europäischer Ebene
Leitung des ?Central
Modeling Service? (CMS) für die DB Netz und auf Europäischer Ebene
Beitrag zum Modellierungsrahmen in der technischen Arbeit Paket des Shift2Rail-Projekts - ?Formale Methoden und Standardisierung DLST?
Definition und Beschreibung der Methoden zur erfolgreichen Implementierung MBSE-Aktivitäten für Eisenbahnverriegelungs- und Zugbeeinflussungssysteme
Nachweis und Dokumentation der formalen Spezifikation und Überprüfung der sicherheitskritischen Eigenschaften in der DLST
Forschungsaktivitäten mit
?Hardware in the loop? (HIL) Entwicklungen mit PTC Windchill modeler and PTC
ThingworX
Lead IT System Engineer
Unterstützung bei der Konzeptionierung von Forschung- und Entwicklungsprojekten bei der DB Netz
Entwicklung von Systemlösungen und Schnittstellen für die Digitale Leit- und Sicherungstechnik (DLST)
Unterstützung bei der Konzeption der Systemarchitektur für DSTW
Projekt-, Engineering- und Begleitung von Transformationsprozessen
Qualifizierungsmaßnahmen im Kontext der digitalen LST
Experte bei der Anwendung der verschiedensten Werkzeugketten:
System Analyse: Capella Software mit ARCADIA Methodik
System Spezifikation: PTC Windchill Modeler (SysML)
o
Formale Spezifikation und Überprüfung: Event-B, mCRL2
Model Bases System Engineering (MBSE)
Modellierungssprachen: SysML, ?.
Programmierungssprachen:
Testmanagement, Testautomatisierung und Entwicklung von Testwerkzeugen, Testanalyse, Testdesign und Testdurchführung, Anforderungsmanagement, Systemanalyse und Systemdesign
?Hardware in the loop? (HIL) Entwicklungen mit PTC integrity modeler
Schnittstellenentwicklung für die digitale Leit- und Sicherungstechnik (DLST), ETCS, EULYNX
Erfahrungen bei Entwicklungsschritten mit einer harmonisierten Architektur in allen Phasen der Systemlebenszyklus-Ebenen (CENELEC-Norm EN50126 - EN50129) und Erfahrung im Umgang mit Anforderungen und Spezifikationen
Langjährige Erfahrung im Agilen Projektmanagement mit Zeit- & Risiko-Management, Kommunikation und Präsentation, Unterstützung in den Teilprojekten oder Europäischen Großprojekten mit Agile Vorgehensmodelle: SCRUM, KANBAN
IT-Systemlösungen und Simulationen für Infrastrukturbetreiber mit Systemarchitektur DLST
Formelle Methoden und Standardisierungen für die LST / DLST