Formal Design Process for FlexRay-Based Control Systems with Network Parameter Optimization

FlexRay is a deterministic and fault-tolerant in-vehicle network(IVN) protocol. It is expected to become a practical standard for automotive communication systems. According to the FlexRay protocol specifications, there are about 60 configurable parameters which should be determined in the design phases. The parameters increase the complexities of FlexRay-based control system development. In this study, we are suggesting a formal design process for FlexRay-based control systems, which is focused on network parameter optimization. We introduce design phases from functional system models to implementations. These phases present formal ways for task allocation, node assignment, network configuration, and implementations. In the network configuration phase, two FlexRay core parameters are selected to optimize network design. Optimal methods of the core parameters provide concise guide lines for optimal communication cycle length and optimal static slot length. For the purpose of feasibility test, we have applied the proposed design process to an electronic stability control (ESC) system.