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.