Exportar registro bibliográfico

Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (2018)

  • Authors:
  • USP affiliated authors: COSTA, RAFAEL LEME - EP
  • Unidades: EP
  • Sigla do Departamento: PMR
  • Subjects: TRÁFEGO AÉREO; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
  • Language: Português
  • Abstract: O desenvolvimento de sistemas críticos é atualmente um dos problemas mais desafiadores enfrentados pela Engenharia. Há frequentemente uma pressão para se reduzir o tempo total de desenvolvimento, o que dificulta a entrega de sistemas com um mínimo aceitável de defeitos. Nos últimos anos, houve um aumento no tráfego aéreo, o que demanda uma modernização dos sistemas de tráfego aéreo atuais, muito dependentes na figura do controlador. Sistemas de tráfego aéreo são sistemas considerados críticos em segurança e de tempo real. O objetivo do presente trabalho é estabelecer um método de modelagem e verificação formal para sistemas críticos, com aplicação no domínio de tráfego aéreo. Com a adoção de técnicas de modelagem e verificação formal, pretende-se garantir a corretude dos sistemas frente aos requisitos incialmente especificados e a detecção de erros em fases mais iniciais do projeto, o que resultaria em menores custos envolvidos na sua correção. São fornecidas diretivas para a aplicação do método através de um estudo de caso, baseado em três módulos de um sistema ATC em baixo nível de abstração, para a validação do funcionamento de módulos de software. Para verificação formal, é utilizada a ferramenta NuSMV e as propriedades a serem verificadas são descritas na lógica computacional de árvore (CTL) para garantir que o sistema satisfaça requisitos dos tipos vivacidade e segurança.
  • Imprenta:
  • Data da defesa: 03.08.2018
  • Online source access
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COSTA, Rafael Leme; MARUYAMA, Newton. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. 2018.Universidade de São Paulo, São Paulo, 2018. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/pt-br.php >.
    • APA

      Costa, R. L., & Maruyama, N. (2018). Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/pt-br.php
    • NLM

      Costa RL, Maruyama N. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/pt-br.php
    • Vancouver

      Costa RL, Maruyama N. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/pt-br.php

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020