Skip to content

 À propos du module Markov

Module Markov

Ce module propose la construction de chaînes de Markov multi-phases pour évaluer la fiabilité/disponibilité et la sécurité d’architectures systèmes.

Le module Markov permet de modéliser un système sous la forme d’un graphe de Markov. Cette modélisation simple et transverse à tous les domaines (aéronautique, automobile, ferroviaire, pétrolier …) permet d’obtenir de nombreuses informations, dont la disponibilité et le Lambda Equivalent d’un système au cours du temps. Ce module, basé sur des algorithmes efficaces de calculs matriciels, s’appuie sur l’utilisation d’ALBIZIA, le moteur de calcul Markovien et BDD (pour Binary Decision Diagram en anglais) développé par TotalEnergies. 

Fiche technique
Testez la version d’essai (GRATUIT)

Les avantages du module Markov

icon_check_red_1.png

Prise en main 
facile et ergonomique

icon_albizia_red_1.png

Des calculs performants 
et exacts (ALBIZIA)

icon_like_red_1.png

Chaine de Markov
multi-phases

Le module Markov fournit de nombreux résultats :

  • La probabilité d’être dans un état donné,
  • Le temps de séjour cumulé dans chaque état,
  • La disponibilité/fiabilité du système,
  • La fréquence de panne et le Lambda Equivalent du système au cours du temps.

La saisie est réalisée via une interface graphique intuitive qui propose la création des différents états du système et permet de les relier via des transitions: 

  • Il est possible d’indiquer si le système est disponible ou non pour chaque état de graphe.
  • L’utilisateur peut indiquer l’efficacité du système dans chaque état pour effectuer des études d’efficacité.
  • La saisie des taux de transition entre états achève la réalisation du graphe de Markov et autorise le lancement des calculs.

markov_1064px_1.png

  • Markov permet de calculer l’efficacité d’un système : lors du paramétrage d’un état du graphe pour lequel le système est disponible, il est possible de spécifier l’efficacité associée du système. Cela permet de prendre en compte les états dégradés et d’effectuer des calculs de disponibilité de production.

graphic_4_1_1.png.png

  • Valeur au cours du temps : sur une durée d’exploitation donnée du système, la probabilité d’être dans un état en fin de mission est intéressante, mais connaître son évolution au cours du temps peut s’avérer être encore plus utile.

graphic_3_1_1.png

La figure présente un exemple de graphique obtenu pour un système constitué de 3 composants. Chaque courbe représente la probabilité d’être dans un des 4 états suivants au cours du temps (sachant qu’à t = 0, un composant est en panne) :

  • State1 : les 3 composants fonctionnent,
  • State2 : 1 composant est en panne,
  • State3 : 2 composants sont en panne,
  • State4 : 3 composants sont en panne

Un système ne suit pas le modèle pendant toute sa durée de vie. Il peut subir des tests ou des réparations au cours desquels le système est représenté par un autre graphe de Markov.  Ces différentes phases de la vie d'un composant peuvent être modélisées dans le module de Markov, qui peut être utilisé, par exemple, pour afficher la disponibilité d'un système testé périodiquement, en tenant compte d'un grand nombre de paramètres : durée et efficacité du test, erreurs de reconfiguration, etc.

Les graphes de Markov peuvent être utilisés avec l’ensemble des modules du package Booléen de GRIF (Tree, ETree, BFiab, Reseda, SIL et Risk) pour décrire une défaillance de composant.

  • 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.
  • Des fichiers externes (certificats PDF, images du système, ...) peuvent être inclus dans le document et faire partie du rapport complet.
  • Intéraction avec le système d'exploitation : copier/coller vers ou depuis un logiciel de traitement de texte, une feuille de calcul ou un outil de présentation.

Modélisation transverse à tout secteur d’activité

Secteurs d'activités : aéronautique, aérospatial, énergies, sécurité et défense, télécoms, transports, santé, universités et recherches

La suite logicielle GRIF est adaptée pour tous les domaines d’activité

Qu’il s’agisse d’une plateforme pétrolière, d’un avion, d’un train, d’un système d’approvisionnement en eau…, GRIF est capable d’évaluer la fiabilité et la disponibilité de tout système à l’aide de différentes techniques de calculs. La variété des méthodes proposées par la suite GRIF garantit à l’utilisateur la possibilité de choisir la plus appropriée (analytique, simulation…) au cas de figure rencontré.

Configurations minimales requises

  • Intel Core i3 ou supérieur, 4 Go de RAM libre, 1 Go d'espace libre, pas de connexion Internet requise ;
  • Logiciel requis : Windows 10 ou Linux ou MacOS X avec Java 11 ;
  • Licences : Autonome avec dongle USB ou licences flottantes avec serveur Sentinel ;
  • Version d'essai est disponible sur notre site internet.

Plus d'informations ? 

Contactez-nous

À propos de GRIF

Suite logicielle GRIF

Une suite logicielle d'analyse des systèmes pour tous les secteurs d’activité.

GRIF (GRaphiques Interactifs pour la Fiabilité) est une suite logicielle d’excellence déterminant les indicateurs fondamentaux de la sûreté de fonctionnement (Fiabilité – Maintenabilité – Disponibilité – Sécurité). Forte de l'expérience de TotalEnergies en matière de recherche et développement en simulations, elle dispose de moteurs de calcul matures, performants ainsi que de capacités de modélisation répondant aux besoins de toute étude de fiabilité.

En savoir plus