GRIF Flex – évaluation de la fiabilité / disponibilité des systèmes par modèle MBSA (Model Based Safety Assessment)

En tant qu'outil d'évaluation de la sécurité des systèmes par les modèles (MBSA), Flex propose la création (où pré-sélection à partir d’une bibliothèque) de composants présentés sous forme de blocs. Ces blocs peuvent être reliés entre eux avec différentes interfaces de connexion.

• Leurs comportements sont définis par un réseau de Petri stochastique avec des prédicats.
• Le créateur d'un composant bénéficie de la flexibilité du réseau de Petri et du langage de calcul Moca-RP pour l'affectation des transitions.
• Flex créé des composants facilement configurables par des utilisateurs qui ne sont pas familiarisés avec les réseaux de Petri, mais seulement sur la façon dont les composants interagissent entre eux. 
• Une fois les composants stockés dans la bibliothèque, tout utilisateur peut créer le modèle d'un système en assemblant les blocs entre eux.

• Une fois le système modélisé, Flex effectue une simulation de Monte Carlo qui fournit tous les résultats nécessaires : 
  • Les résultats de défaillance des composants (comptage, durée),
  • Analyse de la durée d'arrêt du système,
  • Utilisation des équipes de maintenance et consommation de pièces de rechange
  • Séquences ou jeux de coupes qui mènent à un événement spécifique.

• Le pouvoir modélisant: il est possible de créer ses composants en réseaux de Petri avec le module Petri de la suite logicielle GRIF, qui est considéré comme une référence pour les réseaux de Petri stochastiques. La grande force des réseaux de Petri stochastiques réside à la fois dans leur pouvoir de modélisation et dans leur capacité à décrire les parties dysfonctionnelles (défaillances de composants) et fonctionnelles (architecture et fonctions de support telles que les procédures de maintenance ou de reconfiguration) d'une installation.
• Une simulation interactive :  le module Flex est équipé d’un simulateur activable étape par étape pour faciliter la vérification et la validation des modèles. Il permet de s’assurer de l'exactitude de la modélisation avant de réaliser les calculs. Il aide également à expliquer le comportement d’un système à d'autres interlocuteurs et constitue, en ce sens, un support de formation.
• Domaine d'application : que ce soit pour modéliser une chaîne de montage, un réseau électrique, un système de production ou tout autre système, ce module convient à tous les secteurs industriels. Étant donné que les utilisateurs peuvent toujours créer des variables supplémentaires à étudier, ils peuvent donc obtenir des résultats sur n'importe quel aspect de leur système. Flex peut ainsi être utilisé pour d’autres domaines d’application tels que la sécurité, les évaluations de performance ou l'optimisation du SIL.
• Des librairies réutilisables : la création d’une bibliothèque effectuée dans le cadre d’une première étude peut être réutilisée pour d’autres systèmes utilisant les mêmes composants, sans l'aide d'un expert en réseaux de Petri. L'entreprise peut ainsi capitaliser plus facilement ses projets sur les études passées.
• Systèmes hiérarchiques : l’affichage des systèmes complexes ne pouvant être affichés sur une seule page peut être décomposé en plusieurs sous-systèmes interconnectables.

• Possibilité d'automatiser les calculs (exécution par lots) et de dessiner des variations pour l'analyse de sensibilité.
• Stockage des résultats dans le document et exportation dans différents formats (csv, XML, Excel, etc.).
• Visualisation des résultats sous forme de courbes, de camemberts ou d'histogrammes.
• L'impression au format vectoriel PDF génère des images de haute qualité mais de petits fichiers qui peuvent être envoyés par e-mail même avec des centaines de pages.
• Interaction avec le système d'exploitation : copier/coller vers ou depuis un logiciel de traitement de texte, un tableur ou un outil de présentation.
• La fonction "Attribut" (un système de propriétés personnalisées) permet d'ajouter toutes les informations que vous souhaitez sur chaque objet du document, que ce soit pour une description plus précise, pour la traçabilité et pour le regroupement des résultats.