This paper gives an overview about a model-based design flow for FlexRay based time-triggered control systems in Matlab/Simulink as it was used in an evaluation project at FORD motor company. First a system model is developed as the basis for the following description of a design flow and validation...