Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems

One of the distinguished features of a time-triggered communication protocol is that activities in the system are triggered by the passage of time, and the system time schedule is deterministic. Motivated by this property of a time-triggered protocol, we propose the synchronous timed streams concept, which can be viewed as an extension of the timed streams concept in the FOCUS modeling language. We show how the synchronous timed streams concept can effectively capture the essential communication mechanism of the FlexRay communication protocol - a time-triggered communication protocol for automotive systems.