Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

Logo testmethods

Project Description

Integral safety functions provide a significant contribution to the protection of occupants and other road users by interconnecting active and passive safety and assistance systems. During the development of these complex, interrelated functions particular interest is taken into hedging against system failures and unwanted behavior. Malfunctions, e.g., an unwananted braking intervention at high speeds, can have a dramatic effect and therefore have to be appropriatly considered during the development, especially in the selection of test stations, system and functional requirements and for scheduling the test runs. However, ever shorter development cycles and increasing functional scopes increase the time pressure on all test stations. A development cycle involves modeling a system and specifying its test-model and generating code for its validation on both the development computer as well as on the target processor. The essential requirement to the validation is that it must be as realistic as possible, so that the system behavior can be examined in interaction with other control devices of a vehicle. For this purpose, a HiL simulator is used, which emulates the control units and the sensors and actuators of a vehicle, so that the validation can be carried out in a virtual environment. It is a framework be created, that verifies and validates test methods for complex vehicle safety systems in virtual environments.

Project Period

    2014-08-01 – 2017-08-01

Project Leader

Project Members

Involved institutions

Automotive Safety Technologies GmbH

Related Publications