Skip to content

LEIAME.md

Latest commit

 

History

History
109 lines (78 loc) · 7.56 KB

LEIAME.md

File metadata and controls

109 lines (78 loc) · 7.56 KB

Redundância Modular Tripla (TMR) com LDRs

Uma implementação prática de conceitos de Tolerância a Falhas e Sistemas de Tempo Real no ESP32.

📚 Conceitos Didáticos

O que é Tolerância a Falhas?

A Tolerância a Falhas é a capacidade de um sistema continuar operando corretamente mesmo na presença de defeitos em um ou mais de seus componentes. Em sistemas críticos (como aviação, equipamentos médicos ou controle industrial), uma falha única não pode paralisar a operação. Para evitar isso, utilizamos a redundância — a adição de componentes extras que não são estritamente necessários para o funcionamento normal, mas que assumem o controle caso ocorra um erro.

O que é Redundância Modular Tripla (TMR)?

A Redundância Modular Tripla (TMR) é uma técnica de redundância de hardware onde três componentes idênticos executam a mesma tarefa. O resultado de cada um é enviado para um sistema de votação (votador), que define a saída final com base na maioria simples.

Se um dos três componentes falhar e gerar uma leitura errada, os outros dois ainda concordarão entre si, anulando o erro. Esse fenômeno é chamado de mascaramento de falha. A lógica booleana do votador para as entradas A, B e C é:

Maioria = (A E B) OU (A E C) OU (B E C)

Tabela Verdade do Votador:

Sensor A Sensor B Sensor C Saída (Maioria)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Neste projeto, utilizamos três sensores de luminosidade (LDRs). Se um dos sensores for tampado acidentalmente, desconectado ou queimar, o sistema continuará tomando a decisão correta (acender ou apagar o LED principal) com base nos dois sensores restantes.

O que é Fault Detection and Isolation (FDI)?

Fault Detection and Isolation (FDI), ou Detecção e Isolamento de Falhas, é o conjunto de técnicas usado para identificar que uma falha ocorreu e determinar qual componente é o responsável. Em uma arquitetura redundante, não basta apenas mascarar o erro; também é útil sinalizar a inconsistência e retirar o elemento suspeito do processo de decisão.

Neste projeto, o FDI é realizado comparando os votos dos três sensores com o resultado da maioria do TMR:

  • Detecção da Falha: quando o voto de um sensor diverge dos outros dois, o sistema identifica uma discordância.
  • Isolamento da Falha: o sensor que diverge da maioria é marcado como isolado e deixa de participar das próximas decisões.
  • Operação Degradada: após o isolamento, o sistema continua funcionando com os sensores restantes e informa se ainda existe consenso entre eles.

Com isso, o exemplo não demonstra apenas o mascaramento de falha, mas também a capacidade de identificar o canal defeituoso e manter a operação em modo degradado de forma controlada.

🛠️ Requisitos de Hardware

  • Microcontrolador: ESP32 (Utilizando pinos do ADC1 para não conflitar com o Wi-Fi).
  • Sensores: 3x LDRs (Resistores Dependentes de Luz).
  • Resistores: 3x resistores de ~10kΩ para os divisores de tensão dos LDRs.
  • Atuadores: * 1x LED Principal (Representa a decisão final do sistema).
    • 3x LEDs Auxiliares (Mostram o voto individual de cada sensor. Nota: Estes LEDs são opcionais e servem apenas para facilitar a visualização didática do comportamento individual de cada sensor.)

Configuração de Pinos

Componente Pino ESP32 Descrição
LDR 1 GPIO 32 Entrada analógica do Sensor 1
LDR 2 GPIO 35 Entrada analógica do Sensor 2
LDR 3 GPIO 34 Entrada analógica do Sensor 3
LED Principal GPIO 2 Atuador final do sistema (acende no escuro)
LED LDR 1* GPIO 26 Mostra o voto individual do Sensor 1 (Opcional)
LED LDR 2* GPIO 25 Mostra o voto individual do Sensor 2 (Opcional)
LED LDR 3* GPIO 33 Mostra o voto individual do Sensor 3 (Opcional)

🚀 Como Funciona

  1. Leitura e Discretização: O sistema lê os valores analógicos dos três divisores de tensão. Como os LDRs são analógicos e a lógica TMR é digital (booleana), o código transforma os valores em 0 ou 1 usando um limiar (padrão: 2000). Se a leitura for menor que o limiar (indicando escuro), o sensor gera um voto positivo.
  2. O Votador: O ESP32 processa os três votos usando a fórmula de maioria do TMR.
  3. Detecção e Isolamento de Falhas: Com os três sensores ativos, se um voto divergir da maioria, o ESP32 informa MASKED FAILURE, identifica o sensor discordante e o marca como ISOLATED.
  4. Operação Degradada: Após o isolamento, o sistema continua operando com os sensores restantes. Com dois sensores ativos, a arquitetura passa a se comportar como um 2MR (Redundância Modular Dupla), usando um comparador em vez de votação por maioria. Se os dois sensores ativos concordarem, o console informa CONSENSUS; se houver discordância entre eles, o sistema informa CRITICAL ERROR, pois já não há redundância suficiente para isolar com segurança uma nova falha.
  5. Atuação: Se o resultado da votação ativa indicar ambiente escuro, o LED principal é aceso.

Comportamento do FDI na Prática

  • 3 sensores ativos: a votação TMR mascara uma leitura incorreta e isola o sensor que discordou.
  • 2 sensores ativos: o sistema degrada para 2MR, usando um comparador em vez de votação por maioria; ele detecta discordância, mas não consegue dizer com segurança qual dos dois sensores está errado.
  • 1 sensor ativo: o sistema ainda produz saída (modo degradado), mas perde a redundância e a decisão passa a depender de um único canal.
  • 0 sensores ativos: o sistema informa falha total e força saída em fail-safe (LED principal desligado).

Política Atual (Implementada)

  • Política de threshold: se o valor digitado for vazio ou <= 0, o sistema mantém o valor padrão do threshold.
  • Política de fail-safe: a saída fail-safe (LED principal desligado) é ativada em estados de falha explícita (por exemplo, discordância com apenas 2 sensores ativos) e em falha total.
  • Modo degradado com 1 canal: com apenas 1 sensor ativo, o sistema continua operando e confia no canal remanescente, emitindo aviso de perda de redundância.

Essas decisões refletem o estado atual do sistema dentro do escopo acadêmico do projeto.

💻 Uso

  1. Faça o upload do código para o seu ESP32.
  2. Abra o Monitor Serial na velocidade de 9600 baud.
  3. (Opcional) Digite um novo valor de limiar no console logo após a inicialização.
  4. Teste a tolerância a falhas tampando apenas um LDR com o dedo. Observe que o LED principal não apaga/acende de forma errônea, demonstrando o mascaramento da falha na prática.

🔭 Futuros

Melhorias planejadas que ainda não fazem parte da implementação atual.

  • Lógica de isolamento e reativação mais robusta com contadores de discordância/concordância por sensor.
  • Filtro opcional das leituras dos sensores (ex.: mediana/média móvel) antes da discretização do voto.
  • Calibração e ajuste por sensor (ganho/offset), com modos opcionais de inicialização: Nenhum, Manual e Automático.
  • Diagnóstico de circuito aberto com checagens de plausibilidade ao longo do tempo, em vez de regra por valor bruto isolado.
  • Telemetria estruturada e controle de verbosidade de logs (completos vs apenas eventos importantes).