Táticas de modelagem e verificação formal para sistemas de tráfego aéreo

Rafael Leme Costa; Fabio Seiti Aguchiku; Newton Maruyama

Anais do SITRAER · XVII SITRAER 2018

Anais do SITRAER – XVII SITRAER (2018)

Táticas de modelagem e verificação formal para sistemas de tráfego aéreo

Rafael Leme Costa
Fabio Seiti Aguchiku
Newton Maruyama

Atech Negócios em Tecnologia S/A · Dept. de Engenharia Mecatrônica e Sistemas Mecânicos – Escola Politécnica da

Baixar PDF

Evento: XVII SITRAER – São Paulo, SP, Brasil, 22 a 24 de outubro de 2018
Volume: Proceedings of XVII SITRAER – Air Transportation Symposium · ISSN 2448-1912
Páginas: 540–547
Editora: Universidade de São Paulo, Escola Politécnica (POLI-USP)
Editores: João Batista Camargo Júnior

Resumo

Recentemente, houve um aumento significativo no tráfego aéreo, o que demanda uma modernização dos sistemas atuais, muito dependentes do controlador de voo. O objetivo deste trabalho é estabelecer um conjunto de táticas de modelagem e verificação formal para sistemas críticos e de tempo real, aplicável no domínio de tráfego aéreo. Utiliza-se para verificação formal a ferramenta NuSMV, com descrição de propriedades dos tipos vivacidade e segurança, através das lógicas linear temporal (LTL) e de árvore computacional (CTL). São fornecidas diretivas para a aplicação do método, através de estudo de caso de três módulos baseados no sistema de tráfego aéreo brasileiro.

Palavras-chave: CTL; LTL; modelagem; tráfego aéreo; verificação formal

Como citar

ABNT

COSTA, Rafael Leme; AGUCHIKU, Fabio Seiti; MARUYAMA, Newton. Táticas de modelagem e verificação formal para sistemas de tráfego aéreo. In: SIMPÓSIO DE TRANSPORTE AÉREO, 17., 2018, São Paulo. Anais [...]. São Paulo: USP/Escola Politécnica, 2018. p. 540-547. ISSN 2448-1912. Disponível em: https://sitraer-sbta.org/anais-2018-p540.html.

APA

Costa, R. L., Aguchiku, F. S., & Maruyama, N. (2018). Táticas de modelagem e verificação formal para sistemas de tráfego aéreo. In J. B. Camargo Júnior (Eds.), Proceedings of XVII SITRAER – Air Transportation Symposium (pp. 540–547). USP/Escola Politécnica. https://sitraer-sbta.org/anais-2018-p540.html

BibTeX

@inproceedings{costa2018taticas,
  author = {Costa, Rafael Leme and Aguchiku, Fabio Seiti and Maruyama, Newton},
  title = {{Táticas de modelagem e verificação formal para sistemas de tráfego aéreo}},
  booktitle = {Proceedings of XVII SITRAER – Air Transportation Symposium},
  editor = {Camargo Júnior, João Batista},
  pages = {540--547},
  year = {2018},
  address = {São Paulo, SP, Brasil},
  publisher = {Universidade de São Paulo, Escola Politécnica (POLI-USP)},
  issn = {2448-1912},
  url = {https://sitraer-sbta.org/anais-2018-p540.html}
}