grif 2011 bloc diagramme stochastiquegrif-workshop.fr/download/doc/manuel utilisateur-grif...

78
GRIF 2011 Bloc diagramme stochastique Manuel utilisateur Version 31 Janvier 2011 Copyright © 2011 Total

Upload: dinhdang

Post on 03-Feb-2018

219 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

GRIF 2011

Bloc diagramme stochastique

Manuel utilisateur

Version 31 Janvier 2011

Copyright © 2011 Total

Page 2: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 2 / 78

Table des matières1. Présentation de l'interface ........................................................................................................ 4

1.1. Fenêtre principale du module Bloc diagramme stochastique ........................................................ 41.2. Présentation des menus ........................................................................................................ 41.3. Barre d'outils verticale ......................................................................................................... 8

2. Création d'un diagramme stochastique ..................................................................................... 102.1. Saisie du diagramme .......................................................................................................... 10

2.1.1. Type de diagramme .................................................................................................... 102.1.2. Saisie des blocs en bibliothèque .................................................................................... 102.1.3. Saisie des blocs standards ............................................................................................ 112.1.4. Saisie des liens et des connecteurs ................................................................................. 192.1.5. Connecteur diviseur (diagrammes de flux) ....................................................................... 222.1.6. Saisie des blocs Source et Cible .................................................................................... 232.1.7. Les blocs Ressource .................................................................................................... 232.1.8. La fonction Négation ................................................................................................... 242.1.9. Saisie des commentaires .............................................................................................. 242.1.10. Champs dynamiques .................................................................................................. 25

2.2. Paramétrage des éléments ................................................................................................... 252.2.1. Paramétrage des blocs ................................................................................................. 262.2.2. Paramétrage des connecteurs ......................................................................................... 27

2.3. Tableaux d'édition des données ............................................................................................ 282.3.1. Présentation des tableaux ............................................................................................. 282.3.2. Accessibilité des tableaux ............................................................................................. 302.3.3. Nettoyage des tableaux ................................................................................................ 312.3.4. Création des données ................................................................................................... 31

2.4. Arborescence .................................................................................................................... 322.5. Exemple de diagramme stochastique ..................................................................................... 332.6. Utilisation des renvois ........................................................................................................ 35

2.6.1. Renvois sur les connecteurs .......................................................................................... 352.6.2. Renvois sur les blocs ou blocs dupliqués ......................................................................... 37

2.7. Gestion des pages et des groupes ......................................................................................... 372.8. Aide à la saisie ................................................................................................................. 40

2.8.1. Copier / Coller / Renuméroter (sans Renvoi) .................................................................... 402.8.2. Copier / Coller / Renuméroter (avec Renvoi) .................................................................... 412.8.3. Copier / Coller ordinaire .............................................................................................. 422.8.4. Modification Globale ................................................................................................... 432.8.5. Modification de la sélection .......................................................................................... 432.8.6. Propriétés du document / Gestion des images ................................................................... 442.8.7. Alignement ................................................................................................................ 452.8.8. Sélection multiple ....................................................................................................... 452.8.9. Sélection de partie connexe .......................................................................................... 452.8.10. Taille de la page ....................................................................................................... 452.8.11. Réticule ................................................................................................................... 462.8.12. Glue/Association graphique ......................................................................................... 46

3. Impression ............................................................................................................................. 47

4. Calculs par MOCA ................................................................................................................ 494.1. Paramétrage des calculs ...................................................................................................... 494.2. Lancement des calculs (Ancienne interface) ........................................................................... 50

4.2.1. L'onglet Données ........................................................................................................ 504.2.2. L'onglet Paramètres ..................................................................................................... 534.2.3. L'onglet Résultats ....................................................................................................... 54

4.3. Lecture des résultats (Ancienne interface) .............................................................................. 554.4. Lecture des résultats (Nouvelle interface) .............................................................................. 58

4.4.1. Tableaux et Panneaux de présentation des résultats ........................................................... 58

Page 3: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 3 / 78

4.4.2. Présentation des données Moca ..................................................................................... 60

5. Analyse des resultats pour les documents de type diagramme de fiabilité ...................................... 62

6. Courbes ................................................................................................................................ 636.1. Fenêtre d'édition des courbes ............................................................................................... 636.2. Types de courbes .............................................................................................................. 65

7. Bases de données .................................................................................................................... 697.1. Connexion à un fichier de type CSV .................................................................................... 69

7.1.1. Forme de la base de données ........................................................................................ 697.1.2. Connexion ................................................................................................................. 69

7.2. Connexion par un lien JDBC (exemple avec connecteur ODBC) ................................................ 707.2.1. Forme de la base de données ........................................................................................ 707.2.2. Connexion ................................................................................................................. 70

7.3. Utilisation ........................................................................................................................ 71

8. Enregistrer ............................................................................................................................ 738.1. Modèle ............................................................................................................................ 738.2. Modèle en réseau de Petri .................................................................................................. 738.3. Fichier RTF ..................................................................................................................... 748.4. Données d'entrée ............................................................................................................... 748.5. Fichier résultat .................................................................................................................. 748.6. Courbes ........................................................................................................................... 75

9. Options de GRIF - Bloc diagramme stochastique ....................................................................... 769.1. Exécutables ...................................................................................................................... 769.2. Base de données ............................................................................................................... 769.3. Langage ........................................................................................................................... 769.4. Options ........................................................................................................................... 769.5. Graphiques ....................................................................................................................... 779.6. Format numérique ............................................................................................................. 779.7. Blocs .............................................................................................................................. 779.8. Blocs répétés .................................................................................................................... 779.9. Connecteurs ..................................................................................................................... 789.10. Courbes ......................................................................................................................... 78

Page 4: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 4 / 78

1. Présentation de l'interface

1.1. Fenêtre principale du module Bloc diagramme stochastique

La fenêtre principale est décomposée en plusieurs parties :

• Barre de titre: La barre de titre indique le nom du module et le nom du fichier en cours d'édition.• Barre de menu: La barre de menu permet d'accéder à toutes les fonctions de l'application.• Barre d'icônes (raccourcis): La barre de raccourcis est une barre (horizontale) d'icônes permettant d'accéder

plus rapidement aux fonctions usuelles.• Barre d'outils: La barre d'outils (verticale) permet de sélectionner les éléments pour modéliser.• Zone de saisie: Un maximum de place a été laissée à la zone de saisie graphique pour permettre de réaliser

le modèle.• Arborescence: L'arborescence est "cachée" entre la zone de saisie et la barre d'outil. Elle permet de naviguer

dans les pages et groupes du document.• Ensemble des tableaux: Les tableaux sont regroupés dans des onglets "cachés" à droite de la zone de saisie.

1.2. Présentation des menus

Page 5: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 5 / 78

1. Le menu Fichier contient les commandes classiques: ouvrir, fermer, enregistrer, imprimer, etc. Il estpossible d'accéder aux propriétés (nom, date de création, créateur, description, version) et de les modifierpar les Propriétés du document. La fonction Statistiques du document permet d'avoir un certain nombred'informations sur la taille du modèle (nombre de pages, nombre de groupes, etc.). Il y a également la possibilitéd'accéder à un certain nombre (paramétrable) de fichiers dernièrement modifiés.

La barre d'icônes placée juste en dessous des menus propose des raccourcis pour la plupart des commandesde Fichier:

2. Le menu Edition contient toutes les commandes nécessaires à l'édition du modèle en cours de saisie graphique.

La barre d'icônes placée juste en dessous des menus propose des raccourcis pour la plupart des commandesde Edition:

3. Le menu Outils contient toutes les commandes nécessaires à la gestion du modèle en cours (gestion des pages,alignements, options...).

Page 6: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 6 / 78

La barre d'icônes placée juste en dessous des menus propose des raccourcis pour la plupart des commandesde Outils:

4. Le menu Document permet d'accéder à tous les documents en cours de modification ou de réalisation.

5. Le menu Bloc diagramme contient toutes les commandes nécessaires à la réalisation de la partie graphiquedu modèle en cours.

La barre d'icônes verticale placée à gauche de l'application propose des raccourcis pour chacune des commandesde Bloc diagramme (cf. Barre d'outils verticale).

Page 7: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 7 / 78

6. Le menu Données et Calculs est divisé en deux parties: la gestion des données (création et gestion des différentsparamètres) et le paramétrage/lancement des calculs (durée de calcul, calcul recherchés...).

Remarque: La fonction Vérifier permet de détecter les éventuelles erreurs du modèle: données sans valeurs(égales à NaN), blocs ayant un numéro identique, variables externes non connectées...

7. Le menu Groupe concerne la saisie et la gestion de sous-modèles regroupés en sous-ensembles indépendants.

La barre d'icônes placée juste en dessous des menus propose des raccourcis de deux des commandes de Groupe:

8. Enfin le menu Aide donne accès à l'aide en ligne, la rubrique d'aide et à l'"A propos".

Page 8: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 8 / 78

1.3. Barre d'outils verticale

Chaque modèle utilisé en sûreté de fonctionnement possède sa propre iconographie. L'ensemble de symbolesgraphiques relatifs aux diagrammes stochastiques est représenté sur la barre d'icônes placée verticalement à gauchede la fenêtre de saisie.

La barre d'outils verticale comporte les éléments suivants :

• Bloc représenté par un rectangle de couleur brune.• Bloc en bibliothèque représenté par un livre sur un rectangle de couleur brune.• Equipe de maintenance représenté par une clé sur un rectangle de couleur brune.• Pièces de rechange représenté par une valise sur rectangle de couleur brune.• Défaillances de cause commune représenté par un éclair sur un rectangle de couleur brune.• Connecteur représenté par une flèche de couleur brune.• Sortie représentée par une flèche de couleur bleue.• Lien série représenté par un arc non-orienté et permettant de connecter les différents éléments du modèle.• Lien diviseur représenté par une flèche de couleur rouge.• Lien K sur N représenté par une flèche de couleur bleue.• Bloc identique représentée par un bloc en pointillé de couleur rose.

Page 9: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 9 / 78

• Entrée représentée par une flèche de couleur rouge.• Source représentée par un cercle de couleur verte.• Cible représentée par un cercle de couleur jaune.• Bloc ressource permet de créer un bloc "indépendant" représenté par un rectangle de couleur verte et jaune.• Négation (seulement accessible en mode Diagramme de fiabilité) inverse la logique du bloc et ajoute une sorte

de croix à l'intérieur du rectangle.• Commentaire pour ajouter du texte directement sur le graphique.• Affichage dynamique pour afficher une valeur d'un élément du modèle.• Courbe pour tracer des courbes représentant des calculs sur le modèle.

Page 10: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 10 / 78

2. Création d'un diagramme stochastique

2.1. Saisie du diagramme

2.1.1. Type de diagramme

Lorsqu'un nouveau document est créé, il est possible de choisir entre deux modes de travail:

1. Diagramme de fiabilité: permet de travailler en logique booléenne ("marche/panne" ou "logique 1/0").

2. Diagramme de flux: permet de travailler avec des flux réels et des capacités pour chaque bloc.

Remarque: La différence entre les deux modes réside principalement dans la nature des prototypes disponibles etdans la manière de réaliser les calculs.

2.1.2. Saisie des blocs en bibliothèque

Dans un premier temps, il est possible de sélectionner le prototype utilisé par défaut lors de la création des blocs.Il suffit pour cela de faire un clic droit sur l'icône Bloc en bibliothèque de la barre d'outils verticale puis desélectionner dans la liste le prototype voulu.

Pour saisir les différents Blocs, il suffit de sélectionner le symbole correspondant sur la barre d'outils verticale.Ensuite à chaque clic gauche de la souris sur la surface de saisie graphique, un nouvel élément est créé. Chacundes blocs du modèle est caractérisé par trois paramètres:

1. Un numéro: Situés au centre des blocs, ils sont incrémentés automatiquement. Ces numéros sont les vraisidentifiants des blocs qui seront utilisés par le moteur de calcul. C'est pour cette raison que deux blocs nepeuvent pas avoir un numéro identique.

Page 11: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 11 / 78

2. Un nom: Un nom par défaut est attribué à chaque bloc ("Bi" pour le bloc numéro "i"). Comme chaque blocreprésente, en général, un composant ou un sous-système bien précis, il est fortement conseillé de lui attribuerun nom plus mnémotechnique que celui donné par défaut. Cela permet de mieux se repérer dans le modèle etdans le fichier résultats.

3. Un nom de prototype: C'est le nom du prototype qui est "derrière" le bloc. En effet, chaque bloc du diagrammecache un prototype représentant un "composant-type", réalisé à l'aide du module Petri12 (cf. doc sur lesprototypes).

2.1.3. Saisie des blocs standards

Une autre méthode pour saisir le diagramme stochastique consiste à utiliser des blocs prédéfinis. 4 types de blocssont disponibles:

• Bloc: représente un composant complet.

• Equipe de maintenance: représente un bloc Equipe de maintenance.

• Pièces de rechange: représente un bloc Pièces de rechange.

• Défaillance de cause commune: représente un bloc Défaillance de cause commune.

2.1.3.1. Bloc complet

Un bloc complet est utilisé pour modéliser un composant de manière simple.

Pour créer un bloc complet, il suffit de sélectionner le symbole Bloc sur la barre d'outils verticale ou de lesélectionner grace au menu Bloc diagramme. Ensuite à chaque clic gauche de la souris sur la surface de saisiegraphique, un nouvel élément est créé.

Il est ensuite possible d'éditer la configuration du bloc en faisant un clic droit sur le symbole du bloc précédemmentplacé sur la surface de saisie graphique.

Une fenêtre multi-onglets permet de configurer le bloc.

Page 12: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 12 / 78

Onglet Description du prototype:

Il contient les informations sommaires du prototype.

• Nom: nom du prototype.• Id: identifiant du prototype.• Utiliser une image pour ce bloc: permet de changer l'icone du bloc. Pour cela, il suffit de sélectionner la boite

à cocher et de choisr l'icone en appuyant sur le bouton .• Capacité maximum: Capacité maximale en mode nominal. Cette propriété n'est accessible que pour les

diagrammes de flux.

Onglet Caractéristiques principales:

Il contient les caractéristiques principales du protype.

• Type de panne: type de panne (Panne révélée, Panne cachée, Panne cachée + Panne révélée, Panne critique,Panne critique + Panne dégradée).

Page 13: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 13 / 78

• Etat initial du prototype: Le menu déroulant permet de sélectionner l'état initial du composant : Marche,Panne ou autres (la liste varie suivant le type de panne).

• Gestion d'un stock de pièces de rechange: permet la sélection d'un stock de pièces de rechange pour laréparation du composant. Il est possible de sélectionner le stock dans le menu déroulant ou alors de le

sélectionner ou de le créer grâce au bouton .• Maintenance préventive: permet d'activer la définition de la maintenance préventive. Cette option n'est

accessible que dans le cas d'une panne critique ou d'une panne dégradée.• Standby: permet d'activer la définition de l'état standby.• Condition(s) de démarrage: condition(s) nécessaire(s) pour que le composant quitte l'état standby. La

condition est éditable directement dans le champ ou alors il est possible d'utiliser un éditeur grâce au bouton .• Probabilité de non démarrage à la sollicitation: probabilité que le composant tombe en panne lorsqu'il doit

sortir de l'état standby. Pour activer la probabilité de non démarrage à la sollicitation, il faut cocher la boiteà cocher.

• Loi et Paramètres: loi régissant la panne lors de l'état standby.• Utilisation d'une équipe de réparateurs: permet la sélection d'une équipe de réparateur pour réparer le

composant en cas de panne dans l'état standby. Pour activer l'utilisation d'une équipe de réparateurs, il fautcocher la boite à cocher.Il est possible de sélectionner l'équipe dans le menu déroulant ou alors de la sélectionner

ou de la créer grâce au bouton .

Onglet Panne révélée:

Il contient la configuration des pannes révélées.

• Définition de la défaillance révélée: définition de la loi régissant la panne révélée.• Défaillance de cause commune: permet la sélection d'une défaillance de cause commune. Pour activer la

défaillance de cause commune, il faut cocher la boite à cocher. Il est possible de sélectionner la défaillance dans

le menu déroulant ou alors de la sélectionner ou de la créer grâce au bouton .• Réparable: permet de spécifier si la panne révélée est réparable. La définition de la réparation doit ensuite être

configurée.• Loi et Paramètres de la réparation: définition de la loi régissant la réparation.• Utilisation d'une équipe de réparateurs: permet la sélection d'une équipe de réparateurs pour réparer la panne

révélée. Pour activer l'utilisation d'une équipe de réparateurs, il faut cocher la boite à cocher. Il est possiblede sélectionner l'équipe de réparateurs dans le menu déroulant ou alors de la sélectionner ou de la créer grâce

au bouton .

Page 14: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 14 / 78

Onglet Panne cachée:

Il contient la configuration des pannes cachées.

• Définition de la défaillance cachée: définition de la loi régissant la panne cachée.

• Défaillance de cause commune: permet la sélection d'une défaillance de cause commune. Pour activer ladéfaillance de cause commune, il faut cocher la boite à cocher. Il est possible de sélectionner la défaillance dans

le menu déroulant ou alors de la sélectionner ou de la créer grâce au bouton .

• Réparable: permet de spécifier si la panne cachée est réparable. La définition de la réparation doit ensuite êtreconfigurée.

• Type de test et Paramètres de la réparation: définition de la manière dont les tests sont effectués et la manièredonc la panne cachée est réparée.

• Utilisation d'une équipe de réparateurs: permet la sélection d'une équipe de réparateurs pour réparer la pannecachée. Pour activer l'utilisation d'une équipe de réparateurs, il faut cocher la boite à cocher. Il est possible desélectionner l'équipe de réparateurs dans le menu déroulant ou alors de la sélectionner ou de la créer grâce au

bouton .

Page 15: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 15 / 78

Onglet Panne critique:

Il contient la configuration des pannes critiques.

• Définition de la défaillance critique: définition de la loi régissant la panne critique.

• Défaillance de cause commune: permet la sélection d'une défaillance de cause commune. Pour activer ladéfaillance de cause commune, il faut cocher la boite à cocher. Il est possible de sélectionner la défaillance dans

le menu déroulant ou alors de la sélectionner ou de la créer grâce au bouton .

• Réparable: permet de spécifier si la panne critique est réparable. La définition de la réparation doit ensuiteêtre configurée.

• Loi et Paramètres de la réparation: définition de la loi régissant la réparation de la panne critique.

• Utilisation d'une équipe de réparateurs: permet la sélection d'une équipe de réparateurs pour réparer la pannecritique. Pour activer l'utilisation d'une équipe de réparateurs, il faut cocher la boite à cocher. Il est possiblede sélectionner l'équipe de réparateurs dans le menu déroulant ou alors de la sélectionner ou de la créer grâce

au bouton .

Page 16: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 16 / 78

Onglet Panne dégradée:

Il contient la configuration des pannes dégradées.

• Définition de la défaillance dégradée: définition de la loi régissant la panne dégradée.• Capacité en mode dégradé: Capacité du composant lorsqu'il est dans l'état panne dégradée. Cette propriété

n'est accessible que pour les diagrammes de flux.• Passage à l'état critique: définition de la loi régissant le passage à l'état critique.• Réparable: permet de spécifier si la panne critique est réparable. La définition de la réparation doit ensuite

être configurée.• Condition de la réparation: définition de la condition pour la réparation de la panne dégradée. La condition

est éditable directement dans le champ ou alors il est possible d'utiliser un éditeur grâce au bouton .• Loi et Paramètres de la réparation: définition de la loi régissant la réparation dégradée.

Onglet Maintenance préventive:

Page 17: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 17 / 78

Il contient la configuration de la maintenance préventive du composant.

• Type de maintenance: type de maintenance préventive.

• Fréquence de maintenance: fréquence pour chaque type de maintenance préventive.

• Durée de la maintenance: duréee pour chaque type de maintenance préventive.

• Condition de démarrage de la maintenance: définition de la condition de démarrage de la maintenancepréventive. La condition est éditable directement dans le champ ou alors il est possible d'utiliser un éditeur

grâce au bouton .

• Sélection de l'équipe de maintenance: permet la sélection d'une équipe de maintenance. Pour activer lasélection de l'équipe de maintenance, il faut cocher la boite à cocher. Il est possible de sélectionner l'équipe de

maintenance dans le menu déroulant ou alors de la sélectionner ou de la créer grâce au bouton .

2.1.3.2. Blocs ressources

Il existe 3 types de blocs de ressources:

• Equipe de maintenance.

• Pièces de rechange.

• Défaillance de cause commune.

Pour créer un bloc Equipe de maintenance ou Pièces de rechange ou Défaillance de cause commune, il suffit desélectionner le symbole associé sur la barre d'outils verticale ou de le sélectionner grace au menu Bloc diagramme.Ensuite à chaque clic gauche de la souris sur la surface de saisie graphique, un nouvel élément est créé. Une autreméthode consiste à utiliser les tableaux. Il suffit alors de sélectionner l'onglet du type de bloc souhaité et cliquer

sur le bouton Ajouter .

• Equipe de maintenance:

• Pièces de rechange:

Page 18: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 18 / 78

• Défaillance de cause commune:

La configuration de chaque bloc est éditable en faisant un clic droit sur le symbole du bloc placé sur la surface desaisie graphique ou par l'intermédiaire du tableau associé au type de bloc.

2.1.3.2.1. Equipe de maintenance

• Nom: nom du bloc Equipe de maintenance.

• Numéro: numéro du bloc Equipe de maintenance.

• Nombre de réparateurs: nombre de réparateur dans l'équipe.

• Avec mobilisation: spécifie si l'équipe doit être mobilisée.

• Temps de mobilisation: temps à partir duquel l'équipe pourra intervenir sur la panne.

• Réparation à partir de la Kième panne: taille de stock à partir de laquelle on lance un ré-approvisionnement.

• Plages horaires: spécifie la plage horaire durant laquelle l'équipe peut intervenir sur la panne.

• Heure de début: heure de début de la plage horaire d'intervention.

• Heure de fin: heure de fin de la plage horaire d'intervention.

Page 19: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 19 / 78

2.1.3.2.2. Pièces de rechange

• Nom: nom du bloc Pièces de rechange.• Numéro: numéro du bloc Pièces de rechange.• Stock initial: nombre de pièces composant le stock initial.• Réapprovisionnement: type de réapprovisionnement des pièces de rechange (Aucun, Périodique, A la

demande).• Stock après réapprovisionnement: nombre de pièces dans le stock après réapprovisionnement.• Seuil: nombre de pannes de l'équipement à partir duquel le réapprovisionnement sera éffectué (valable

uniquement dans le cas d'un réapprovisionnement à la demande).• Délai: délai de réapprovisionnement après que le seuil ait été atteint (valable uniquement dans le cas d'un

réapprovisionnement à la demande).• Premier réapprovisionnement: date du premier réapprovisionnement (en heures) (valable uniquement dans

le cas d'un réapprovisionnement périodique).• Durée entre 2 réapprovisionnements: durée entre 2 réapprovisionnements (en heures) (valable uniquement

dans le cas d'un réapprovisionnement périodique).

2.1.3.2.3. Défaillance de cause commune

• Nom: nom du bloc Défaillance de cause commune.• Numéro: numéro du bloc Défaillance de cause commune.• Loi et Paramètres: définition de la loi régissant la défaillance de cause commune.

2.1.4. Saisie des liens et des connecteurs

LES LIENS

• Fonction: permet de relier deux éléments (bloc ou connecteur) de manière directe.

Page 20: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 20 / 78

• Représentation graphique: un arc non-orienté.

• Création d'un lien:1. sélectionner l'icône correspondante de la barre d'outils verticale;2. sélectionner un élément (bloc ou connecteur) de départ en cliquant dessus avec le bouton gauche;3. faire glisser la souris (sans lâcher le bouton) jusqu'à l'élément d'arrivée et relâcher le bouton.L'ordre de création peut dans certains cas avoir son importance (cf. ultérieurement).

• Exemple:

Dans l'exemple ci-dessus, deux liens série ont été tracés: un entre les blocs B1 et B3 puis un autre entre B2 et B4.

LES CONNECTEURS

• Fonction: élément pouvant "être la source" et/ou "être la cible" de plusieurs liens.1. S'il est la "source" de plusieurs liens, il est appelé connecteur diviseur.2. S'il est la "cible" de plusieurs liens, il est appelé connecteur K sur N.

• Représentation graphique:1. les connecteurs "classiques" sont des triangles de couleur brune;2. les connecteurs diviseurs sont des triangles de couleur rouge;3. les connecteurs K sur N sont des triangles de couleur bleue.Remarque importante: En fonction des liens qui sont reliés au connecteur, ce dernier est convertiautomatiquement en diviseur ou en K sur N.

• Identification: chaque connecteur est défini par1. un numéro: C'est le "vrai" identifiant (celui qui sera utilisé par le moteur de calcul). Les numéros sont

incrémentés automatiquement. Deux connecteurs ne peuvent pas avoir un numéro identique.2. un nom: Il permet simplement à l'utilisateur de donner au connecteur une appellation lui permettant de mieux

se repérer au sein du modèle.3. un nombre K (seulement pour les connecteurs K sur N): Ici, N est le nombre de connections en entrée du

connecteur. Si au moins K d'entre elles sont à VRAI, alors la valeur booléenne transmise par la sortie duconnecteur est VRAI sinon c'est FAUX.

• Utilisation:

Pour créer un connecteur "classique", il suffit de1. sélectionner l'icône correspondante de la barre d'outils verticale;2. faire un clic gauche dans la zone de saisie à l'endroit désiré.

Il est possible de créer directement des connecteurs diviseurs ou K sur N. Pour cela, il suffit de1. sélectionner l'icône correspondante de la barre d'outils verticale;2. sélectionner un élément (bloc ou connecteur) de départ en cliquant dessus avec le bouton gauche;3. faire glisser la souris (sans lâcher le bouton) jusqu'à l'élément d'arrivée et relâcher le bouton.

Page 21: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 21 / 78

• Exemple:

Dans l'exemple ci-dessus, un connecteur diviseur a été tracé entre les blocs B1 et B3 et un connecteur K surN a été tracé entre B2 et B4.

La création des connecteurs peut se faire de manière automatique simplement en créant des liens entre les différentséléments. Voici quelques exemples permettant de comprendre comment cela fonctionne:

• Soit quatre blocs B1, B2, B3 et B4.

Page 22: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 22 / 78

• Si un lien est tracé entre B1 et B2 puis un autre entre B1 et B3, alors un connecteur diviseur est automatiquementcréé.

• Si un lien est tracé entre B2 et B4 puis un autre entre B3 et B4, alors un connecteur K sur N est automatiquementcréé (avec K égal à 1).

• Il suffit maintenant de tracer un lien entre B4 et le connecteur C1 pour vérifier qu'un connecteur ayant plusieursentrées et plusieurs sorties redevient un connecteur classique.

Remarque: Pour lier de nouveaux composants à B4 (par exemple), la "cible" du lien peut être indifféremmentle bloc B4 ou le connecteur C2.

Note: Il faut faire attention car dans le cas des créations automatiques de connecteurs, le sens de création desliens a une importance de premier ordre. En effet, c'est ce sens qui va déterminer la nature des connecteurs (cf.exemples ci-dessus).

2.1.5. Connecteur diviseur (diagrammes de flux)

2.1.5.1. Choix du type de connecteur

Les connecteurs diviseurs sont des connecteurs dont les sorties ne sont pas egales aux entrées. Pour passer d'unconnecteur normal à un connecteur diviseur en effectuant un clic droit sur le connecteur et en choisissant Typede connecteur/ Connecteur diviseur.

Page 23: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 23 / 78

2.1.5.2. Configuration du connecteur diviseur

Lors de l'édition des propriétés d'un connecteur diviseur, la fenêtre suivante s'affiche.

Pour chaque sortie (ici une vers C2, une vers B3, une vers B1) il est possible de choisir un coefficient qui serautilisé pour calculer la valeur de la sortie. Soit coeffi le coefficient associé à la sortie Si, alors Si = Entrée / Référence* coeffi.

2.1.6. Saisie des blocs Source et Cible

Tout modèle doit comporter au moins un bloc Source et un bloc Cible.

Remarque: Dans le cas d'un diagramme de fiabilité, il peut y avoir plusieurs "Sources" et/ou plusieurs "Cibles".Dans le cas d'un diagramme de flux, il ne peut y avoir qu'une seule "Source" et qu'une seule "Cible" (pour desraisons de méthode de calcul).

• La ou les Sources doivent obligatoirement être placées en début de diagramme. Il est impossible de créer desliens dirigés vers elles.

• La ou les Cibles doivent obligatoirement être placées en fin de diagramme. Il est impossible de créer des lienspartant d'elles.

Pour créer ces deux types de blocs, il suffit de

1. sélectionner l'icône correspondante de la barre d'outils verticale;2. faire un clic gauche dans la zone de saisie à l'endroit désiré.

Exemple:

Remarque: Les calculs de disponibilité et de fiabilité seront effectués au niveau des blocs "Cible".

2.1.7. Les blocs Ressource

Certains prototypes de la bibliothèque servent à modéliser des événements "parallèles" au modèle: les défaillancesde mode commun (prototype "CCF"), les mobilisations et démobilisations des supports d'intervention (prototype

Page 24: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 24 / 78

"MobilK")... Les blocs utilisant ce genre de prototype n'ont pas leur place dans la logique d'un diagrammefonctionnel mais doivent pourtant être bien pris en compte pour les calculs.

Afin de clairement spécifier que ce genre de bloc doit être considéré dans les calculs, il faut les définir comme"Blocs Ressource". Pour cela, il faut sélectionner l'icône correspondante de la barre d'outils verticale puis cliquersur le bloc concerné.

Remarque: Les calculs de disponibilité et de fiabilité seront effectués au niveau des blocs "Ressource" en plus desblocs "Cible" (voir les options pour désactiver les calculs sur les ressources).

2.1.8. La fonction Négation

C'est une fonction qui n'est disponible que dans le cadre des diagrammes de flux. Elle permet d'inverser la logiquebooléenne d'un bloc.

Pour poser une "Négation" sur un bloc il faut:

1. sélectionner l'icône correspondante de la barre d'outils verticale;2. faire un clic gauche sur le bloc concerné.

Remarque: En mode d'édition de diagramme de flux, la fonction "Négation" n'est pas accessible.

2.1.9. Saisie des commentaires

Pour ajouter un commentaire n'importe où sur le modèle il suffit de cliquer sur l'icône représentant un crayon etde se placer sur un endroit de la zone de saisie graphique. La boîte de dialogue Commentaire s'ouvre et il estalors possible de saisir le commentaire désiré.

Remarque : le caractère "%" est un caractère spécial, il doit être doublé "%%" pour pouvoir afficher "%".

Page 25: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 25 / 78

2.1.10. Champs dynamiques

Il peut s'avérer intéressant d'afficher sur le modèle la valeur d'un paramètre ou de tout autre information dontla valeur peut être modifiée. Pour cela, il suffit d'utiliser des champs dynamiques en sélectionnant l'icônecorrespondante dans la barre d'outils verticale:

Les champs dynamiques sont en quelque sorte des "commentaires améliorés". En effet, non seulement ilspermettent de saisir des mots ou des phrases mais il est également possible d'insérer des valeurs du modèle.

• la date;• la valeur d'une variable (la variable est sélectionnée par l'utilisateur à l'aide d'une liste déroulante);• la valeur d'un paramètre (le paramètre est sélectionné par l'utilisateur à l'aide d'une liste déroulante);• le nombre de jetons dans une place (l'utilisateur doit saisir le numéro de la place ciblée);• l'expression d'une variable (la variable est sélectionnée par l'utilisateur à l'aide d'une liste déroulante).

Une fois que l'utilisateur a fait son choix (par double-clic) parmi les types d'éléments qu'il est possible d'observer,un morceau de code est inséré dans la partie texte. C'est lui qui va permettre l'accès à la valeur du paramètre.Si le champ dynamique inséré ne correspond à aucun élément du modèle (paramètre qui n'existe plus, ...) alorsl'inscription undef est affichée.

Remarque : Afin de bien les différencier, les champs dynamiques sont affichés en rouge (contrairement auxcommentaires qui sont affichés en bleu).

Remarque : le caractère "%" est un caractère spécial, il doit être doublé "%%" pour pouvoir afficher "%".

Exemple d'un champ dynamique permettant d'observer la valeur d'un paramètre :

2.2. Paramétrage des éléments

De manière générale tous les éléments graphiques peuvent être édités en faisant un double-clic ou avec le menuEdition - Propriétés, ou encore avec la combinaison de touches Alt + Entrée.

Page 26: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 26 / 78

2.2.1. Paramétrage des blocs

Lorsque l'utilisateur fait un clic droit sur un bloc, il a le choix entre

• changer le prototype (sélection d'un autre prototype dans la bibliothèque);• modifier les propriétés et paramétrer l'élément à partir du prototype.

Concernant la modification des propriétés, la fenêtre se compose de quatre onglets.

2.2.1.1. Onglet General

Cet onglet est le premier qui apparaît. Il permet de

• saisir le nom du bloc;• changer le numéro;• sélectionner l'état initial;• lire la totalité des commentaires.

2.2.1.2. Onglet Transitions

Cet onglet permet de paramétrer toutes les transitions du prototype qui ont été définies comme externes. Elles sontlistées dans un tableau à deux colonnes. Pour modifier les lois de transition, il suffit de

• faire un double-clic dans la colonne de droite;• sélectionner une loi;

Page 27: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 27 / 78

• paramétrer la loi.

Remarque: Il est possible d'accéder aux paramètres du modèle afin de les utiliser au niveau des lois de transition.

2.2.1.3. Onglet Places

Cet onglet permet de relier les places externes du prototype à des places du modèle. Les places sous BStoK nesont pas représentées graphiquement. Leur seule utilité est de pouvoir établir des connexions avec les prototypes.Pour chaque place du tableau:

• faire un double-clic dans la colonne de droite;

• saisir le numéro de la place du modèle à laquelle elle sera connectée;

• appuyer sur la touche Entrée du clavier afin de valider la sélection.

Remarque: S'il reste des places qui ne sont pas connectées, aucun calcul ne peut être lancé.

2.2.1.4. Onglet Variables

Cet onglet permet de relier les variables externes du prototype à des variables du modèle. Pour chaque variabledu tableau:

• faire un double-clic dans la colonne de droite;

• sélectionner une des variables du modèle à l'aide de l'éditeur de code;

• cliquer sur Ok afin de valider la sélection.

Remarque: S'il reste des variables qui ne sont pas connectées, aucun calcul ne peut être lancé.

Remarque2 : Soit "varInPrototype" une variable modifiée à l'intérieur du prototype. Soit "var" une variable dudocument avec une définition complexe : var = var2 * 2, il est impossible de connecter "varInPrototype" à "var".S'il y a une transition avec une affectation "varInPrototype" = 3 dans le prototype. Cela deviendrait "var" = 3. Or"var" ne peut évidemment pas être égale à 3 et à "var2" * 2 !

2.2.1.5. Onglet Paramètres

Cet onglet permet de donner une valeur aux paramètres externes du prototype. Pour chaque paramètre du tableau:

• faire un double-clic dans la colonne de droite;

• sélectionner un des paramètres du modèle à l'aide de la liste déroulante OU saisir directement une valeur;

• appuyer sur la touche Entrée du clavier afin de valider la sélection.

Remarque: L'utilisation des prototypes sous le module BStoK et tous les problèmes de connexion sont abordésplus en détail dans le document sur les prototypes.

2.2.2. Paramétrage des connecteurs

Il est permis à l'utilisateur de modifier les paramètres d'un connecteur:

• changer le nom et/ou le numéro pour les connecteurs diviseurs et ceux dits "classiques";

• changer le nom, le numéro et/ou la valeur de K pour les connecteurs K sur N.

Page 28: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 28 / 78

Remarque: Dans le cas d'une modification du numéro, il est important de garder à l'esprit que deux connecteursne peuvent pas avoir un même numéro.

2.3. Tableaux d'édition des données

2.3.1. Présentation des tableaux

Pour créer ou modifier des données, un ou plusieurs tableaux (suivant le module) sont disponibles dans le menuDonnées et Calculs. Tous les tableaux de données de GRIF 2011 fonctionnent de la même manière.

Les tableaux/panneaux d'édition de données sont composés de 3 parties:

• La partie supérieure contenant les boutons.• La partie principale contenant le tableau de données.• La partie inférieure indiquant l'utilisation faite de la donnée sélectionnée.

Enregistre le tableau dans un fichier texte.

Ouvre le tableau dans un éditeur de texte (celui étant défini dans les options).

Ouvre le gestionnaire de colonnes.

Lorsque le bouton afficher la sélection est enfoncé, un clic dans le tableau provoque la sélectiondans la zone de saisie.

Affiche la partie permettant de filtrer les données.

Modification multiple sur l'ensemble des données sélectionnées.

Page 29: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 29 / 78

Crée une nouvelle donnée.

Duplique la donnée sélectionnée (demande un nouveau nom fait une copie)

Supprime la (ou les) donnée(s) sélectionnée(s).

Permet d'activer ou non le filtrage des données.

Permet de définir le filtre à appliquer sur les données.

Le filtrage permet de n'afficher que ce qui est utile dans un tableau. Il est possible de combiner plusieurs critèresde filtrage, comme ci dessous :

Sélectionner AND ou OR pour choisir le type d'association entre chaque ligne (critère du filtre). Une ligne estune expression booléenne composée de 3 parties:

1. la première est la colonne sur laquelle est effectué le filtre;2. la deuxième est le comparateur;3. la troisième est la valeur à laquelle la donnée sera comparée.

Si l'expression booléenne est vraie, la donnée sera gardée (affichée), sinon la donnée sera masquée. Lorsque lefiltre est activé, sa valeur est affichée entre < et >.

Il est possible de double-cliquer sur l'en-tête de chaque colonne pour trier les données suivant cette colonne. Unpremier double-clic triera les données dans l'ordre croissant (petit triangle vers le haut). Le deuxième double-clicsur le même en-tête triera dans l'ordre décroissant (petit triangle vers le bas).

Un tableau peut-être composé de nombreuses colonnes, il est possible que des colonnes soient inutiles dans certainscas. La colonne "reliée à la base" est inutile lorsqu'aucune base de données n'est disponible. Il est donc possiblede choisir les colonnes qui seront affichées ainsi que leur ordre. Pour cela, il suffit de faire un clic droit sur un en-tête du tableau, ou de cliquer sur le bouton Gestionnaire de Colonnes, la fenêtre suivante s'ouvre :

Il est possible de choisir les colonnes à afficher en cochant (ou décochant) les cases correspondantes. Lesflèches situées à droite permettent de monter et descendre les colonnes dans la liste de manière à choisir l'ordre

Page 30: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 30 / 78

des colonnes. La case Désactiver le tri permet de désactiver le tri des données. Cela permet d'améliorer lesperformances de l'application avec des modèles très complexes.

Pour modifier une donnée, il suffit de double-cliquer sur la case à modifier. Lorsque plusieurs lignes sontsélectionnées (a l'aide des touches CTRL ou SHIFT), il est possible de faire des modifications sur l'ensemble desdonnées sélectionnées en utilisant le bouton Modifications Multiples. Une fenêtre s'ouvre alors pour permettreles modifications.

Ce qui ne peut pas être modifié est grisé. Les lignes blanches signifient que les données sélectionnées n'ont pas lamême valeur pour le champ en question, il est possible d'entrer la nouvelle valeur qui sera prise en compte pourtoutes les données sélectionnées. Les lignes qui n'ont pas de couleur de fond indiquent que toutes les donnéessélectionnées ont la même valeur pour ce champ (ici les données sélectionnées sont toutes des "Float"), il estpossible de les modifier pour donner une nouvelle valeur à toutes les données sélectionnées.

Le tableau inférieur du tableau de données, indique quels sont les éléments du modèle qui utilisent la donnéesélectionnée. La première colonne de ce tableau indique le nom de ces éléments, la deuxième indique leurlocalisation dans le document (page, groupe). Un clic sur une ligne de ce tableau inférieur ouvrira la page où estsitué l'élément et le sélectionnera.

2.3.2. Accessibilité des tableaux

Comme indiqué précédemment les tableaux sont accessibles par le menu Données et Calculs, dans ce cas chaquetableau est affiché dans une fenêtre indépendante.

Pour éviter de multiplier les fenêtres ouvertes, tous les tableaux ont été rassemblés dans des onglets dans la partiedroite de l'application. Cette partie est "rétractable" à l'aide des petites flèches en haut de la séparation avec lazone de saisie.

Il est possible de choisir les tableaux présents dans cette zone en faisant un clic droit sur les onglets.

Page 31: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 31 / 78

2.3.3. Nettoyage des tableaux

Des données peuvent ne plus être utilisées et il est parfois nécessaire de supprimer toutes les données inutilisées.Pour cela utilisez le menu Données et Calculs / Supprimer les données inutilisée

La fenêtre ci dessus s'affiche et présente toutes les données inutilisées. Sélectionnez les données que vous souhaitezvraiment supprimer puis cliquez sur OK.

2.3.4. Création des données

L'éditeur de paramètres permet de créer des paramètres de type booléen, entier, et réel. La fenêtre suivantepermet de choisir le nom, le domaine et la valeur du paramètre.

L'éditeur de variables permet de créer des variables définies à l'aide d'expressions complexes. La création se faitavec la même fenêtre que les paramètres.

Lorsque la variable est crée, un double clic dans la partie définition ouvre l'éditeur de code.

Page 32: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 32 / 78

L'éditeur de code est composé de trois parties. La première est une zone de texte éditable permettant de saisie ducode à la syntaxe Moca-RP. Sous cette zone se trouve une zone non éditable indiquant d'éventuelles erreurs. Latroisième est la partie Outils qui est une aide à la saisie.

Le bouton Syntaxique effectue une vérification syntaxique. Le bouton Sémantique effectue une vérificationsémantique. Les erreurs sont affichées dans la partie inférieure gauche. Sous les boutons se trouvent des menusdéroulants qui permettent d'accéder aux différentes données du modèle. Sélectionner la donnée voulue puis cliquersur le bouton <= pour l'insérer dans le code.

Le menu déroulant Fonctions donne accès à l'ensemble des fonctions utilisables dans Moca (cf Manuel UtilisateurMoca).Le troisième menu déroulant affiche la liste des fonctions disponibles dans la dll MocaAdd.dll, pour plusd'information à ce sujet reportez vous au manuel utilisateur Moca12.

Il est possible de transformer un paramètre en variable ou inversement, en faisant un clic droit sur la donnée et ensélectionnant : Changer en variable ou Changer en paramètre.

2.4. Arborescence

De manière à naviguer facilement dans le document (les pages, groupes et sous-groupes), une arborescence estdisponible sur la gauche de l'application. Par défaut, tous les éléments sont affichés, vous pouvez utiliser le boutonFiltre pour spécifier les éléménts que vous souhaitez afficher ou non.

Vous pouvez développer ou réduire un noeud de manière récursive en faisant un clic droit sur le noeud.

Comme pour les tableaux de données à droite, il est possible de "cacher" cette arborescence.

Page 33: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 33 / 78

2.5. Exemple de diagramme stochastique

Voici un diagramme stochastique, modélisant le comportement d'un système quelconque pour lequel seules deuxéquipes de réparateurs sont disponibles.

Le diagramme ci-dessus comporte neuf blocs :

• Comp1• Numéro: 1• Prototype: Mod2• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_A et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK1

• Comp2• Numéro: 2• Prototype: Mod2test• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_B et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK2

• Comp3• Numéro: 3• Prototype: Mod2test

Page 34: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 34 / 78

• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_B et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK3

• Comp4• Numéro: 4• Prototype: Mod2test• Etat initial: "Panne"• Transitions: Failure est une loi exponentielle de paramètre Lambda_B et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK4

• Comp5• Numéro: 5• Prototype: Mod2test• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_B et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK5

• Comp6• Numéro: 6• Prototype: Mod2test• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_B et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut)• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK6

• Comp7• Numéro: 7• Prototype: Mod1• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre 2.5e-5• Variables: Nbrep est connectée à Nbrep_system• Paramètres: NK prend la valeur NK7

• Comp8• Numéro: 8• Prototype: Mod2• Etat initial: "Panne"• Transitions: Failure est une loi exponentielle de paramètre Lambda_A et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut).• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK8

• Comp9• Numéro: 9• Prototype: Mod2• Etat initial: "Marche"• Transitions: Failure est une loi exponentielle de paramètre Lambda_A et Repair est une loi exponentielle

de paramètre Mu (les autres transitions conservent leur loi par défaut).• Variables: Nbrep est connectée à Nbrep_system• Paramètres: gamma prend la valeur G et NK prend la valeur NK9

Page 35: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 35 / 78

Cinq connecteurs :

• Div1• Numéro: 1• Type: diviseur

• Conv1_Div2• Numéro: 2• Type: K sur N et diviseur• Valeur de K: 2

• Conv2• Numéro: 3• Type: K sur N• Valeur de K: 1

• Div3• Numéro: 4• Type: diviseur

• Conv3• Numéro: 5• Type: K sur N• Valeur de K: 1

Un bloc "Source" :

• Nom: "in"• Valeur de NK: 100.0

Un bloc "Cible" :

• Nom: "out"• Valeur de NK: valeur par défaut

Dans cet exemple, la plupart des lois qui ont été utilisées sont des lois exponentielles et des lois de Dirac.Cependant, n'importe quel autre type de loi aurait pu être utilisé (par exemple la loi log-normale pour la transitionde réparation). D'autre part, la présence de lois de Dirac a permis de mélanger les phénomènes déterministes etles phénomènes aléatoires.

Ce diagramme, élaboré en quelques minutes, a permis de modéliser (sur fond de réseaux de Petri) plusieurscomposants plus ou moins complexes: réparables, non réparables, périodiquement testés... (le tout sous unecontrainte de nombre d'équipes de réparation limité).

Au travers de cet exemple, on peut s'apercevoir que le module BStoK allie:

• la souplesse des réseaux de Petri (au travers de l'exhaustivité de la liste de prototypes disponibles);• la rapidité de saisie.

Remarque: La bibliothèque de prototypes peut être modifiée ou complétée afin d'augmenter la puissance demodélisation (cf. document sur les prototypes).

2.6. Utilisation des renvois

2.6.1. Renvois sur les connecteurs

La notion de renvoi (ou élément répété) a été introduite dans le module Bloc diagramme stochastique pour quatreraisons essentielles :

• Faire communiquer des différentes portions du modèle entre elles;

Page 36: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 36 / 78

• Eviter les modèles graphiquement trop chargés et ainsi préserver la lisibilité;

• Faciliter l'utilisation de la fonction Grouper (cf. ultérieurement);

• Mettre en évidence l'essentiel et l'accessoire.

Soit deux blocs Sys1 et Sys2 reliés par un simple lien:

La création d'un renvoi de liens se fait en plusieurs étapes:

1. Supprimer le lien existant.

2. Créer une Sortie et tracer un lien entre Sys1 et cette Sortie.

3. Créer un connecteur Entrée relatif à la Sortie (en faisant un clic gauche sur l'icône correspondante de la barred'outils verticale puis en cliquant sur la Sortie).

4. Tracer enfin un lien entre le connecteur Entrée et Sys2.

Le connecteur Sortie (le bleu) porte un nom et un numéro tandis que le connecteur Entrée (le rouge) ne comporteque le numéro de la Sortie à laquelle il est lié.

Tout en étant liés du point de vue "logique de calcul", les deux blocs sont maintenant totalement indépendantsdu point de vue graphique. Il est maintenant possible de les placer sur des pages différentes ou dans des groupesdifférents (cf. ultérieurement).

Page 37: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 37 / 78

2.6.2. Renvois sur les blocs ou blocs dupliqués

Du point de vue logique, il est possible qu'un bloc ait "un impact" sur plusieurs "branches" d'un même diagramme.Afin de modéliser correctement ce cas de figure, il est nécessaire de dupliquer ce bloc. Pour cela, il suffit desélectionner l'icône correspondante de la barre d'outils verticale puis de cliquer sur le bloc à dupliquer:

Le bloc venant d'être dupliqué est maintenant marqué par un contour en double trait tandis que le bloc dupliquéest coloré en rose avec un contour en pointillés.

Au centre du bloc dupliqué sont affichés son propre numéro et le numéro du bloc d'origine. Et en dessous dubloc apparaîssent:

• le nom du bloc d'origine précédé de "Ref=",• le nom du bloc dupliqué,• un commentaire éventuel.

Le numéro, le nom et le commentaire peuvent être modifiés à l'aide d'un clic droit:

Il suffit maintenant d'insérer le bloc dupliqué dans le modèle sachant qu'à chaque instant son état sera égal à celuidu bloc d'origine.

Remarque: Evidement, si le bloc d'origine est supprimé alors le bloc répété l'est aussi.

2.7. Gestion des pages et des groupes

L'utilisation des renvois nous a permis d'obtenir deux sous Bloc diagramme n'ayant plus aucun lien graphiqueentre eux. Ils communiquent uniquement par le biais des renvois. Cela peut être mis à profit, par exemple, pourmettre chaque sous partie sur une page différente :

1. Créer une nouvelle page en cliquant sur l'icône correspondante de la barre d'icône (ou bien utiliser le menuOutils - Nouvelle Page). Une page numéro 2 est ainsi créée.

2. Revenir sur la page 1 en sélectionnant la page à l'aide du sélectionneur de page de la barre de commandesidéographiques (ou bien utiliser le menu Outils - Gestionnaire de pages).

3. Sélectionner la partie à déplacer.4. Ouvrir le menu Outils - Changement de page.5. Sélectionner la page 2 et faire OK. La partie sélectionnée se trouve transférée sur la page 2 mais elle continue

à communiquer avec la page 1 grâce aux renvois.

Page 38: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 38 / 78

Remarque: Dans le cas de gros modèles, le découpage décrit ci-dessus est très utile.

Une autre possibilité pour saisir un Bloc diagramme est de mettre en œuvre la notion de Groupe. Cela est rendupossible grâce aux renvois et au fait que les données soient globales pour le document, cela permet de créer dessous-parties bien séparées :

1. Sélectionner une sous-partie.

2. Utiliser le menu Groupe - Grouper. Une boîte de dialogue s'ouvre alors et demande le nom à donner au groupeen cours de création.

3. Entrer le nom désiré et cliquer sur OK (par exemple "System 1"). Le groupe est créé: le sous Bloc diagrammeest remplacé par un rectangle affecté du nom choisi.

Il est egalement possible de créer directement un groupe vide avec le menu Groupe - Nouveau Groupe ou l'outilgroupe dans la barre d'outils à gauche.

Il peut s'avérer utile dans certains cas de grouper une partie du diagramme en étant obligé de casser des liens. Pourcela, il faut utiliser la fonction Grouper avec cassures. Voici ce que cela pourrait donner sur un exemple simple:

Page 39: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 39 / 78

Les figures ci-dessus montrent de quelle manière ont été disposés les différents renvois. Pour chaque lien "cassé",un connecteur Sortie et son Entrée correspondante ont été automatiquement créés. Ce mécanisme a permis à lapartie sélectionnée d'être placée dans un sous-système.

Rq : depuis la version 2010, cette action créer automatiquement un sous-système

1. Sous-système

Il est possible de créer des Sous-Système vides à l'aide du menu Groupe, ou avec un clic droit sur la page. Unsous-système est composé par défaut d'un connecteur d'entrée, un connecteur de sortie et un "groupe" dans lequeldevra être décrit le comportement du sous-système.

Il est possible d'ajouter ou de supprimer les entrées et sorties en faisant un clic droit sur le sous-système.

La suppression de connecteurs d'un sous-sytème se fait avec la fenêtre suivante :

Page 40: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 40 / 78

Pour supprimer un connecteur, celui-ci ne doit être lié à aucun autre noeud (ni à l'intérieur, ni à l'extérieur dusous-système).

Chaque groupe peut ensuite être édité, renommé ou dissocié grâce aux commandes contenues dans le menuGroupe. Le groupe peut aussi être édité avec un clic droit ou avec la "flèche vers le bas" située à gauche dugestionnaire de pages. En mode Edition, le sous-modèle peut alors être modifié à la convenance de l'utilisateur.Lorsque la modification est terminée on revient à la figure précédente en quittant l'édition de groupe avec le menuGroupe - Quitter Edition Groupe, ou en utilisant la "flèche vers le haut" située à gauche du gestionnaire de page.Il est aussi possible d'attribuer une image à un groupe avec la commande Groupe - Changer d'image.

Remarque: Il est possible de grouper des groupes de manière récursive.

2.8. Aide à la saisie

Afin de faciliter la création de modèle, le module Bloc diagramme stochastique dispose de différentes aides à lasaisie permettant d'automatiser les actions chronophages.

2.8.1. Copier / Coller / Renuméroter (sans Renvoi)

Pour aider à la saisie des parties répétitives des Bloc diagramme, des mécanismes de "Copier / Coller etRenuméroter " ont été mis en place. Cette opération s'effectue en six étapes :

1. Sélectionner la partie à copier.2. Cliquer sur l'icône Copier, ou utiliser le menu Edition - Copier ou encore le raccourci Ctrl + C.3. Cliquer sur l'icône Coller et Renuméroter, ou utiliser le menu Edition - Coller et Renuméroter ou encore

le raccourci Ctrl + R.4. Une fenêtre apparaît et permet de choisir le numéro de départ de la renumérotation (attention à ne pas donner

des numéros déjà utilisés dans le modèle).5. La partie préalablement sélectionnée est copiée et la copie est sélectionnée.6. Déplacer la copie vers l'emplacement désiré.

On obtient alors le diagramme représenté sur la figure ci-contre :

• les blocs 1,2,3 et 4 du diagramme original sont devenus 5,6,7 et 8 pour la copie;• les connecteurs C1 et C2 du diagramme original sont devenus C3 et C4 pour la copie.

Page 41: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 41 / 78

Lors d'une copie vers un nouveau document, les éventuels conflits de données sont gérés dans la fenêtre suivante :

Cette fenêtre présente l'ensemble des données qui portent le même nom dans le document source et le documentcible. Trois choix sont proposés

1. Utiliser les données du document de destination, ceci remplacera les occurrences à la donnée du documentsource par la donnée portant le même nom dans le document de destination.

2. Créer une copie pour toutes les données en conflit, ceci remplacera les occurrences à la donnée du documentsource par copie portant un nom suffixé par "copie".

3. Régler les conflits manuellement, ceci permet de choisir s'il faut utiliser l'existant ou pas suivant les données.Il est aussi possible de spécifier le nom de la copie en double-cliquant sur la case de la colonne "document dedestination". Les noms inscrits dans cette colonne sont naturellement masqués lorsque la case Utiliser existantest cochée, puisque c'est la donnée qui est déjà dans le document de destination qui sera utilisée.

2.8.2. Copier / Coller / Renuméroter (avec Renvoi)

La commande "Copier / Coller et Renuméroter" permet en fait de créer de nouvelles "instances" c'est à dire denouveaux sous-diagrammes similaires au sous-diagramme copié:

• Même structure graphique;

• Mêmes prototypes utilisés;

• Mêmes paramètres;

• Le numéro et le nom des blocs changent (nouveau nom: Bi où i est le nouveau numéro);

• Le numéro des connecteurs change mais pas leur nom.

Lorsque des connecteurs Sortie font partie de la sélection qui va faire l'objet d'un "Copier / Coller et Renuméroter",alors ils vont être renumérotés aussi.

Page 42: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 42 / 78

Sur l'exemple ci-dessus, les Sorties C7, C9 et C11 on bien été renumérotées.Remarque: De plus, cet exemple permet de vérifier les cinq points cités précédemment.

Lorsque des connecteurs Entrée font partie de la sélection qui va faire l'objet d'un "Copier / Coller et Renuméroter",alors ils vont rester relié aux mêmes connecteurs Sortie si ces derniers ne sont pas dans la sélection.

Sur l'exemple ci-dessus, les Entrée sont toujours liées aux mêmes connecteurs Sortie.

Lorsque des connecteurs Entrée (et leur Sortie correspondante) font partie de la sélection qui va faire l'objet d'un"Copier / Coller et Renuméroter", alors ils vont être connectés aux nouveaux connecteurs Sortie.

Sur l'exemple ci-dessus, toutes les Sorties ont été renumérotées donc les Entrées sont aussi liées à un nouveaunuméro.

Il est possible de naviguer entre les différents renvois d'un élément, en utilisant le menu Outils/Naviguer versles renvois. Une fenêtre s'ouvre et affiche la liste des renvois. Cliquer sur un renvoi positionne automatiquementla vue sur celui-ci. Il est possible de revenir à l'élément original et cliquant sur son nom dans la partie supérieurede la fenêtre.

2.8.3. Copier / Coller ordinaire

En plus de la commande "Copier / Coller et Renuméroter", il existe une fonction "Copier / Coller" ordinaire. Ellepermet de faire une simple copie sans renumérotation. On obtient ainsi des éléments en double ce qui, d'un pointde vue formel, est incorrect mais qui doit être toléré de manière transitoire afin de faciliter la saisie.

Page 43: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 43 / 78

Toutes les fois que cela est possible, la fonction "Copier / Coller / Renuméroter" doit donc être préférée à "Copier /Coller" simple afin de minimiser le risque d'erreur. Mais quand elle est tout de même utilisée, c'est à l'utilisateurde prendre ses précautions pour rétablir, in fine, une numérotation correcte afin de faire disparaître les doublons).

2.8.4. Modification Globale

Au cours de l'élaboration de votre Bloc diagramme, il peut être nécessaire de modifier une grande partie deséléments: changer les noms, les numéros... La fonction "Modification globale" du menu Edition permet de réaliserdes modifications en masse:

• Utiliser la fonction Edition / Modification globale.

• Choisir le type d'élément à modifier parmi les onglets disponibles.

• La partie "Rechercher / Remplacer" permet de changer une chaîne de caractères présente dans un ou plusieurslabel. Elle est remplacée par la chaine inscrite dans la partie "Remplacer".

• La partie "Renuméroter" permet de procéder à une modification des numéros. Il suffit de marquer un numérode Début puis de préciser un Pas constant ou un Ajout d'une valeur constante aux numéros actuels.

• Cliquer sur OK pour revenir au graphique. Les modifications sont validées.

Remarque: Les changements de nom et les renumérotations peuvent se faire éventuellement à la main en prenantles précautions qui s'imposent (éviter les doublons...). Il suffit de cliquer dans la colonne Numéro futur ou Nomfutur et de saisir le changement sans oublier de le valider à l'aide de la touche "ENTREE".

2.8.5. Modification de la sélection

La fonction "Modification de la sélection" est l'équivalent d'une "Modification globale" mais appliquée seulementaux éléments sélectionnés. En effet, seuls les blocs et les connecteurs sélectionnés vont pouvoir être modifiés.

Remarque: La fonction "Modification de la sélection" ne permet pas de modifier les paramètres du modèle.

Page 44: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 44 / 78

2.8.6. Propriétés du document / Gestion des images

Le menu Fichier - Propriétés du document permet de mémoriser un certain nombre d'informations concernantle document : nom, version, commentaire ... Ces informations sont accessibles dans l'onglet Général.

Les images sont très utiles pour représenter les sous-systèmes. GRIF 2011 permet aussi de mémoriser un ensembled'images qui pourront être utilisées plus tard dans l'application (groupes, prototypes). La gestion des imagess'effectue dans l'onglet Images.

Il est possible d'ajouter des images au document à l'aide de l'icône . Un double-clic dans la colonne Fichierpermet de sélectionner le fichier image de type jpg, gif ou png. Il est possible d'associer une description ou unnom à l'image en faisant un double-clic dans la colonne Description.

Page 45: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 45 / 78

Une fois dans le document, l'image peut être associée à un groupe à l'aide du menu Groupe - Changer l'image

Les images sont mémorisées à l'intérieur du document, veillez à ajouter des images de taille raisonnable. Lesimages étant dans le document, il faudra répéter l'opération si le fichier image est modifié à l'extérieur del'application.

2.8.7. Alignement

Afin d'améliorer la lisibilité du modèle, il est possible d'aligner verticalement ou horizontalement les élémentssélectionnés. Il suffit pour cela d'utiliser la commande Aligner du menu Outils.

La figure ci-dessous montre le fonctionnement de la commande. Aligner verticalement différents élémentssélectionnés s'effectue de la manière suivante:

1. Sélectionner les éléments (éléments du modèle, commentaires, champs dynamiques...) à aligner;

2. Aller dans le menu Outils et sélectionner la fonction Aligner;

3. Choisir le type d'alignement: Aligner au centre;

4. Faire un clic gauche.

De même, pour aligner des éléments horizontalement, il suffit de sélectionner le type Aligner au milieu qui aligneles ordonnées en maintenant les abscisses constantes. Le principe est le même que celui décrit ci-dessus.

2.8.8. Sélection multiple

Il peut s'avérer parfois utile de sélectionner plusieurs éléments disposés aux différents coins de la zone de saisie.Pour simplifier ce type de sélection, il suffit de cliquer un à un sur chacun des éléments visés en maintenant latouche Shift du clavier enfoncée.

2.8.9. Sélection de partie connexe

Il est parfois difficile de sélectionner une partie connexe d'un modèle. Pour simplifier la sélection, il suffit desélectionner un élément graphique puis d'utiliser le menu Sélectionner une partie connexe du menu Edition. Ilest possible d'effectuer directement la sélection connexe en cliquant sur l'élément avec le bouton Ctrl enfoncé.

2.8.10. Taille de la page

Si lors d'une modélisation, la taille de la page n'est pas suffisante, il est possible d'en changer la taille en utilisantles menus Augmenter la taille de la page, Diminuer la taille de la page, Taille de la page du menu Outils.

Page 46: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 46 / 78

2.8.11. Réticule

Afin de pouvoir réaliser rapidement un modèle ordonné et lisible, le réticule permet d'aligner (de manière moinsprécise que la fonction Aligner du menu Outils) les différents éléments entre eux. L'activation (ou désactivation)du réticule s'effectue au niveau de l'onglet Graphiques du menu Option.

La figure ci-dessous montre comment aligner facilement et rapidement un élément par rapport à un autre:

De même, pour aligner des éléments horizontalement, il suffit de sélectionner le type Aligner au milieu qui aligneles ordonnées en maintenant les abscisses constantes. Le principe est le même que celui décrit ci-dessus.

2.8.12. Glue/Association graphique

Lorsque les objets sont positionnés à votre convenance, il est possible de figer un ensemble d'objet les sélectionnantet en faisant un clic droit puis Associer. Cette commande groupe (au sens graphique et non hierarchique) les objetssélectionnés, de telle sorte qu'en déplacer un déplace les autres.

Page 47: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 47 / 78

3. Impression

Concernant l'impression, l'utilisateur a plusieurs commandes à sa disposition dans le menu Fichier:

• La fonction Mise en page permet de choisir l'orientation des pages, la dimension des marges...

• La fonction Imprimer permet d'accéder dans un premier temps à une fenêtre appelée Propriété d'impression.Puis à une autre intitulée Information. Dans un troisième temps, l'utilisateur arrive sur une fenêtre permettantde diriger l'impression vers une des imprimantes installées sur son système informatique.

Lorsque l'utilisateur sélectionne la fonction Impression, c'est le cadre ci-dessus qui apparaît dans un premiertemps. Il peut alors sélectionner ses préférences: imprimer le cadre, le nom du fichier, le numéro de la pageou/et la date.

Dans un second temps, c'est la fenêtre Information qui apparaît. Elle permet à l'utilisateur d'indiquer s'il veutimprimer la vue courante, la page courante ou la totalité du document.

Page 48: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 48 / 78

La fenêtre d'Impression ne sera pas décrite car elle dépend de votre système.

• Il est également possible de sélectionner la fonction Sauvegarde dans un fichier RTF . L'utilisateur arrivealors consécutivement sur deux fenêtres appelées Propriété d'impression et Information (identiques à cellesde la fonction Impression). Il lui est ensuite demandé de choisir le dossier dans lequel il désire que le fichierRTF soit enregistré.

Page 49: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 49 / 78

4. Calculs par MOCA

Les calculs par MOCA-RP V12 s'effectuent en trois étapes principales:

• le paramétrage général;• le lancement proprement dit;• la lecture du fichier résultat.

4.1. Paramétrage des calculs

La fenêtre de paramétrage des calculs est accessible de deux manières différentes: soit par le menu Données etcalculs - Données Moca soit par Données et calculs - Lancer Moca 12.... La différence entre les deux est quedans le second cas, l'étape de paramétrage est directement suivie par l'étape de lancement des calculs.

La fenêtre de paramétrage qui est ainsi ouverte est appelée Lancement des calculs Moca:

Cette fenêtre de paramétrage est composée de plusieurs parties:

1. Titre: permet de donner un titre au fichier résultat.

2. Temps de calcul par défaut:

• Itération De A à B pas C: les calculs seront effectués pour des valeurs de t allant de A à B par pas de C.• Liste de temps: les calculs seront effectués pour les valeurs de t données dans cette liste.• Calcul effectué à: les calculs sont effectués par défaut juste après le tir des transitions, mais il est possible

de choisir de calculer à t-Epsilon (juste avant le tir), ou au deux instants.

3. Général:

• Nombre d'histoires : Nombre d'histoires (NH) à simuler

Page 50: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 50 / 78

• 1er N° au hasard: Graine du générateur de nombres aléatoires.

• Temps de calcul maximum: Temps (en secondes) au bout duquel Moca arrêtera de simuler de nouvelleshistoires.

• Durée automatique de l'histoire: Si cette case est cochée, GRIF va calculer la durée de l'histoire en fonctiondes temps de calcul de l'ensemble des variables et états statistiques. Sinon l'utilisateur peut spécifier la Duréed'une histoire

• Calcul multi-processeurs: Permet d'activer le calcul multi-processeurs et d'indiquer le nombre d'instancesMoca lancées.

• Activate la propagation d'incertitude: Activation ou non des calculs de propagation des incertitudes(simulation à double-détente): il est nécessaire ici de spécifier le nombre de jeux de paramètres "joués" (lenombre réel d'histoire ainsi simulées sera de "nombre de jeux de paramètres x nombre d'histoires à simuler"et sera affiché dans le champs "Nombre total d'histoires").

4. Variables:

L'onglet variables rappelle et permet de modifier la configuration du calcul pour chaque variable. Si le documentcontient des états statistiques, un onglet supplémentaire sera disponible.

5. Options de Sortie: permet de paramétrer la sortie.

• Impression ou non de la description du réseau de Petri dans le fichier résultat

• Impression du fichier résultat permettant de le recharger à l'aide d'un tableur (type EXCEL)

• Impression ou non des délais censurés

• Nombre de sorties durant la simulation (si 2, alors il y aura une sortie au bout de NH/2 et une au bout de NH)

6. Options avancées: utilisé pour configurer les options avancées.

• Vous pouvez choisir la limite pour le nombre de tirs instantanés avant détection d'une boucle.

4.2. Lancement des calculs (Ancienne interface)

Une fois que la partie paramétrage a été soigneusement effectuée, l'utilisateur arrive sur la fenêtre permettant lelancement des calculs. Cette fenêtre comporte trois onglets: Données, Paramètres et Résultats.

4.2.1. L'onglet Données

L'onglet Données permet de visualiser le fichier de données d'entrée du moteur de calcul. En plus de pouvoirmodifier ce fichier à la main, quatre boutons sont disponibles et permettent d'effectuer les manipulations suivantes:

• Ouvrir: ouvrir un fichier de données;

• Enregistrer: sauvegarder le fichier courant;

• Effacer: effacer le contenu du fichier courant;

Page 51: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 51 / 78

• Génération des données: générer un fichier de données d'entrée à partir du document.

Un fichier de données d'entrée est un fichier généralement long dont les principales parties sont (de haut en bas):

1. Les données générales: il s'agit simplement de la description des paramètres définis dans la fenêtre DonnéesGénérales (cf. précédemment)

2. Déclaration des variables et paramètres du réseau

3. Description du réseau: les transitions sont décrites les unes après les autres dans l'ordre où GRIF les a générées.

Page 52: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 52 / 78

Exemple de description d'une transition:

Voici la manière dont doit être lue la description d'une transition par GRIF:

• "TR": mot clé indiquant qu'une nouvelle transition va être décrite

• "AM" et "AV": mots clés indiquant respectivement la description des arcs amont et aval (n° de la place etpoids de l'arc correspondant)

• "??": indique la description des gardes de la transition

• "!!": indique la description des affectations de la transition

• "LOI": mot clé indiquant le début de la description de la loi régissant le calcul du délai de la transition

• "TIR": mot clé indiquant le début de la description de la loi régissant le type de tir de la transition

4. Mnémonique des places

5. Marquage initial des places

6. Définition des variables

7. Définition des paramètres

8. Définition des états statistiques (et du type de calculs à effectuer pour chacun d'eux)

Page 53: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 53 / 78

4.2.2. L'onglet Paramètres

L'onglet paramètres permet de paramétrer le calcul. Lorsque le calcul multiprocesseurs n'est pas activé, lescommandes peuvent être rentrées librement dans la zone de texte et seront envoyées à MOCA-RP V12.

Page 54: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 54 / 78

Lorsque le calcul multiprocesseurs est activé, une zone apparaît au dessus de la zone de texte pour paramétrer lecalcul (nombre de processeurs, nombre d'histoires, graine du générateur aléatoire, temps maximum de calcul). Lazone de texte permet simplement d'ajouter les commandes nécessaires à l'affichage.

4.2.3. L'onglet Résultats

L'onglet Résultats permet dans un premier temps de lancer les calculs puis dans un second temps de visualiser lefichier résultat (fichier de type ".res"). Cinq fonctions sont disponibles ici par l'intermédiaire de boutons:

• ouvrir un fichier de type ".res";

• sauvegarder le fichier courant;

• effacer le contenu du fichier courant;

• lancer les calculs depuis l'interface graphique, une fenêtre d'attente sera lancée pour permettre d'arrêter le calculsi besoin;

Page 55: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 55 / 78

• lancer les calculs en mode Batch dans le but d'avoir toujours accès à l'interface de saisie pendant la durée descalculs. Les calculs sont lancés en priorité basse.

4.3. Lecture des résultats (Ancienne interface)

Un fichier résultat généré par MOCA-RP V12 se décompose en quatre parties (de haut en bas):

Page 56: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 56 / 78

1. Le début du fichier reprend les données générales du calcul. De plus, elle fournit le temps total de la simulationet le nombre d'histoires simulées.

2. Résultats concernant les états statistiques. Ils sont classés par type de calculs. Pour chaque résultat figurenttrois valeurs:

• La valeur moyenne (m): cette moyenne est calculée sur le nombre d'histoires simulées.

• L'écart-type: permet de donner une idée de la dispersion.

Page 57: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 57 / 78

• L'intervalle de confiance à 90% (e): donne "e" tel que la probabilité que la valeur "vrai" soit entre "m - e"et "m + e" est de 0,9. Remarque: C'est un bon indicateur de la convergence.

Dans l'exemple ci-dessus, la valeur moyenne de l'état statistique appelé Stat1 est de 0,99, l'écart-type vaut3,64e-3 et l'intervalle de confiance à 90% est de 1.89e-3.

3. Fréquence moyenne de tir de toutes les transitions du réseau de Petri au cours d'une histoire. C'est un résultatqui est renvoyé par MOCA-RP V12 de manière systématique.

Dans l'exemple ci-dessus, la fréquence moyenne de tir de la transition appelée Failure est de 11,4.

4. Pour chaque place du réseau de Petri sont fournis (valeur moyenne et écart-type):• le "temps moyen de séjour" dans la place (temps moyen durant lequel la place contient un ou plusieurs jetons);• le "nombre moyen de jetons en fin d'histoire" dans la place (marquage moyen de la place en fin d'histoire).

Page 58: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 58 / 78

Ces résultats sont renvoyés par MOCA-RP V12 de manière systématique.

Dans l'exemple ci-dessus, le temps moyen de séjour dans la place Work est de 9 901 heures (sur 10 000 heures)avec un écart-type de 36,4. Le nombre moyen de jetons en fin d'histoire est de 0.99 avec un écart-type de 3.64e-3.

4.4. Lecture des résultats (Nouvelle interface)

A partir de GRIF 2010, les résultats sont présentés dans une fenêtre avec différents onglets et tableaux.

4.4.1. Tableaux et Panneaux de présentation des résultats

4.4.1.1. Tableau de résultats

Les tableaux de résultats sont composés des données en elle même et d'une partie supérieure permettant deconfigurer l'affichage du tableau.

Page 59: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 59 / 78

Les colonnes sont triables en effectuant un clic sur leur en-tête, l'icone permet de fixer un filtre sur le tableauen le définissant grace à la fênetre suivante.

Lorsque le filtre est en place, un petit (+) apparait à coté du titre de la colonne filtrée. Il est possible de supprimerle filtre en cliquant sur le bouton

4.4.1.2. Export des données

Les valeurs visibles du tableau peuvent être exportées au format CSV en cliquant sur l'icone .

Il est aussi possible d'afficher les résultats sous la forme d'une courbe en cliquant sur l'icone . Les données àutiliser en abscises et en ordoonnées doivent être spécifiées dans la fenêtre suivante :

La courbe est ensuite présentée dans une fenêtre :

Page 60: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 60 / 78

La courbe peut enfin être enregistrée dans le document en cours grace au bouton situé dessous.

Nb : Une fois la courbe dans le document les points sont figés.

4.4.1.3. Panneaux de présentation des résultats

Les panneaux de présentation des résultats ont été créés pour améliorer l'accès aux données dans les tableauxcomportant de nombreuses colonnes. L'objectif est de faire un tri préalable pour ne garder que les données voulues.

Ce panneau est composé d'un menu déroulant en haut à gauche qui permet de supprimer la colonne voulue etde créer une liste à gauche qui contient toutes les valeurs distinctes qui se trouvaient dans la colonne supprimée.Le fait de cliquer sur une valeur de la liste modifie le tableau pour ne présenter que les lignes dont la colonnesupprimée contenait la valeur sélectionnée.

Le menu déroulant en haut à droite permet de choisir une colonne C qui sera utilisée pour decouper le tableau enplusieurs tableaux qui sont mis chacun dans un onglet dont le titre est egal à la valeur par laquelle la colonne C estfiltrée. La colonne C est supprimée des tableaux car elle contient toujours la même valeur pour un onglet donné.

4.4.2. Présentation des données Moca

Les données Moca sont présentées sous la forme d'une fenêtre contenant 6 onglets principaux : variables, places,transitions, XML, sortie stantard, info.

4.4.2.1. Onglet variables

L'onglet Variables contient toutes les informations calculées pour les variables (ou états statistiques).

• Valeurs : Contient toutes les valeurs des variables pour tous les types de statistiques calculés.• Historique (en fin d'histoire) : Contient l'historique des valeurs en fin d'histoire pour tous les types de

statistiques calculés.• Histogramme de taille fixe : Contient les histogrammes calculés par Moca (cf chapitre sur les histogrammes)• Histogramme de classe équiprobable : Contient les histogrammes calculés par Moca (cf chapitre sur les

histogrammes)• Histogramme à intervalles définis : Contient les histogrammes calculés par Moca (cf chapitre sur les

histogrammes)• Chronogramme : Contient le chronogramme de chaque variable. Les temps sont calculés automatiquement

par Moca.

Page 61: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 61 / 78

4.4.2.2. Onglet Places

Il contient les temps de séjour et les marquages moyens pour toutes les places du réseau de Petri.

4.4.2.3. Onglet Transitions

L'onglet Transitions contient la féquence de tir de chaque transition ainsi que l'historique du tir des transitionspour chaque histoire.

4.4.2.4. Onglets supplémentaires

Des onglets supplémentaires affichent les résultats de manière plus "brute". L'onglet XML contient la sortie XMLdu moteur de calcul, c'est à partir de ce document que les valeurs ont été extraites. Ce fichier peut être réutilisépour un post-traitement ultérieur.

L'onglet sortie standard affiche la sortie standard du processus Moca. (disponible seulement après le calcul)

L'onglet info regroupe les informations relatives au calcul (temps de simulation, durée d'histoire, nombred'histoires jouées)

Page 62: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 62 / 78

5. Analyse des resultats pour lesdocuments de type diagramme de fiabilité

Pour bien comprendre les résultats il faut avoir une compréhension claire des 6 types de calculs Moca. Pour rappel :

Six types de calculs sont disponibles avec Moca12, ces calculs sont effectués sur les valeurs des états statistisquesà des moments clef du calcul. Toutes les résultats sont des moyennes sur le nombre d'histoire effectuées.

• 1 - Temps cumulé pendant lequel la valeur est non nulle : correspond au temps pendant lequel l'état statistiqueest présent (la valeur de "vrai" ou différente de 0)

• 2 - Probabilité d'avoir une valeur non nulle à t : correspond au nombre d'histoires où l'état statistisque étaitprésent à la date t, divisé par le nombre total d'histoire. La date t est celle définie dans la partie Temps decalcul : c'est par défaut la fin de l'histoire mais cela peut être en ensemble de temps (il y aura dans ce cas unrésultat par date).

• 3 - Valeur à t : correspond à la valeur moyenne sur les histoires de l'état statistique à la date t. Le type 2 et 3sont donc équivalents pour une valeur booléenne.

• 4 - de passages d'une valeur nulle à une valeur non nulle entre 0 et t : indique le nombre de fois que l'étatstatistique est passé d'absent à présent.

• 5 - Valeur moyenne entre 0 et t : Valeur moyenne entre 0 et t.• 6 - Date de première affectation à une valeur non nulle : Date à laquelle l'état statistique a été présent pour

la première fois. Une information sur le nombre d'histoires "non censurées" est fournie. Les histoires où l'étatn'a jamais été présent sont censurées (pour ne pas fausser les résultats).

Lors de la conversion du bloc diagramme en réseau de Petri, deux etats statisques sont automatiquement crééspour pouvoir étudier les sortie. Prenons l'exemple d'un diagramme simple : une entrée B1, un composant reparableCOMP, et une sortie B2.

• B2_UnAvail (=!B2_OUT) correspond à l'indisponibilité du bloc de sortie.• B2_UnReliab (#1004>0) : le réseau généré contient une place spéciale, cette place est vide jusqu'a ce que la

sortie passe à faux pour la première fois, à ce moment un jeton y est mis et n'en sortira plus jamais. B2_UnReliabvaut donc faux tant que le système n'est pas tombé en panne.

Voici les résultats pour une simulation de 1000 histoire de 8760 heures. Le composant à un taux de défaillancede 0.001 et un taux de réparation de 0.1.

Page 63: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 63 / 78

6. Courbes

Afin de mieux étudier le modèle et les résultats, il est possible de tracer des courbes. Pour cela, il suffit de faireun clic gauche sur l'icône correspondante de la barre des tâches verticale puis de tracer un cadre. Ce cadre seral'espace alloué à l'affichage de la ou les courbes. Au départ ce n'est qu'un cadre blanc avec deux axes non gradués.

Icône Graphique:

Il faut maintenant définir les courbes à tracer. Pour cela, il suffit de faire un clic droit sur le cadre et faire ainsiapparaître la fenêtre d'édition des courbes.

6.1. Fenêtre d'édition des courbes

Note: Il est important de préciser que le tracé de courbes nécessite le lancement d'un calcul complètementindépendant de celui accessible dans le menu Donnée et calculs.

La fenêtre d'édition des courbes est la même pour tous les modules de GRIF.

Cette fenêtre est divisée en plusieurs parties:

1. Titre du graphique: permet de donner un titre au graphique.

Page 64: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 64 / 78

2. Liste de données: Cette partie comporte un tableau de trois colonnes dans lequel sont listées les différentescourbes du graphique (nom, description, affichage, couleur de courbe, style de courbe, épaisseur de courbe).Au-dessus de ce tableau, plusieurs boutons sont disponibles.

• Re-calculer: permet de lancer ou relancer les calculs nécessaires au tracé de courbes (cette opération doitêtre effectuée à chaque fois que la liste des courbes ou que le modèle est modifié).

•Ajouter : envoie l'utilisateur vers la fenêtre Type de courbe afin d'ajouter un tracé de courbe augraphique (cf. chapitre suivant).

• Editer: modifie le tracé de courbe sélectionné.

•Supprimer : supprime le tracé de courbe sélectionné du graphique.

•Monter : fait remonter le tracé de courbe sélectionné dans la liste.

•Descendre : fait descendre le tracé de courbe sélectionné dans la liste.

• Enregistrer: enregistre sous format CSV la liste des points calculés pour le tracé des courbes sélectionnés.Cet export ne contient pas les grandeurs génériques, pour avoir un export avec les grandeurs génériques ilfaut faire un clic droit sur la courbe et faire Export individuel.

• Dupliquer: crée une nouvelle courbe exactement identique au tracé de courbe sélectionnée.

• Résultats: affiche dans un éditeur de texte les résultats de la courbe sélectionnée.

Pour chaque courbe il est possible de spécifier sa couleur, son style de points, son épaisseur et son affichage.

3. Options de calcul: permet de paramétrer le calcul (optionnel suivant les modules).

4. Style: Cette partie concerne l'affichage des courbes.

• Type de style: spécification du type de toutes les courbes du graphique (ligne ou histogramme). Attention,dans le cas du style histogramme, les barres sortant de la zone d'affichage seront affichées en dégradé pourprévenir l'utilisateur qu'il doit changer les intervalles d'affichages pour voir la barre entièrement.

• Intervalles sur X et Y: spécification de l'intervalle d'affichage des axes X et Y (intervalles par défaut oudéfinis par l'utilisateur). Cette dernière fonction peut permettre par exemple de "zoomer" sur les parties lesplus intéressantes du graphique.

Les cases log permettent d'activer l'échelle logarithmique sur l'axe concerné. Attention, le 0 n'est pasreprésentable en échelle log, pensez à indiquer un début strictement positif (E-10 par exemple). Si 0 estindiqué, l'échelle log commencera à une valeur arbitraire E-15.

Lorsque les l'axe des abscisses représente le temps, il est possible de choisir l'unité de temps utilisée parmiheures, jours, mois, année. L'affichage par défaut est en heure car c'est l'unité habituellement utilisée pourfaire les modélisations. Cette fonctionnalité n'est disponible que dans le module SIL.

Lorsque le moteur de calcul le permet, il est possible d'afficher l'intervalle de confiance, en cochant lacase correspondante.

En style histogramme, une case à cocher permet de faire un histogramme cumulé.

5. Option d'affichage: permet d'activer ou non la fonction Afficher le titre (affichage du titre du graphique) et lafonction Afficher les grandeurs génériques (affichage du min, du max et de la moyenne de chaque courbe).

Lorsqu'une courbe est éditée, la fenêtre d'édition d'une courbe contient souvent 3 parties : les temps auxquelsle calcul est réalisé, ce qui est calculé, les informations supplémentaires (grandeurs génériques) qui doivent êtreaffichées ou non sous la courbe.

Remarque : il est parfois nécessaire de rafraîchir tous les graphiques d'un document. Pour cela il faut utiliser la

commande Outils / Rafraîchir ou utiliser le raccourci clavier F5 ou l'icone .

Page 65: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 65 / 78

6.2. Types de courbes

Lorsque l'utilisateur clique sur le bouton Ajouter de la partie Liste de données, il tombe sur une fenêtre appeléeType de courbe. Quatre possibilités s'offrent ainsi à lui:

• Courbe Moca 12: trace une courbe tout à fait classique en fonction de points moyens calculés au cours dechaque histoire.

• Chronogramme: trace une courbe en fonction de points calculés de manière "intelligente" (le nombre de pointscalculés est fonction directe de l'importance des variations de la courbe).

• Histogramme Taille Fixe: dénombre et classe les résultats obtenus en fin d'histoire dans des classes à intervallesfixes.

• Histogramme Classes Equiprobables: détermine d'après les résultats sur chaque histoire l'intervalle desdifférentes classes de manière à ce que la probabilité de tomber dans chaque classe soit la même.

Remarque: un exemple de chaque type de courbe sera présenté ultérieurement.

Quel que soit le type de courbe sélectionné, une fenêtre permettant de modifier les temps et les types de calculssera présentée.

La fenêtre ci-dessus porte le nom du type de courbe sélectionné (ici Courbe Moca 12). Elle est divisée en quatreparties:

1. Légende: permet de donner un titre à la courbe.

2. Temps de calcul: les informations à spécifier dans cette partie dépendent du type de courbe sélectionnéprécédemment.• Courbe Moca 12: intervalle et pas de temps OU liste de temps (permet de donner au moteur de calcul les

points exacts qu'il va calculer).• Chronogramme: durée d'une histoire (le moteur de calcul déterminera lui-même les points qu'il va devoir

calculer).

Page 66: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 66 / 78

• Histogramme Taille Fixe: durée d'une histoire ET nombre d'intervalles (le moteur de calcul n'aura plus qu'àfaire un dénombrement et un "rangement" dans chaque classe).

• Histogramme Classes Equiprobables: durée d'une histoire ET nombre de classes équiprobables (c'est lemoteur de calcul qui déterminera la taille des classes).

• Histogramme Intervalles Définis: durée d'une histoire ET les intervalles à utiliser.

3. Type de statistique par défaut: permet de choisir le type de calcul statistique sur lequel sera réalisée la courbe.Pour les chronogrammes la courbe représente automatiquement la valeur de l'état statistique (type 3).

4. Cible: permet de sélectionner l'état statistique sur lequel seront effectués les calculs qui permettront par la suitede tracer la courbe.

1. Exemples de courbes

Voici le diagramme de flux à partir duquel vont être tracées les différentes courbes.

Il s'agit de l'exemple qui a été présenté prédédemment et qui est composé de

• 9 blocs• 5 connecteurs• 1 "Source"• 1 "Cible"

La simulation sera réalisée pour 100 000 histoires de 100 000 heures.

1.1. Courbe Moca 12

Page 67: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 67 / 78

Cette courbe représente l'évolution de la disponibilité moyenne du système au cours du temps. Les points ont étécalculés à intervalles réguliers (1 toutes les 5 000 heures).

1.2. Chronogramme

Cette courbe représente également l'évolution de la disponibilité moyenne du système au cours du temps.Les points ont été calculés ici en fonction de la variation de la courbe. Cela permet de mieux "capturer" lesdiscontinuités et d'avoir ainsi une allure de courbe plus "lisse" et plus exacte.

1.3. Histogramme de taille fixe

Cet histogramme a été réalisé à partir du nombre moyen de passages de la diponibilité à 0 pour une histoire. Les100 000 résultats issus des 100 000 histoires simulées ont été rangés dans 10 classes de même intervalle.

Page 68: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 68 / 78

1.4. Histogramme de classes équiprobables

Cet histogramme a été réalisé à partir du nombre moyen de passage de la diponibilité à 0 pour une histoire. Cinqclasses équiprobables ont été demandées. La probabilité que la disponibilité moyenne du composant B se trouvedans l'une de ces classes est exactement identique.

1.5. Histogramme à intervalles définis

Les 100 000 résultats issus des 100 000 histoires simulées peuvent être rangés dans les intervalles définis. Ilest possible de définir les intervalles correspondants aux S.I.L de manière à observer dans quel S.I.L se situe lecomposant au cours des histoires. (cf. Manuel utilisateur Moca pour plus d'informations)

Page 69: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 69 / 78

7. Bases de données

Dans chaque module de GRIF, il est possible d'établir une connexion à une base de données. Il y a la possibilitéde faire deux connexions de type différent:

• connexion à un fichier de type CSV;• connexion par un lien JDBC.

7.1. Connexion à un fichier de type CSV

7.1.1. Forme de la base de données

Ce type de connexion est le plus simple à réaliser. Un fichier de type CSV a pour extension ".csv". C'est un simplefichier texte où les différents champs sont séparés pas des virgules, des tabulations ou des points-virgules. C'estla forme la plus simple que peut avoir une base de données.

7.1.2. Connexion

Pour connecter GRIF à cette base de données, il suffit d'aller dans le menu Outils - Connexion à un fichier CSV.Une boîte de dialogue apparaît alors:

Cette fenêtre est divisée en trois parties:

• Dans un premier temps, il faut enter le chemin menant au fichier CSV. Pour cela, un explorer est à disposition(bouton ...). Une fonction Test permet de vérifier la connexion.

• Ensuite, il faut enter les noms des quatre champs du fichier CSV.

• Enfin, il faut préciser le type de séparateurs utilisés dans le fichier CSV.

Attention: Il est important de noter que pour réaliser une connexion de type CSV, il est impératif que toute la basesoit sur une seule feuille.

Page 70: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 70 / 78

7.2. Connexion par un lien JDBC (exemple avec connecteur ODBC)

7.2.1. Forme de la base de données

Au départ, la base de données peut être sous la forme d'un fichier de type EXCEL ou ACCESS. Ensuite, à l'aidedu système d'exploitation, il est nécessaire de créer une source de données système de type ODBC. Dans le casde WINDOWS par exemple, cette opération s'effectue au niveau du menu "Panneau de configuration - Outilsd'administration - source de données (ODBC)". Voici l'exemple d'une base de données sous EXCEL:

7.2.2. Connexion

Pour connecter GRIF à cette base de donnée de type ODBC, il suffit d'aller dans le menu Outils - Options del'application - Base de données. L'utilisateur se retrouve alors avec une fenêtre à compléter de la manière suivante:

Remarques:

1. sun.jdbc.odbc.JdbcOdbcDriver est le nom du driver

2. jdbc:odbc:REX précise que "REX" est le nom du lien ODBC

3. Les champs Connexion à la base, Login et Mot de passe sont inutiles ici.

4. SELECT ID,NOM,VALEUR,DESCRIPTION FROM [Feuil1$] est appelé la requête où Feuil1 est le nomde la feuille EXCEL sur laquelle sont les données.

Page 71: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 71 / 78

7.3. Utilisation

L'objectif est maintenant de relier certains paramètres du modèle à la base de données. Pour cela, il faut commencerpar faire afficher la colonne Connecté à au niveau du tableau des paramètres (faire un clic droit sur la partie hautedes colonnes).

Il suffit ensuite de faire un double clic dans la colonne Connecté à pour voir apparaître les éléments de la base dedonnées. Une fois qu'un des ces éléments a été sélectionné, il faut cliquer sur OK pour valider la connexion. Leparamètre prend alors la valeur de l'élément auquel il est maintenant relié.

Remarque: Le bouton en bas de tableau intitulé Déconnecter de la base permet de casser le lien entre le paramètreet l'élément de la base de données.

Page 72: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 72 / 78

Si certaines valeurs de la base de données à laquelle est lié GRIF sont modifiées, il est possible de faire une miseà jour des paramètres connectés à cette base. Pour cela, il suffit de faire apparaître la fenêtre Base de données enallant sur Données et calculs - Mise à jour depuis la base de données.

Les paramètres dont la valeur n'est pas à jour sont automatiquement détectés et marqués en gras. Il est alors possiblede sélectionner un ou plusieurs de ces paramètres afin de les mettre à jour en utilisant le bouton Mettre à jourla sélection. Deux autres boutons sont à disposition pour faciliter la sélection: Désélectionner tout (permet dedésélectionner tous les paramètres du tableau) et Sélectionner tout (permet de sélectionner tous les paramètresdu tableau).

Rq: Il est aussi possible de copier directement des paramètres depuis la base, en utilisant le menu Données etCalculs/Base de Données/Copier des paramètres de la base. Une fenêtre s'ouvre et permet de sélectionner lesparamètres que vous souhaitez copier dans le document. Les paramètres créés seront automatiquement reliés aubon paramètre dans la base.

Page 73: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 73 / 78

8. Enregistrer

Voici un récapitulatif de toutes les informations qui peuvent être sauvegardées à partir d'un même modèle.

8.1. Modèle

Il est bien évidemment possible d'enregistrer et recharger les modèles qui sont réalisés. Il suffit pour cela d'allerdans Fichier - Enregistrer ou dans Fichier - Enregistrer sous....

8.2. Modèle en réseau de Petri

Il est possible d'enregistrer le réseau de Petri généré par le diagramme stochastique. Ce fichier ".jpp" peut ensuiteêtre rechargé et retravaillé à l'aide du module Petri12. Cela peut s'avérer très utile pour différentes raisons:

• comprendre la manière dont sont effectués les calculs (en regardant les variables générées automatiquement),

• déverminer le modèle (à l'aide du mode "Simulation pas à pas" de Petri12),

• compléter le modèle (ajoût de places, de variables...),

• accéder à plus de paramètres,

• ...

Dans le fichier ".jpp", chaque bloc est devenu un groupe accompagné d'un champ dynamique permettant d'observerla valeur des variables d'état (_State ou _AK) et de sortie (_out) du bloc.

Page 74: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 74 / 78

De plus, pour chaque connecteur un champ dynamique permet d'observer la valeur de la variable de sortie (_out).

8.3. Fichier RTF

Un modèle peu également être enregistré au format RTF. Cela permet de recharger ensuite cette sauvegarde sousWORD afin d'insérer la partie graphique du modèle dans un document quelconque. Il suffit pour cela d'aller dansFichier - Sauver dans un fichier RTF....

Remarque: Il existe un moyen plus simple et plus rapide pour insérer un modèle dans un rapport. En effet il suffitde sélectionner sous GRIF la partie à insérer, de la copier puis de la coller directement sous WORD.

8.4. Données d'entrée

Au moment où les données d'entrée pour le moteur de calcul sont générées, il est possible de les sauvegarder.Ce type de fichier a pour extension ".don". Ils peuvent être ainsi modifiés à l'aide d'un éditeur de texte puisrechargés pour lancer des calculs dessus (par exemple). Toutefois, ce genre de manipulation n'est pas conseilléà des utilisateurs "novices"...

8.5. Fichier résultat

Les fichiers résultats peuvent également être sauvegardés. Ce type de fichier a pour extension ".res". Ainsi, ilspeuvent être rechargés dans un autre programme (EXCEL par exemple) afin de procéder à une exploitation pousséedes résultats.

Page 75: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 75 / 78

8.6. Courbes

Pour chaque courbe qui est tracée, il est possible de sauvegarder les points qui ont été calculés au format CSV.Cette liste de points peut ensuite servir pour tracer de nouvelles courbes ou pour faire des calculs supplémentaires.

Page 76: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 76 / 78

9. Options de GRIF - Bloc diagrammestochastique

Le menu Outils - Options de l'application ouvre une fenêtre avec les onglets suivants :

9.1. Exécutables

L'onglet Exécutables permet d'indiquer les chemins des exécutables externes :

• Editeur : Permet d'indiquer l'exécutable à utiliser pour éditer les données.• Ouvrir automatiquement les PDF : Permet d'indiquer si les rapports PDF doivent être ouverts après

génération.• Feuille de style XML vers DocBook. : Feuille de style permettant de convertir le rapport XML en fichier

docbook.• Feuille de style XML vers HTML. : Feuille de style permettant de convertir le rapport XML en fichier docbook.• Feuille de style DocBook vers PDF. : Feuille de style permettant de convertir un fichier docbook en fichier pdf.• Chemin de Moca-RPC : Indique de chemin de Moca Version 10.

9.2. Base de données

L'onglet Base de données permet de configurer la connexion à une base de données :

• Utiliser la connexion à la base de données : Indique s'il faut ou non se connecter à la base de données.• Nom : Le nom de la base sera inscrit dans les paramètres lors de leur mise à jour. Cela permet de savoir depuis

quelle base il a été mis à jour la dernière fois.• Driver JDBC : Permet de saisir le nom du driver à utiliser pour se connecter à la base

(sun.jdbc.odbc.JdbcOdbcDriver, oracle.jdbc.driver.OracleDriver, ...).• Connexion à la base : Url de connexion où se trouve la base.• Option de connexion : Propriétés de la connexion.• Login : Login à utiliser pour se connecter à la base.• Mot de passe : Password à utiliser pour se connecter à la base.• Requête SQL : Requête qui doit être exécuté pour récupérer les informations utiles.• Nom du champ pour l'ID : Nom du champ contenant l'identifiant des données.• Type d'identifiant : Type de champ de l'identifiant (INTEGER, FLOAT, VARCHAR(32), ...).• Nom du champ pour le nom : Nom du champ contenant le nom des données.• Nom du champ pour la valeur : Nom du champ contenant la valeur des données.• Nom du champ de description : Nom du champ contenant la description des données.• Tester la connexion : Nom du champ contenant la description des données.

9.3. Langage

L'onglet Langue permet de choisir sa langue :

• Langage : Le changement de langue est effectif lors de la fermeture de la fenêtre d'option. Les languesdisponibles sont le Français et l'Anglais.

9.4. Options

L'onglet Options regroupe les options modifiant le comportement de l'application :

• Enregistrer les options du document courant comme options par défaut dans l'application : Enregistreles options du document courant comme les options par défaut de l'application.

• L'application gère les options par défaut des documents. Appliquer les options par défaut au documentcourant : Applique les options -options d'application- au document courant.

Page 77: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 77 / 78

• Nombre maximum d'annulations : Indique le nombre d'annuler/refaire disponible.• Nombre de fichiers récents : Indique le nombre de fichier dans la liste des fichiers récemment ouverts.• Affichage des fenêtres : Permet d'avoir des tableaux indépendants (externes) ou non (internes) de la fenêtre

principale.• Colonnes redimensionnées dans les tableaux : Permet de choisir sur quelle(s) colonne(s) sera pris l'espace

lors d'un redimensionnement de colonne.• Utilisation d'une clé de protection de type réseau (Rouge) : Cocher cette case si et seulement si une clef

HASP de type réseau (rouge) est utilisée.• Gérer les nouveaux noms en évitant les doublons : Permet d'éviter les conflits de nom en créant des objets

dont le nom est unique (lors des copier/coller principalement).• Synchroniser la vue avec les tableaux : Provoque la sélection d'un objet dans les tableau de données quand

on le sélectionne dans la vue.• Synchroniser la vue avec l'arborescence : Provoque la sélection d'un objet dans l'arborescence quand on le

sélectionne dans la vue.• Chemin du répertoire de la bibliothèque booléenne : Répertoire où sont sauvegardés les prototypes de la

librairie des diagrammes de fiabilité.• Chemin du répertoire de la bibliothèque réelle : Répertoire où sont sauvegardés les prototypes de la librairie

des diagrammes de flux.• Demander la configuration des variables observées : Active la demande de configuration des calculs

lorsqu'une variable devient observée.

9.5. Graphiques

L'onglet Graphique permet de modifier l'aspect de la base graphique :

• Taille des éléments : Permet de changer la taille des éléments graphiques.• Taille des commentaires : Permet de spécifier la taille de la police des commentaires.• Activer le réticule : Active un réticule permettant d'aligner les objets lors de leur sélection.• Activer le lissage du texte : Active l'anti-aliasing (lissage) sur les textes, ce processus peut ralentir l'affichage• Activer le lissage des dessins : Active l'anti-aliasing (lissage) sur les dessins, ce processus peut ralentir

l'affichage• Afficher les info-bulles : Active le système d'infobulle.

9.6. Format numérique

L'onglet format numérique permet de choisir le format des nombres affichés dans l'application :

• Affichage des paramètres : Permet de spécifier le format d'affichage pour les paramètres (chiffres après lavirgule, ...)

9.7. Blocs

L'onglet Blocs regroupe les options relatives blocs :

• Taille des labels : Permet de spécifier la taille de la police du label.• Afficher le nom : Permet d'afficher ou non le nom.• Afficher le numéro : Permet d'afficher ou non le numero.• Afficher la description : Permet d'afficher ou non la description.• Affichage du type de composant : Permet d'afficher ou non l'état initial du composant.• Affichage de l'état initial des composants : Permet d'afficher ou non le type de composant (le nom du modèle).• Faire les calculs sur les blocs ressources : Indique s'il faut oui ou non faire des calculs sur les blocs ressources.

9.8. Blocs répétés

L'onglet Blocs répétés regroupe les options relatives aux blocs répétés (ou blocs identiques) :

• Affichage du nom : Permet d'afficher le nom des blocs.

Page 78: GRIF 2011 Bloc diagramme stochastiquegrif-workshop.fr/download/doc/Manuel utilisateur-GRIF 2011-BStoK-31... · Fenêtre principale du module Bloc diagramme stochastique ..... 4 1.2

Manuel utilisateur 78 / 78

• Affichage de la description : Permet d'afficher la description des blocs.• Affichage du nom de la source : Permet d'afficher le nom de la source des blocs.• Affichage de la page de la source : Permet d'afficher la page de la source des blocs.

9.9. Connecteurs

L'onglet Connecteurs regroupe les options relatives connecteurs :

• Taille des labels : Permet de spécifier la taille de la police du label.• Affichage du nom des connecteurs : Permet d'afficher le nom des connecteurs.• Affichage du K/N : Permet d'afficher ou non le K/N.• Affichage du nom des connecteurs de sortie : Permet d'afficher le nom des connecteurs de sortie.• Afficher la page de la source des renvois : Permet d'afficher la page de la source des renvois.• Afficher le nom du modèle : Permet d'afficher ou non le nom du modèle de connecteur.

9.10. Courbes

L'onglet Courbes permet de modifier la manière de tracer les courbes :

• Encadrer le graphique : Permet d'encadrer le graphique.• Encadrer les grandeurs génériques : Permet d'encadrer les données génériques situées sous les courbes.• Afficher la grille : Permet de tracer un quadrillage sur la zone de tracer de courbes.• Afficher les légendes : Permet d'afficher ou non la légende sous les courbes.• Transparence de la zone de tracé : Permet de rendre transparent la zone où les courbes sont tracées.• Transparence du graphique : Permet de rendre transparent la zone du graphique autour de la zone de tracer.• Taille du titre : Permet de spécifier la taille de la police du titre du graphique.• Taille des grandeurs génériques : Permet de spécifier la taille de la police des données génériques.• Taille des points : Permet de spécifier la taille des points dessinés sur les courbes.• Taille des coordonnées : Permet de spécifier la taille de la police des coordonnées.• Taille des légendes : Permet de spécifier la taille de la police des légendes.• Nombre maximum de points : Permet de spécifier le nombre maximum de points à dessiner par courbe.• Nombre maximum de points à sauver : Permet de spécifier le nombre maximum de points à sauver par courbe.• Tracer les S.I.L : Permet de tracer les niveaux de S.I.L. Des lignes horizontales sont tracées à E-1 E-2 E-3 E-4.• Sauvegarder les points dans le document : Indiquer s'il faut sauvegarder les points de la courbe à

l'enregistrement du document.• Abscisse verticale pour les histogrammes : Permet d'afficher les coordonnées des abscisses à la verticale.