Navegando por Autor "Silva, Nayara de Souza"

Agora exibindo 1 - 1 de 1
  • Imagem de Miniatura
    Item
    Aplicação de verificação formal em um sistema de segurança veicular
    (Universidade Federal de Goiás, 2017-03-07) Silva, Nayara de Souza; Stoppa, Marcelo Henrique; http://lattes.cnpq.br/1532505326645535; Costa, Vaston Gonçalves da; http://lattes.cnpq.br/5192533875584788; Costa, Vaston Gonçalves da; http://lattes.cnpq.br/5192533875584788; Galdino, André Luiz; Rabelo, Marcos Napoleão
    The 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. K