This paper proposes a Transient Stability Constrained Optimal Power Flow (TSCOPF) formulation that models non-synchronous renewable generation equipped with synthetic inertia. The proposed optimization problem calculates the optimal operating point of the system, accommodating high shares of non-synchronous renewable generation while ensuring transient stability in the event of critical incidents. Synthetic inertia controllers are used to improve the dynamic stability of the system in cases of very high share of renewable generation. The proposed tool is tested in the North-West Spanish system, a network with a high penetration of wind energy that causes a reduction in the total system inertia. The results of the study show that 1) synthe...