Ensuring end-to-end quality of service (QoS) for high-value services in satellite networks is challenging due to dynamic network topologies

varying QoS requirements

and the complex resource allocation across satellite beams and inter-satellite links. To this end

we propose a satellite traffic engineering framework with deterministic QoS (SatTED) by jointly optimizing resource allocation across access and bearer subnets.To tackle the complexity of joint scheduling

SatTED adopts a hierarchical logic-based benders decomposition (LBBD) architecture that coordinates access and bearer subnet resources. The master problem optimizes service admission and satellite selection via binary integer programming

while the subproblem handles routing and bandwidth allocation through linear programming relaxation. Key innovat-ions include scenario-cognizant Benders feasibility cuts to accelerate convergence and a critical constraint link preprocessing (CCLP) mechanism that reduces subproblem complexity by 5.15× in large-scale networks. In simulations on a 220-satellite network with 1 000 flows

SatTED improves total service payoff by 32% and increases high-value flow completion rates by 22%.