Ibrahim Alagöz

Dr.-Ing. Ibrahim Alagöz

External PhD Candidate

Department of Computer Science
Chair of Computer Science 7 (Computer Networks and Communication Systems)

Martensstr. 3
91058 Erlangen

More Information




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

    (Third Party Funds Single)

    Term: 2014-08-01 - 2017-08-01
    Funding source: Industrie
    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.