Departure sequencing is an effective means to expedite terminal air traffic flow, improve departure punctuality and alleviate controllers′workload. The framework for dynamic sequencing is built based on receding horizon control (RHC) strategy. And through the branch and bound algorithm, target takeoff time (TTOT) is optimized within the sequencing window. Furthermore, target startup approval time (TSAT) is obtained depending on the amendment of taxi-out time so as to provide the decision support for tower controller. Taking ZSPD airport as an example for simulation, the result indicates that the proposed algorithm can realize decision support for controllers (providing TTOT & TSAT), enhance the runway departure capacity, and reduce the departure delay.