Aplicação de verificação formal em um sistema de segurança veicular

Página do item simplificado
dc.contributor.advisor-co1Stoppa, Marcelo Henrique
dc.contributor.advisor-co1Latteshttp://lattes.cnpq.br/1532505326645535por
dc.contributor.advisor1Costa, Vaston Gonçalves da
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/5192533875584788por
dc.contributor.referee1Costa, Vaston Gonçalves da
dc.contributor.referee1Latteshttp://lattes.cnpq.br/5192533875584788por
dc.contributor.referee2Galdino, André Luiz
dc.contributor.referee3Rabelo, Marcos Napoleão
dc.creatorSilva, Nayara de Souza
dc.creator.Latteshttp://lattes.cnpq.br/9406604259030400por
dc.date.accessioned2017-04-12T14:32:03Z
dc.date.accessioned2022-04-26T13:40:24Z
dc.date.available2022-04-26T13:40:24Z
dc.date.issued2017-03-07
dc.description.abstractThe process of developing computer systems takes into account many stages, in which some are more necessary than others, depending on the purpose of the application. The implementation stage is always necessary, indisputably. Sometimes the requirements analysis and testing phases are neglected. And, generally, the part of formal verification correctness is intended for few applications. The use of model checkers has been exploited in the task of validating a behavioral specification in its appropriate level of abstraction, notably specifications validation of critical systems, especially when they involve the preservation of human life, when the existence of errors entails huge financial loss or when deals with information security. Therefore, it proposes to apply formal verification techniques in the validation of the vehicular safety system Avoiding Doored System, considered as critical, in order to verify if the implemented system faithfully meets the requirements for it proposed. For that, it was used as a tool to verify its correctness the Specification and Verification System - PVS, detailing and documenting all the steps employed in the process of specification and formal verification. Keng
dc.description.resumoO processo de desenvolvimento de sistemas computacionais leva em conta muitas etapas, nos quais umas são tidas mais necessárias que outras, dependendo da finalidade da aplica- ção. A etapa de implementação sempre é necessária, indiscutivelmente. Por vezes as fases de análise de requisitos e de testes são negligenciadas. E, geralmente, a parte de verifica- ção formal de corretude é destinada a poucas aplicações. O uso de verificadores de modelos tem sido explorado na tarefa de validar uma especificação comportamental no seu nível adequado de abstração, sobretudo, na validação de especificações de sistemas críticos, principalmente quando estes envolvem a preservação da vida humana, quando a existência de erros acarreta enorme prejuízo financeiro ou quando tratam com a segurança da informa- ção. Diante disso, se propõe aplicar técnicas de verificação formal na validação do sistema de segurança veicular Avoiding Doored System, tido como crítico, com o intuito de atestar se o sistema implementado atende, fielmente, os requisitos para ele propostos. Para tal, foi utilizada como ferramenta para a verificação de sua corretude o Specification and Verification System - PVS, detalhando e documentando todas as etapas empregadas no processo de especificação e verificação formal. Palpor
dc.description.sponsorshipFundação de Amparo à Pesquisa do Estado de Goiás - FAPEGpor
dc.formatapplication/pdf*
dc.identifier.citationSILVA, N. S. Aplicação de verificação formal em um sistema de segurança veicular. 2017. 112 f. Dissertação (Mestrado em Modelagem e Otimização) - Universidade Federal de Goiás, Catalão, 2017.por
dc.identifier.urihttp://repositorio.ufcat.edu.br/tede/handle/tede/7134
dc.languageporpor
dc.publisherUniversidade Federal de Goiáspor
dc.publisher.countryBrasilpor
dc.publisher.departmentRegional Catalão (RC)por
dc.publisher.initialsUFGpor
dc.publisher.programPrograma de Pós-graduação em Modelagem e Otimização (RC)por
dc.rightsAcesso Abertopor
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectMétodos formaispor
dc.subjectEspecificação formal de sistemaspor
dc.subjectLógica matemáticapor
dc.subjectProvadores de teoremaspor
dc.subjectTeoria da provapor
dc.subjectFormal methodseng
dc.subjectFormal specification and verification of systemseng
dc.subjectMathematical logiceng
dc.subjectTheorem provereng
dc.subjectProof theoryeng
dc.subject.cnpqCIENCIAS EXATAS E DA TERRA::MATEMATICApor
dc.titleAplicação de verificação formal em um sistema de segurança veicularpor
dc.title.alternativeApplication of formal verification in a vehicular safety systemeng
dc.typeDissertaçãopor

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Dissertação - Nayara de Souza Silva - 2017.pdf
Tamanho:
1.97 MB
Formato:
Adobe Portable Document Format
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
2.11 KB
Formato:
Plain Text
Descrição:
Baixar

Coleções

Mestrado em Modelagem e Otimização - PPGMO