TeFoSa

TeFoSa

Efficient verification of safety mechanisms through test automation

TeFoSa

In the light of the increasing complexity of automotive architectures, manually generated hardware-in-the-loop (HiL) tests are increasingly unable to identify potentially safety-critical edge cases. To support the development and validation of such systems, fortiss develops and evaluates an automated approach for systematic test case generation based on fault models.

Project description

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.

Research contribution

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.

Funding

Contracted by TTTech Auto.

Project duration

01.01.2024 – 30.09.2024

 Tiziano Munaro

Your contact

Tiziano Munaro

+49 89 3603522 165
munaro@fortiss.org

Project partner