Falhas Transitórias em Sistemas de Redundância Modular Tripla com Módulos Sequenciais

Os efeitos de falhas transitórias em módulos sequenciais em sistemas que utilizam redundância modular tripla (TMR) não podem ser negligenciados. Uma falha transitória pode colocar uma máquina sequencial em um estado errôneo, e o estado pode permanecer errôneo muito tempo após a falha transitória ter desaparecido. Mostramos que o estado de uma máquina sequencial pode ser restaurado após uma falha transitória se e somente se a máquina tiver uma sequência de sincronização. Se sequências de sincronização ocorrerem periodicamente durante a operação normal do sistema, múltiplas falhas transitórias espaçadas no tempo podem ser toleradas. Estruturas de sistema que possuem sequências de sincronização são discutidas.