Upon request by our industrial partners, we develop methods and tools used throughout the process of system development in order to ensure a high and verifiable level of reliability. We also incorporate these services into cooperative projects, and have many years of experience in precisely this area in the context of national and European research programs.

Testing of safety-critical systems amounts to up to 70 per cent of their total development costs. A key issue here is the selection of test cases, with respect to both coverage (completeness) and efficiency. For simple applications with a few input parameters, exhaustive combination of input values may yield the required coverage across an acceptable amount of test cases. For autonomous systems with complex behaviour and high-dimensional sensors such as cameras, however, this approach is unsuitable. Our focus, therefore, lies on model-based test-case generation. We exploit the benefits of formal methods and use tools and automation in order to make testing of real-world systems more meaningful, while drastically reducing the associated costs. The development and effort of model-based (security)analysis methods depict another ambition for an early recognition of potential design errors.

Below you can find a selection of methods and tools that have emerged or are currently being developed within various research projects: