GRIF se compose de 3 packages et de 12 modules 

Chaque package a été pensé pour permettre aux ingénieurs fiabilistes de modéliser des systèmes statiques et/ou dynamiques. Les modules sont équipés de moteurs de calcul puissants et fournissant des résultats exacts. 

Consultez ci-dessous les détails et caractéristiques de chaque produit ou télécharger la version PDF des fiches produits des modules GRIF.

Version PDF des fiches produits GRIF

Les packages

Package Booléen

Package Booléen

7 modules dédiés aux calculs de modèles statiques appliquant la logique booléenne pour les analyses de fiabilité, de sécurité et de risques (bloc-diagramme, arbres de fiabilité/de défaillance, noeuds papillon/LOPA...). Avec des résultats rapides et exacts.

En savoir plus
Package Markovien

Package Markovien

La force de la méthodologie Markovienne, basée sur les chaînes de Markov multi-phases, combinée à la puissance du moteur de calcul ALBIZIA. Destiné à la modélisation de type graphe markovien et aux calculs de petits systèmes dynamiques.

En savoir plus
Package Simulation

Package Simulation

4 modules d’aide à la modélisation dynamique des grands systèmes industriels complexes, doté d’un moteur de calcul puissant basé sur la simulation de Monte-Carlo (graphes de convergences, réseaux de Petri stochastiques à prédicats, bloc-diagramme stochastique...).

En savoir plus
Suite logicielle GRIF

Suite logicielle GRIF

Comprend les 3 packages (Booléen, Simulation et Markovien) et leurs 12 modules. Dotée des moteurs de calcul ALBIZIA et MOCA-RP.

En savoir plus
Plug-in HPC

HPC plug-in

Un plug-in de calcul à haute performance, équipé du moteur MOCA-RP, à destination des utilisateurs des modules Petri et Petro. Pour des modélisations exigeant l'études de scénarii constitués des milliers d'états, avec des affichages de résultats plus rapides et exacts.

En savoir plus

Les modules 

Module Tree

Module Tree - Arbres de Défaillances

Les arbres de défaillances pour l’analyse de fiabilité et de sécurité des architectures systèmes. 

En savoir plus
Module SIL

Module SIL - Safety Integrity Levels

Pour l’évaluation du niveau d’intégrité des systèmes instrumentés de sécurité (SIS), selon les normes IEC 61508 & IEC 61511. 

En savoir plus
Module Risk

Module Risk - Évaluation et réduction des risques

Pour analyser et quantifier les risques en utilisant la méthode des nœuds papillon et LOPA. 

En savoir plus
Module Reseda

Module Reseda - Réseaux de Fiabilité

Pour évaluer la disponibilité et la fiabilité de toutes sortes de réseaux avec la modélisation des réseaux de fiabilité. 

En savoir plus
Module BFiab

Module BFiab - Blocs Diagrammes de Fiabilité

Les blocs diagrammes de fiabilité pour l’analyse de fiabilité et de sécurité d’architectures systèmes. 

En savoir plus
Module ETree

Module ETree - Arbres d’événements

Les arbres d’événements pour l’analyse de risques de barrières de sécurité. 

En savoir plus
edito_1_colomn_module_bool_large_fr_1

Bool - Modules booléens

Les fonctionnalités de Tree, SIL, Risk, ETree, Reseda et BFiab en un seul module. Idéal pour l'évaluation booléenne des architectures de systèmes (analyse de fiabilité et de sécurité)

En savoir plus
edito_1_colomn_module_petri_fr_1

Module Petri – Réseaux de Petri stochastiques

Pour l'évaluation des performances de systèmes dynamiques par réseaux de Petri stochastiques à prédicats et assertions. 

En savoir plus
edito_1_colomn_module_bstok_fr_1_1

Module BStoK – Blocs Diagrammes Stochastiques

Pour l'évaluation par blocs diagrammes stochastiques des performances des systèmes dynamiques. 

En savoir plus
Module Petro

Module Petro – Blocs diagrammes multi-flux

Pour l'évaluation des performances des systèmes dynamiques multi-flux par blocs diagrammes stochastiques. Idéal pour évaluer les disponibilités de production de vos infrastructures.

En savoir plus
Module Flex

Module Flex – MBSA basés sur les réseaux de Petri

Pour l’évaluation de la sécurité des systèmes par modèle MBSA (Model Based Safety Assessment). 

En savoir plus
edito_1_colomn_module_markov_fr_2

Module Markov

Destiné à la modélisation de type graphe markovien et aux calculs de petits systèmes dynamiques. 

En savoir plus