Conference Paper
Towards a safe future in an age of increasing complexity.
My research career is focused on advancing the domain of functional safety. During my Bachelor's and Master's studies, I employed formal verification and automation techniques to ensure the safety of complex, interdependent automotive systems. In the time since, I have pioneered several cutting-edge additions to safety-related embedded products and contributed extensively to various projects, standards, and guidelines.
As part of my doctorate I am developing a methodology to reuse existing software in safety-critical systems. The intention is to allow for increased cooperation across corporations by enabling the use of open-source software in systems that have high expectations on the development process and quality of documentation.
As part of my doctorate I am developing a methodology to reuse existing software in safety-critical systems. The intention is to allow for increased cooperation across corporations by enabling the use of open-source software in systems that have high expectations on the development process and quality of documentation.
- What is functional safety?
- The domain of security is well-known by now and focuses on protecting systems from malicious actors. In cyber-physical systems, any kind of system that can interact with its environment, the domain of functional safety is relevant as well.
There are a multitude of systems for which this is critical; driver assistance systems in cars, automated robotics in manufacturing plants, modern medical devices as well as all kinds of systems in the maritime, railway and aerospace domains. Malfunctions in these systems could lead to potentially catastrophic consequences. My research is focused on ensuring the safety of these systems using the application of appropriate processes, methodologies and technologies.
Publications
Full Report (Reviewer)
Safe Automated Driving: Requirements and Architectures
Position Paper
Qualification of Complex Pre-existing Software for Safety-critical Automotive Systems
Conference Paper
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations
Master's Thesis
Evaluation of a Toolchain for Model-based Development and Requirements-based Automatic Test Case Generation
Restriction note / not available
Research Track Thesis
Modelling and Formal Verification of Reactive Systems Using the Example of a Function in the Automotive Domain
Conference Paper
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
Bachelor's Thesis
Timed Automata-Based Verification of Consistency and Realizability of Real-Time Requirements Using the Example of Distributed Functions in the Automotive Domain
Presentations
Invited talks and conference presentations without peer-reviewed paper proceedings.
General Purpose FOSS in Safety-related Systems — Qualification & Integration Strategies
exida Automotive Symposium
Hardware, software and system architecture considerations for fail-operational applications
Safetronic, co-presented with Denis Bilstein, Infineon AG