Konferenzbeitrag
Für eine sichere Zukunft in einer zunehmend komplexen Welt.
Mein professioneller Werdegang ist fokussiert auf das Gebiet der funktionalen Sicherheit. Während meines Bachelor- und Masterstudiums habe ich formale Verifikation und Automatisierungsmethoden eingesetzt, um die Sicherheit komplexer Fahrzeugsysteme zu gewährleisten. Seither habe ich den Weg für diverse führende Neuerungen in Produkten für eingebettete Systeme bereitet und ausgiebig zu verschiedensten Projekten, Standards und Leitfäden beigetragen.
Im Rahmen meiner Dissertation entwickle ich eine Methodik, um vorhandene Software in sicherheitskritischen Systemen wiederzuverwenden. Ziel ist es, die Verwendung von Open-Source-Software in Systemen zu ermöglichen, die hohe Erwartungen an den Entwicklungsprozess und die Qualität der Dokumentation stellen und dadurch die konzernübergreifende Zusammenarbeit zu stärken.
Im Rahmen meiner Dissertation entwickle ich eine Methodik, um vorhandene Software in sicherheitskritischen Systemen wiederzuverwenden. Ziel ist es, die Verwendung von Open-Source-Software in Systemen zu ermöglichen, die hohe Erwartungen an den Entwicklungsprozess und die Qualität der Dokumentation stellen und dadurch die konzernübergreifende Zusammenarbeit zu stärken.
- Was ist funktionale Sicherheit?
- Das Gebiet der Sicherheit im Sinne von Security ist mittlerweile bekannt und konzentriert sich auf den Schutz von Systemen vor Angreifern. In cyber-physischen Systemen, jeder Art von System, das mit seiner Umgebung interagieren kann, ist auch das Gebiet der funktionalen Sicherheit relevant.
Es gibt eine Vielzahl von Systemen, für die dies unabdingbar ist ist; Fahrassistenzsysteme in Autos, automatisierte Robotik in Produktionsstätten, moderne medizinische Geräte sowie alle Arten von Systemen im maritimen, Eisenbahn- und Luftfahrt- und Weltraumsektor. Fehlverhalten in diesen Systemen könnte zu potenziell katastrophalen Folgen führen. Meine Forschung konzentriert sich darauf, die Sicherheit dieser Systeme durch die Anwendung geeigneter Prozesse, Methoden und Technologien zu gewährleisten.
Publikationen
Artikel (Reviewer)
Safe Automated Driving: Requirements and Architectures
Positionspapier
Qualification of Complex Pre-existing Software for Safety-critical Automotive Systems
Konferenzbeitrag
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations
Masterarbeit
Evaluation of a Toolchain for Model-based Development and Requirements-based Automatic Test Case Generation
Sperrvermerk / nicht verfügbar
Zusätzliche Studienarbeit
Modelling and Formal Verification of Reactive Systems Using the Example of a Function in the Automotive Domain
Konferenzbeitrag
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
Bachelorarbeit
Timed Automata-Based Verification of Consistency and Realizability of Real-Time Requirements Using the Example of Distributed Functions in the Automotive Domain
Präsentationen
Eingeladene Vorträge und Konferenzpräsentationen ohne peer-reviewte Veröffentlichungen.
General Purpose FOSS in Safety-related Systems — Qualification & Integration Strategies
exida Automotive Symposium
Hardware, software and system architecture considerations for fail-operational applications
Safetronic, zusammen präsentiert mit Denis Bilstein, Infineon AG