Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (2018)
- Authors:
- Autor USP: COSTA, RAFAEL LEME - EP
- Unidade: 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
-
ABNT
COSTA, Rafael Leme. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/. Acesso em: 19 set. 2024. -
APA
Costa, R. L. (2018). Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/ -
NLM
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/ -
Vancouver
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas