Abstract
The realizability condition has been applied to modern turbulence models, Simulations are performed to compare ${\kappa}-{\omega}$ turbulence models imposing the realizability condition. An improvement to the ${\kappa}-{\varepsilon}$ turbulence model is also presented and shown to lead to better agreement with data for supersonic base flows. The improvement is achieved by imposing a grid-independent realizability constraint in the Launder-Sharma ${\kappa}-{\varepsilon}$ model. Numerical results for several test problems show a critical role of the realizability constraint in the prediction of separated flows.