In order to control a dynamic gait of quadrupedal walking robot, the equations of motion of the whole mechanism are required. In this research, the equations of motion are formulated analytically using Kane's dynamic approach. As a dynamic gait model, a trot gait has been adopted. The degree of freedom of whole mechanism could be reduced to 7 by idealizing the kinematic feature of the trot gait. Using the equations of motion formulated, the results of the redundant-joint torque analysis and the simulation of dynamic walking motion are presented.