Vérification formelle du FDIR dans les réseaux intelligents

Pour d tecter les d fauts dans le r seau de distribution du Smart Grid et isoler les commutateurs de charge d fectueux dans un d lai limit , l'algorithme FDIR fonctionne sur le contr leur DFA qui est install sur le r seau de communication du Smart Grid afin de contr ler les dispositifs d'alimentation du r seau de distribution. Pour l'analyse de sa fiabilit , une v rification formelle est n cessaire afin d' tudier sa pr cision, sa stabilit et son efficacit lorsqu'un d faut se produit sur le r seau. Gr ce l'analyse probabiliste du r seau de distribution bas sur le FDIR via l'outil de v rification de mod le PRISM, nous pouvons estimer la probabilit de d faillance du r seau et prendre des mesures correctives et de maintenance afin que les composants d fectueux puissent tre remplac s l'avance pour viter la d faillance compl te du syst me.