To tackle the problem of attitude synchronization control of satellite formation under angular velocity constraint, a comprehensive design strategy of additional system dynamic-attitude synchronization controller was proposed. Firstly, considering the influence of angular velocity constraint, a spacecraft formation model was established. Then, an attitude tracking error equation was established. The angular velocity constraint was converted into angular velocity tracking error constraint, and a new finite-time additional system dynamic was designed to ensure that the attitude change met the constraint requirements. Next, based on the state of the additional system, an attitude synchronization controller was designed to realize the finite-time attitude synchronization of satellite formation. Finally, a distributed real-time simulation verification platform was built. The main control unit extracted real-time data from the simulation unit to draw a simulation curve, and sent the data to the visual unit for scene driving. Through the comparative analysis of the real-time simulation curve and the offline simulation results, as well as the three-dimensional visualization demonstration of the formation control process, the reliability verification of the control algorithm in real-time environment was realized.