Resumen de Estrutura conceitual para verificação automatizada de requisitos em projetos aeroportuários no Brasil
Ítalo Guedes, Max Andrade, Adriana Rolim, Emmanoel Neri, Mariana Cavalcanti, Rafaela Gabrielle
Projetos Aeroportuários (PA) por sua natureza são complexos em função de uma série de exigências e requisitos normativos a serem atendidos. O transporte aéreo no Brasil, tendo em vista suas dimensões continentais, desempenha uma função estratégica no que diz respeito ao desenvolvimento econômico do país. Atualmente o processo de avaliação e aprovação dos PA públicos no Brasil é realizado pela Secretaria Nacional de Aviação Civil e Empresa Pública Brasileira de Infraestrutura Aeroportuária. O processo atual de avaliação e aprovação de PA é realizado de ma‑neira analógica. As representações gráficas de projetos são concebidas com base em desenhos 2D desenvolvidos em CAD. Tais processos tendem a ter duração prolongada de avaliação para aprovação. Em alguns casos perdurando meses e até anos, considerando todo o processo de revisão e correção. Em resposta a esse problema, este artigo apresenta os resultados de uma pesquisa de mestrado que propõe o uso de uma Estrutura Conceitual (EC) para verificação automatizada de requisitos de PA com base na abordagem metodológica do Design Science Research (DSR). Por meio da codificação de um conjunto de regras transcritas do Regulamento Brasileiro de Aviação Civil (RBAC nº154), com base na EC, foi possível realizar a avaliação de um projeto aeroportuário usando a plataforma BIM de avaliação Solibri Model Checker. Os resultados apresentados neste artigo demostram que o uso da EC facilita o entendimento do problema, permitindo estabelecer um recorte preciso para a Verificação Automatizada de Requisitos (Code Checking e Validation) que melhor expresse o problema recorrente nas avaliações de PA.
