I want to do dynamical modelling of a spherical robot and simulate it. How do I go about it? what software/libraries do I use?

How do I model it? I will be using dynamixel AX-12A inside it for forward and rear motion. For turning, I will use a pendulum actuated with a servo motor/