Presented is a system-level design framework for complex automotive ECU networks, particularly considering upcoming communication technologies like Ethernet AVB. A sound tool flow is achieved by coupling a state-of-the-art ESL framework with an established CASE-tool from the automotive domain. The design space exploration is hereby equipped with novel symbolic synthesis techniques as well as simulative (virtual prototyping) and analytical (Modular Performance Analysis) timing analysis approaches.