In this paper we assume a control system be designe following the dataflow computational model. The dataflow network corresponding to the system design is the transformed into a network of synchronous processes to automatically analyse the semantic behaviour of the system design. We apply existing tools developed for process algebras based specification languages to test the design and to execute model checking of temporal logic formulae on the design. Sometimes, a complete validation of the design can be done by checking that the set of hazardous states of the control system is never reached.