Dependable System Design
As a computer scientist, I study the information processing
aspects of embedded systems. In the division Rail Systems of the
Institute for Transportations
Systems at the DLR, I am concerned with methods for designing
dependable rail systems.
A particular focus of my work are testing technologies and their
applications. The quality requirements of rail systems are regularly
rather high, and testing as a means for quality assurance plays an
important role in their development.
Safety-critical rail systems have to be developed according to strict
regulations. Mandatory rules and recommendations from the relevant
standards (CENELEC EN 50126 and EN 50128, for instance) lead to very
specific processes to be followed. As a consequence, methods and tools
from computer science which are in common use have to adapted for this
domain. The challenge is to find a good compromise between (absolute)
assurance and effort. And, of course, testing is employed in many
different ways and forms.
For more information, on my research and other topics, see the
pages accessible via the navigation bar on the left.