Exact response time of FlexRay communication protocol

A method for determining worst-case response-time properties of the FlexRay protocol frames is proposed by Pop et al. in 2008, where the determination of the worst-case response time of frames transmitted in the dynamic segment is formulated as iterative sequences of an Integer Linear Programming (ILP) problems. In this paper, we show that the analysis method of Pop et al. provides pessimistic results of the worst-case response time of frames transmitted in the dynamic segment. Then, we propose a new ILP formulation that computes the exact value of the worst-case response time of FlexRay frames transmitted in the dynamic segment. Further our approach is non-iterative requiring a solving of a single ILP for computing respectively the number of cycles a frame is delayed access to the bus and the delay spent in the unfilled cycle before the transmission of the frame starts.