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.