Especificação e verificação formal de requisitos para sistemas de tráfego aéreo (2018)
- Autores:
- Autor USP: AGUCHIKU, FÁBIO SEITI - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Assunto: TRÁFEGO AÉREO
- Idioma: Português
- Resumo: A evolução de sistemas de gerenciamento de tráfego aéreo é pesquisada para suportar o crescimento na demanda por transporte aéreo. Uma alternativa para essa evolução é o aumento no grau de automação. Os sistemas automatizados precisam ser tão seguros quanto os sistemas em operação atualmente. Com o uso de técnicas de especificação e verificação formal é possível avaliar os requisitos de sistemas. Neste trabalho, é proposto um ciclo de especificação formal, que consiste em um conjunto de diretrizes para aplicação de técnicas de métodos formais em requisitos escritos em linguagem natural. O resultado esperado da aplicação deste ciclo é um conjunto de requisitos escritos em linguagem natural verificados formalmente. O ciclo é composto pelas etapas: levantamento de requisitos do sistema e classificação em padrões de especificação; mapeamento dos requisitos para as linguagens de especificação formal LTL (Linear Temporal Logic) e CTL (Computation Tree Logic); verificação formal da especificação com o verificador NuSMV; ajustes na especificação baseada nos resultados da verificação; ajustes nos requisitos baseados nos ajustes na especificação. As diretrizes propostas são definidas com a análise da verificação formal do Automated Airspace Concept (AAC), padrões de especificação e diretrizes para uso do verificador NuSMV. Os resultados esperados são obtidos na aplicação do ciclo de especificação em dois estudos de caso. A principal contribuição do trabalho é o conjunto de diretrizes para elaboração de expressões escritas em linguagem de especificação formal baseadas em requisitos escritos em linguagem natural e que podem ser verificadas formalmente.
- Imprenta:
- Data da defesa: 03.08.2018
-
ABNT
AGUCHIKU, Fabio Seiti. Especificação e verificação formal de requisitos para 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-04102018-135028/. Acesso em: 06 set. 2024. -
APA
Aguchiku, F. S. (2018). Especificação e verificação formal de requisitos para 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-04102018-135028/ -
NLM
Aguchiku FS. Especificação e verificação formal de requisitos para sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-04102018-135028/ -
Vancouver
Aguchiku FS. Especificação e verificação formal de requisitos para sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-04102018-135028/
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas