The Verification Challenge in a FlexRay system A FlexRay network (cluster) consists of FlexRay nodes which exchange data (traffic) over at most two FlexRay channels. Figure 1 shows the general ...