THE APPLICATION OF THE TIMED AUTOMATA FOR FLEXRAY START-UP TESTING
Jan Malinsky
Abstract:
This contribution deals with modelling of a selected part of the new automotive communication standard FlexRay. In particular, it focuses on the mechanizm ensuring start of a FlexRay network. The model has been created with the use of timed automata and verified. For this purpose the UPPAAL software tool has been used that allows modelling of discrete even systems with the use of timed automata and subsequently to verify the model with the use of suitable queries compiled in the temporal logic. This model can be used for searching incorrect settings of time parameters of nodes in the network that prevent network startup and subsequently the start of the car. The existence of this model also opens the way for finding possible errors and faults in the standard.
Exploring New Frontiers of Instrumentation and Methods for Electrical and Electronic Measurements
Title:
XVIth IMEKO TC4 International Symposium on Electrical Measurements and Instrumentation (together with 13th IMEKO TC4 Workshop on ADC Modelling and Testing)
