Propusemos resultados preliminares de uma nova abordagem para extrair sequências de eventos que modelam os tempos de injeção de falhas no nível do protocolo de mensagens MQTT para avaliar sua confiabilidade. Após direcionar o serviço de publicação, identificamos sete cenários possíveis que colocam o sistema em um estado de falha. Introduzimos novos algoritmos para (1) extrair eventos de envio e recebimento de CFGs, (2) identificar pares de envio/recebimento, (3) timestamp os eventos usando um relógio vetorial, (4) filtrar eventos de envio e (5) gerar sequências alternativas de envio. Neste artigo, estendemos os resultados iniciais aplicando a abordagem aos serviços fornecidos pelo Publisher, Subscriber e MQTT Broker, o que aumentou o número de cenários para até 17 sequências de injeção de falhas. Esta contribuição é o primeiro passo para formalizar a descrição de todos os ataques possíveis ao protocolo MQTT, o que é crucial para reforçar a confiabilidade de seus serviços.
Jandoubi et al. (Qui,) estudaram esta questão.