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.