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

Pour d彋ecter les d嶨auts dans le r廥eau de distribution du Smart Grid et isoler les commutateurs de charge d嶨ectueux dans un d幨ai limit? l'algorithme FDIR fonctionne sur le contr犨eur DFA qui est install?sur le r廥eau de communication du Smart Grid afin de contr犨er les dispositifs d'alimentation du r廥eau de distribution. Pour l'analyse de sa fiabilit? une v廨ification formelle est n嶰essaire afin d'彋udier sa pr嶰ision, sa stabilit?et son efficacit?lorsqu'un d嶨aut se produit sur le r廥eau. Gr歊e ?l'analyse probabiliste du r廥eau de distribution bas?sur le FDIR via l'outil de v廨ification de mod鋩e PRISM, nous pouvons estimer la probabilit?de d嶨aillance du r廥eau et prendre des mesures correctives et de maintenance afin que les composants d嶨ectueux puissent 皻re remplac廥 ?l'avance pour 憝iter la d嶨aillance compl鋈e du syst鋗e.