Verificação formal do FDIR em Smart Grid

Para a detecção de falhas na rede de distribuição da Smart Grid e isolar os comutadores de carga defeituosos com no período limitado, o algoritmo FDIR funciona no controlador DFA que estão instalados na rede de comunicação da Smart Grid a fim de controlar os dispositivos de potência da rede de distribuição. Para a sua análise de fiabilidade, é necessária uma verificação formal a fim de investigar a sua precisão, estabilidade e eficiência quando ocorre uma falha na rede. Através da análise probabilística da rede de distribuição baseada em FDIR através da ferramenta de verificação do modelo PRISM, podemos estimar a probabilidade de falha da rede e tomar uma acção correctiva e manutenção de modo a que, o componente defeituoso possa ser substituído antecipadamente para evitar a falha completa do sistema.