Verifica formale dell'FDIR nelle Smart Grid

Per rilevare i guasti nella rete di distribuzione delle Smart Grid e isolare gli interruttori di carico difettosi entro un periodo limitato, l'algoritmo FDIR viene eseguito sul controllore DFA installato nella rete di comunicazione delle Smart Grid per controllare i dispositivi di potenza della rete di distribuzione. Per l'analisi della sua affidabilità, è necessaria una verifica formale per studiare la sua accuratezza, stabilità ed efficienza quando si verifica un guasto sulla rete. Attraverso l'analisi probabilistica della rete di distribuzione basata su FDIR tramite lo strumento PRISM model checker, possiamo stimare la probabilità di guasto della rete e intraprendere un'azione correttiva e di manutenzione in modo che il componente difettoso possa essere sostituito in anticipo per evitare il guasto completo del sistema.