On the Software-Based Development and Verification of Automotive Control Systems

This paper presents an efficient approach for design and verification of the automotive control system using FlexRay communication protocol. The proposed architecture of verification components is established by the individual software component integration that can be applied to the verification of systems integrating different automotive control networks. Based on this methodology, a complete established testing flow of FlexRay communication protocol is simple to be verified. In addition, the deterministic response time of messages is also determined via calculating the time instant of control signals. The developed testing architectures could help us handle the complexity of integrated systems and accelerate the evolution of the automotive control systems.