O desenvolvimento de sistemas de transporte aéreo urbano tem atraído o interesse de grandes empresas nos últimos anos. Um problema que surge do seu desenvolvimento é a necessidade de locais para pouso de emergência, que devem cumprir certas exigências de segurança. Neste contexto, propomos formulações de programação inteira para o problema de localização ótima de Pontos de Pouso de Emergência (Safety Landing Sites – SLSs). Foram desenvolvidos dois modelos para o problema. O primeiro modelo, baseado em recobrimento de conjuntos, considera que os locais candidatos são finitos e representados por pontos discretos, e é formulado como um problema de programação linear binária. O segundo modelo, trata do caso mais geral, no qual os SLS devem estar contidos em regiões convexas, sendo formulado como um problema de programação inteira mista com restrições cônicas de segunda ordem. Foi desenvolvido um algoritmo gerador de instâncias, as quais foram utilizadas nos experimentos numéricos que validam a aplicabilidade dos modelos. Por fim, introduzimos o strong fixing para os dois modelos, uma técnica que permite fixar o valor de variáveis, aprimorando a técnica clássica conhecida como reduced-cost fixing. O strong fixing demonstrou ser altamente eficaz na redução do tamanho de problemas inteiros nos nossos experimentos.