Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases

The amount of electronic car functions increased rapidly in the last decade. Audi uses Hardware-in- the-Loop systems in combination with the model based test automation system EXAM for safeguarding of the electronic functions. The complexity of the test cases is comparable to real software programs. Therefore, a quality assurance for the test cases is necessary. A verification approach based on an action logic and Petri nets is presented to verify the causal ordering of the test steps.