Verificación formal de FDIR en redes inteligentes

Para detectar fallos en la red de distribución de Smart Grid y aislar los interruptores de carga defectuosos dentro de un periodo limitado, el algoritmo FDIR se ejecuta en un controlador DFA instalado en la red de comunicaciones de Smart Grid para controlar los dispositivos de potencia de la red de distribución. Para su análisis de fiabilidad, es necesaria una verificación formal con el fin de investigar su precisión, estabilidad y eficiencia cuando se produce un fallo en la red. Mediante el análisis probabilístico de la red de distribución basada en FDIR a través de la herramienta de comprobación de modelos PRISM, podemos estimar la probabilidad de fallo de la red y adoptar medidas correctivas y de mantenimiento, de modo que los componentes defectuosos puedan sustituirse con antelación para evitar el fallo completo del sistema.