DIAS, GUSTAVO OLIVEIRA
(Devido ao relevante crescimento da IoT, estima-se uma alta demanda por dispositivos e sistemas que integram esse ambiente, visando otimizar processos industriais, melhorar a qualidade de vida dos usuários, entre outras aplicações. Com tantos dispositivos conectados, a comunicação é um fator crucial para garantia da eficiência dos sistemas em IoT. O MQTT é um protocolo de aplicação que surgiu com o objetivo de solucionar problemas específicos deste setor, como redes com alta latência e taxa de perda de pacotes, além do baixo poder de armazenamento e processamento dos dispositivos. Entre as ferramentas conhecidas que implementam o MQTT, não encontrou-se ao longo do desenvolvimento deste trabalho uma que adote mecanismos de detecção e verificação de falhas e seus responsáveis. Devido a isso, este trabalho tem como objetivo desenvolver um método para monitoramento reativo da comunicação entre dispositivos em sistemas IoT que utilizam o protocolo MQTT. O método é baseado na modelagem do protocolo de comunicação do sistema IoT por meio de um cálculo temporal de processos chamado TPi, de acordo com o comportamento operacional do MQTT com nível de QoS igual a zero. A partir do modelo obtido, é aplicado um método de conversão para representá-lo em forma de contrato multilateral. Em seguida, é executado um algoritmo de monitoramento reativo sobre o contrato que permite a detecção de violações contratuais, assim como a identificação das partes responsáveis pela violação. Neste sentido, este trabalho propõe um estudo de caso real sobre um sistema de detecção e supressão de incêndio. Com a aplicação do método proposto, foi possível aplicar o monitoramento reativo sobre o sistema, assim como realizar a identificação do responsável pela falha contratual que foi simulada. Desta forma, o objetivo do trabalho foi atingido. Enquanto que o modelo em TPi possibilitou uma modelagem simples e abstraída do sistema, o modelo em contrato multilateral garantiu um nível mais elevado de detalhamento das propriedades, essencial para a aplicação do algoritmo de monitoramento reativo. Entretanto, algumas propriedades para representação do modelo em contrato multilateral foram inseridas manualmente, pois não encontrou-se um meio para representá-las por meio do modelo em TPi. Sendo assim, como trabalhos futuros, sugere-se determinar meios para representar as propriedades pendentes, adaptar o método de conversão para casos mais complexos, estender o método proposto para os níveis 1 e 2 de QoS do protocolo MQTT e desenvolver uma implementação do MQTT que aplique o monitoramento reativo entre os dispositivos conectados., 2017-12)
Due to the significant growth of IoT, it is estimated a high demand for devices and
systems that integrate this environment, aiming to optimize industrial processes, improve
the quality of life of users, among other ...