Abstract.

Auto-makers can only remain competitive by producing high quality vechicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and tintroduced verification procedure using PLC Studio. Finally, we can prove the availabiity for the PLC vericaiton