DocumentCode
3478256
Title
Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases
Author
Thiel, Sebastian ; Derichsweiler, Frank
Author_Institution
I/ET-84, AUDI AG, Ingolstadt, Germany
fYear
2011
fDate
18-22 July 2011
Firstpage
143
Lastpage
148
Abstract
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.
Keywords
Petri nets; automotive engineering; formal logic; formal verification; quality assurance; Audi; EXAM test automation system; Petri net; action logic; causal dependency verification; electronic car function; electronic control unit; hardware-in-the-loop system; test case quality assurance; Acceleration; Automation; Mathematical model; Software; Testing; Unified modeling language; Vehicles; Hil; Petri net; automotive; test automation; test case quality; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference Workshops (COMPSACW), 2011 IEEE 35th Annual
Conference_Location
Munich
Print_ISBN
978-1-4577-0980-7
Electronic_ISBN
978-0-7695-4459-5
Type
conf
DOI
10.1109/COMPSACW.2011.33
Filename
6032228
Link To Document