In case of the structuring of complex and comprehensive networks on the basis of the deterministic FlexRay bus in the vehicle it is necessary to comprehensively check both the logical characteristics ...