---

A seguran‡a do espa‡o aéreo pode aumentar consideravelmente sob um novo paradigma no qual a tarefa de manter distância entre as aeronaves é delegada aos pilotos, que contarÆo com o Sistema de Assistência de Separa‡Æo Aerotransportado (ASAS) como recurso que os informará sobre os riscos do tráfego circundante com até 15 minutos de antecedência, sem necessitar de auxílio dos controladores de tráfego aéreo. Esta antecedência é muito maior que a do atual sistema anti-colisÆo (TCAS), que é de menos de 1 minuto. O novo sistema funcionará em conjunto com o TCAS, proporcionando redundância, ou seja: se o TCAS falhar, o ASAS ainda pode emitir um alerta ou vice-versa. Este livro aborda a aplica‡Æo do ASAS para aumentar a precisÆo do espa‡amento entre aeronaves que chegam sequencialmente a um determinado aeroporto, aumentando, por consequência, sua capacidade. A modelagem presente utiliza um formalismo matemático denominado "Rede de Petri Estocástica e Dinamicamente Colorida", com a obten‡Æo de dados quantitativos sobre o risco de acidente. Esses dados indicam que o risco de acidente é significativamente menor com o uso do ASAS que sem o uso do mesmo.

---

Ötalo Romani é Pesquisador e engenheiro de software, especializado em aplica‡äes da avia‡Æo. Possui os títulos de Bacharel em Ciência da Computa‡Æo, Mestre e Doutor em Engenharia de Computa‡Æo pela Universidade de SÆo Paulo. Atualmente trabalha para a Boeing no desenvolvimento de sistemas para aumento da eficiência operacional do transporte aéreo.

---