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甐do limitado, o algoritmo FDIR funciona no controlador DFA que est緌 instalados na rede de comunica誽o da Smart Grid a fim de controlar os dispositivos de pot瘽cia da rede de distribui誽o. Para a sua an嫮ise de fiabilidade, ?necess嫫ia uma verifica誽o formal a fim de investigar a sua precis緌, estabilidade e efici瘽cia quando ocorre uma falha na rede. Atrav廥 da an嫮ise probabil疄tica da rede de distribui誽o baseada em FDIR atrav廥 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獮o antecipadamente para evitar a falha completa do sistema.