Aplicação de verificação formal em um sistema de segurança veicular
Carregando...
Data
2017-03-07
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Goiás
Resumo
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
Descrição
Palavras-chave
Métodos formais, Especificação formal de sistemas, Lógica matemática, Provadores de teoremas, Teoria da prova, Formal methods, Formal specification and verification of systems, Mathematical logic, Theorem prover, Proof theory
Citação
SILVA, 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.