Efficient verification of safety mechanisms through test automation
Safety mechanisms ensure the functional safety of vehicles in the event of software and hardware faults. To maintain a critical function or reach a safe state, they must first detect and then handle faults to control or prevent failures.
Currently, in the automotive sector, manually created hardware-in-the-loop (HiL) test suites are used in combination with fault injection to support the development and validation of safety-critical functions and their associated safety mechanisms. However, given the intricate interactions within complex cyber-physical systems such as software-defined vehicles, this current practice is reaching its limits.
The project TeFoSa (Testing for Safety) investigates an automated approach for generating fault injection test cases that systematically determines the performance limits of safety mechanisms on a specific hardware platform. On commission from TTTech Auto, methods for search-based testing are implemented and validated by means of real-world use cases.
Contracted by TTTech Auto.
01.01.2024 – 30.09.2024