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.