The objective of this paper is to propose PLC (Programmable logic controller) code logic model validation and verification based on the FSA model simulation. Nowadays, many industries have already used PLC based automatic facilities for factory automation.
However, real field of plc logic is possible to do programming after hardware construction. It is also modified during the real field operation because of plc logic error. It could lead to controversy low quality product and error cost. In this paper, we approached PLC logic validation and verification using S/W PLC and FSA model. It used to design and simulate behavior of hardware facilities. We simulated several type of automated machine, robot in the factory. We found that most of simulations are satisfied. It could use real field of factory modeling when we develop digital manufacturing system or factory.