A novel scheme for modeling and analyzing of FlexRay communication systems

The activities of triggering by the arrival of time are one of features for the time-triggered automotive control systems. To motivate this property, this paper presents an efficient approach for modeling and analyzing of the automotive control system using FOCUS schemes. In case of modeling, the FOCUS is used to develop a formal framework and model the individual component within the FlexRay communication protocol. Based on FOCUS, a complete established testing flow of FlexRay communication protocol is simple to be verified. In addition, the deterministic response time of messages is also analyzed via calculating the time instant of control signals using this modeling language.