This paper proposes an effective method for modeling the stiffness of a redundant heavy-duty robot system, which considers joint and moving platform compliances. The method derives the relationship equations of the joints and end-effector deformation, establishes static equilibrium equations of the moving platform, and derives the whole stiffness model of the system. The simulations show the correctness of the model, which can be used for motion planning and optimization of machining operations.