ANÁLISE DE SEGURANÇA CIBERNÉTICA EM VEÍCULOS AUTÔNOMOS UTILIZANDO LÓGICA PARACONSISTENTE

Este artigo tem como objetivo a analise da seguranca cibernetica de veiculos autonomos (VA), os quais tem sido objeto de extensivos testes nos ultimos anos. Para esse trabalho, serao necessarios conceitos de Internet das Coisas (IoT), Seguranca da Informacao e Logica Paraconsistente. E definida uma classificacao dos niveis de automacao  de veiculos para sistemas autonomos. Os servicos basicos de seguranca, Autenticacao, Confiabilidade, Disponibilidade, Integridade e Nao-Repudiacao, sao definidos e e utilizado um modelo em que existem objetos de interesse entre os servicos. Para este modelo, ha quatro planos de analise e o plano de seguranca cibernetica e explorado. Em relacao a Logica Paraconsistente, e explicado como ela pode ser aplicada para veiculos autonomos. Adicionalmente, sao analisados os resultados de alguns testes de fabricantes de VA e de guias de instituicoes automotivas americanas. Por fim, serao integrados os resultados de testes de direcao de VA, guia para fabricantes com modelos de seguranca de informacao, verificando eventuais gaps.