EDF Division R&D. Manuel Utilisateur de KB3-demo Page 1/65

Transcription

1 Page 1/65

2 Page 2/65

3 Page 3/65 SOMMAIRE 1. INTRODUCTION OBJECTIF DU MANUEL CONTENU DU MANUEL LES BASES DE CONNAISSANCES CONVENTIONS D ECRITURE 7 2. INSTALLATION DE KB3-DEMO 8 3. LANCEMENT DE KB QUITTER KB PRINCIPES DE GESTION DES FICHIERS KB STOCKAGE DES FICHIERS KB SUPPRESSION DES FICHIERS KB DUPLICATION DES FICHIERS KB APPROCHE PAR OBJECTIFS DESSINER UN SYSTEME LANCER KB3 SUR UN NOUVEAU SYSTEME SAISIR LA TOPOLOGIE DU SYSTEME NOMMER LES COMPOSANTS SAUVEGARDER LE SYSTEME RENSEIGNER LES CARACTERISTIQUES DES OBJETS RAPPELS DES DEFINITIONS MODIFIER LA CONFIGURATION DE BASE DEFINIR UNE VARIANTE VISUALISER, IMPRIMER LA CONFIGURATION DE BASE OU UNE VARIANTE DEFINIR LES DEFAILLANCES DE CAUSE COMMUNE DEFINIR UN EVENEMENT INDESIRABLE INTRODUCTION DEFINITION DE L'EVENEMENT INDESIRABLE DEFINIR UNE REGLE MANUELLE INTRODUCTION DEFINITION D'UNE REGLE MANUELLE GENERER UN ARBRE INTRODUCTION GENERER UN ARBRE SAUVER/CHARGER/IMPRIMER LA DEFINITION D UN MODELE 34

4 Page 4/ ENCHAINER LA GENERATION DE PLUSIEURS ARBRES EDITER UN ARBRE DE DEFAILLANCES IMPORTER UN ARBRE DANS UN CODE DE QUANTIFICATION D ARBRES TRAÇABILITE DES ETUDES DE SYSTEME INTRODUCTION VISUALISER LE SYSTEME A L'ECRAN SIMULATION INTERACTIVE IMPRIMER LE SYSTEME IMPRIMER LA CONFIGURATION DE BASE IMPRIMER UNE VARIANTE IMPRIMER UN RAPPORT IMPRIMER UN EVENEMENT INDESIRABLE IMPRIMER UNE REGLE MANUELLE IMPRESSIONS RELATIVES A UN ARBRE DE DEFAILLANCES MODIFIER UN SYSTEME EXISTANT INTRODUCTION CHARGER LE SYSTEME A MODIFIER MODIFICATION DE LA TOPOLOGIE DU SYSTEME MODIFICATION DU NOM D UN COMPOSANT MODIFICATION DES CONFIGURATIONS MODIFICATION DES EVENEMENTS INDESIRABLES MODIFICATION DES REGLES MANUELLES MODIFICATION DES MODELES CONSEILS/RECOMMANDATIONS REGLES DE SYNTAXE NOM DE SYSTEME NOM D UN OBJET/LIEN COMMENTAIRE NOM D UNE PAGE : REGLE ADDITIONNELLE/EVENEMENT INDESIRABLE NOM D UNE PORTE : NOM D UN DRAPEAU : NOM D UN RENVOI EXTERNE : NOM D UN FICHIER DE REGLES MANUELLES NOM D UNE VARIANTE/ CONFIGURATION DE BASE NOM D UN MODELE : AIDES A L UTILISATION AIDE EN LIGNE AIDE A LA SAISIE RECOMMANDATIONS SAUVEGARDE DES FICHIERS DE REGLES MANUELLES ET EVENEMENTS INDESIRABLES VISUALISATION PRESENTATION DE LA BASE DE CONNAISSANCES DIAGDEMO INTRODUCTION 52

5 Page 5/ LES TYPES DE LA PALETTE D OBJETS CARACTERISTIQUES DES OBJETS LES PARAMETRES SYSTEME DEFINIR LES EVENEMENTS INDESIRABLES EXEMPLE D ETUDE AVEC LA BASE DE CONNAISSANCES DIAGDEMO PRESENTATION DU SYSTEME A ETUDIER DESSINER LE SYSTEME RENSEIGNER LES CARACTERISTIQUES DES OBJETS POUR LA CONFIGURATION DE BASE DEFINIR L EVENEMENT INDESIRABLE DCC GENERER UN PREMIER ARBRE DEFINIR LES VARIANTES GENERER ARBRE PRISE EN COMPTE DE LA VARIANTE PANNE_BATTERIE PRISE EN COMPTE DE LA VARIANTE SENSIB UTILISATION DU SIMULATEUR INDEX 65

6 Page 6/65 1. INTRODUCTION 1.1 OBJECTIF DU MANUEL L objectif de ce document est de fournir un mode d emploi général de la version de démonstration de KB3 V2. Cette version de démonstration inclut la grande majorité des fonctionnalités de KB3. Son utilisation est cependant limitée à l étude de systèmes ne comprenant pas plus de 20 objets graphiques. De plus, aucune sortie sur imprimante n est autorisée (les possibilités d impression sur écran sont maintenues). Pour mieux aborder le logiciel, il est conseillé avant une première utilisation de lire le document «Présentation de KB3 V2» [rapport HT-53/00/02A]. Ce document définit les principales notions utiles à une bonne appréhension de KB3 et présente un exemple complet d étude réalisée avec le logiciel. Cependant, toutes les définitions importantes sont rappelées dans ce manuel (texte encadré). En cas de problème ou de question lors de l utilisation de KB3-demo, vous pouvez adresser un à l adresse suivante : [email protected] 1.2 CONTENU DU MANUEL Dans les trois premiers chapitres de ce manuel, nous décrivons comment installer la version de démonstration de KB3, comment lancer KB3 et comment le quitter. Le chapitre 5 fournit une description de l organisation des fichiers nécessaires à la réalisation d études avec KB3. Le chapitre 6 constitue le mode d emploi proprement dit du logiciel. On y trouvera comment procéder pour atteindre différents objectifs correspondant aux étapes de réalisation d une étude avec KB3. Deux lectures de ce chapitre sont possibles : Lors d un premier contact avec le logiciel, une lecture en continu permet de découvrir pas à pas les opérations à réaliser pour modéliser un système et générer des arbres de défaillances. Pour une simple remise en mémoire sur un point particulier, on peut se reporter directement au paragraphe pertinent en utilisant le sommaire. Le chapitre 7 fournit un certain nombre de recommandations pour une bonne utilisation de KB3 (règles syntaxiques, principes des contrôles,...). Enfin, un index alphabétique est fourni à la fin du manuel. 1.3 LES BASES DE CONNAISSANCES Le mode d emploi présenté au chapitre 6 est un mode d emploi générique indépendant d une base de connaissances particulière. La version de démonstration de KB3 est fournie avec deux bases de connaissances : Diagdemo et Hydem.

7 Page 7/65 La base Diagdemo permet d étudier des systèmes en utilisant une modélisation par diagrammes de fiabilité. On trouvera en annexe 1 une description et un mode d emploi de cette base. De plus, l annexe 2 décrit un exemple d étude de système réalisée avec cette base. La base Hydem permet d étudier des systèmes thermohydrauliques simples. Cette base ayant été initialement réalisée pour la version anglaise de KB3, toutes les informations qui en sont issues sont en anglais. Pour utiliser cette base, on se reportera à l aide en ligne et à l exemple d étude livré. 1.4 CONVENTIONS D ECRITURE Les conventions d écriture du manuel utilisateur sont les suivantes : Les touches du clavier à utiliser sont mentionnées en caractères gras de la façon suivante <Entrée>. Lorsqu il faut presser simultanément deux touches, elles seront indiquées de la façon suivante : <Majuscule>+<Tabulation>. Les cases ou boutons sur lesquels vous devrez cliquer avec le pointeur de la souris seront écrits en (caractères gras entre parenthèses), par exemple : (Annuler). Les fenêtres sont notées en caractères gras style courier et soulignés. Les menus ou les fonctions offertes par les menus sont écrits en caractères gras style courier. Les saisies au clavier effectuées par l utilisateur sont notées en petits caractères italiques style courrier.

8 Page 8/65 2. INSTALLATION DE KB3-DEMO La version KB3-demo qui vous a été transmise est une version PC. La configuration recommandée est la suivante : Espace disque nécessaire à KB3 : 10 à 15 Mb RAM : OS : Processeur : 32 Mb WINDOWS 95, WINDOWS 98 ou WINDOWS NT PC 486, Pentium conseillé Pour installer KB3-demo, il suffit d insérer le CD et d ouvrir le répertoire d installation correspondant à votre environnement : WIN95 si vous travaillez avec WINDOWS 95 (resp. WINDOWS 98) NT si vous travaillez avec WINDOWS NT. Il vous suffit ensuite de double-cliquer sur la commande d installation et de vous laisser guider par les instructions. Par défaut, le logiciel est installé sous le répertoire C :\KB3. Quelques recommandations : Il est impératif de redémarrer votre ordinateur après l installation. Vous devez régler la définition de votre écran à un minimum de 800X600 pixels, et choisir des petites polices. Ces options peuvent être réglées en appuyant sur le bouton droit de la souris sur le fond d écran de WINDOWS 95 et nécessitent éventuellement un redémarrage du PC. Des fichiers bibliothèque sont installés sous C :\ilog\lelisp\win95. Ces fichiers ne doivent en aucun cas être touchés. Desinstaller KB3 La désinstallation s effectue de manière automatique par la procédure standrad de WINDOWS. On y accède à partir du menu Démarrer en choisissant successivement Démarrer/Paramètres/Panneau de Configuration/Ajout/Suppression de programmes. La désinstallation laisse en place les répertoires bdc et bdf contenant les données de l utilisateur (cf. 5).

9 Page 9/65 3. LANCEMENT DE KB3 Le lancement de KB3 se fait en sélectionnant KB3-demo dans le sous-menu Programmes du menu Démarrer de l ordinateur. Le lancement s accompagne de l ouverture des trois fenêtres suivantes : KB3, Messages KB3, Le-Lisp. Dans la première fenêtre, KB3, l utilisateur choisit la base de connaissances qui servira à décrire les comportements généraux de son système. Pour cela, il choisit la fonction Ouvrir BDC dans le menu Fichier qui lui donnera accès à la liste des bases de connaissances disponibles dans le répertoire bdc (Cf. Principes de gestion des fichiers KB3). La sélection de l une de ces bases va déclencher : le chargement de la base associée en affichant dans la zone d édition de la fenêtre KB3, l arbre des éléments constitutifs de la base de connaissances (Cf. exemple suivant). Les feuilles de l arbre vont constituer les archétypes des objets définis dans l éditeur de système. l ouverture de la fenêtre Editeur de systeme depuis laquelle l utilisateur va pouvoir décrire son système (ouverture de l éditeur en mode création) ou modifier un système existant en sélectionnant la fonction Ouvrir du menu Fichier.

10 Page 10/65 La seconde fenêtre, Messages KB3, dont un exemple est présenté ci-dessous, donne un ensemble d informations à l utilisateur sur l exécution du programme. Ces informations peuvent porter sur les chargements de fichiers, les temps d exécution de certaines tâches, les exécutions en cours, etc. La dernière fenêtre Le-Lisp est directement iconifiée dès son ouverture. Cette fenêtre ne présente que très peu d intérêt pour l utilisateur. Elle le renseigne éventuellement sur certains dysfonctionnements de KB3 qu il pourra transmettre au concepteur ou à l installateur de l outil. L utilisateur a la possibilité de vérifier depuis la fenêtre KB3, certaines informations d ordre très général, notamment sur la version de KB3 et sur la base de connaissances chargée, pour cela il sélectionne la fonction A propos du menu? contenu dans la barre des menus. Un exemple de la fenêtre d informations A propos est donné ci-dessous. L utilisateur la quitte en cliquant sur le bouton (Fermer).

11 Page 11/65 4. QUITTER KB3 Si la fenêtre Editeur de systeme est ouverte, l utilisateur doit en priorité fermer cette dernière en sélectionnant dans le menu Fichier, la fonction Fermer. KB3 renvoie à l utilisateur un message d avertissement si des modifications sur le système en cours de session n ont pas été sauvegardées. L Editeur de systeme fermé, il est possible de quitter KB3 : soit, en cliquant sur le bouton (Quitter KB3) dans la fenêtre Messages KB3, soit, en sélectionnant la fonction Quitter dans le menu Fichier de la fenêtre KB3. L une ou l autre de ces deux opérations a pour effet de refermer les trois fenêtres KB3, Messages KB3 et Le-Lisp.

12 Page 12/65 5. PRINCIPES DE GESTION DES FICHIERS KB3 5.1 STOCKAGE DES FICHIERS KB3 L organisation des fichiers produits pour réaliser les études de systèmes avec KB3 est gérée automatiquement par KB3. L arborescence des fichiers est présentée sur la figure suivante. bdc fichiers bdc KB3 bdc 1 sys 1.sys modèle 1 arbre modèle k fichiers arbre.ft modèle p configs config.con bdf bdc i sys j.sys manus fichiers sys j.man fichiers tops.top models fichiers modèle k.inf tableur fichiers export.txt sys m.sys autres répertoires du système sys j bdc n Les données relatives aux bases de connaissances sont stockées dans le répertoire répertoire KB3 1 \bdc. Ce répertoire contient les fichiers de n bases de connaissances. Une base de connaissances quelconque, que nous nommerons bdc i, est constituée de plusieurs fichiers. Parmi ceux-ci, c est le fichier syntaxé bdc i.fi que l utilisateur choisit, dans la fenêtre KB3, pour sélectionner la base de connaissances bdc i. Avec la version de démonstration de KB3, les informations contenues dans ces fichiers sont inaccessibles à l utilisateur. Les informations relatives aux études de systèmes réalisées avec KB3 sont toutes stockées dans le répertoire répertoire KB3 \bdf. Ce dernier répertoire est divisé en autant de sous-répertoires qu il y a de bases de connaissances installées sous KB3, soit n dans notre cas. Ainsi, les données relatives aux études de systèmes 1 Répertoire principal d installation du logiciel.

13 Page 13/65 réalisées avec la base de connaissances bdc i sont stockées dans le répertoire répertoire KB3 \bdf\ bdc i. Ce répertoire relatif à la base de connaissances est divisé en autant de répertoires qu il y a d études de systèmes réalisées avec cette base, soit m dans notre cas. Ainsi, les données relatives à l étude du système sys j réalisée avec la base de connaissances bdc i sont stockées dans le répertoire répertoire KB3 \bdf\ bdc i \ sys j.sys. Un répertoire système comprend plusieurs répertoires. Parmi ceux-ci, il est utile de connaître deux répertoires : Le répertoire arbre contient l ensemble des modèles générés par le système. Il est divisé en autant de répertoires qu il y a de modèles, soit p dans notre cas. Ainsi, le répertoire répertoire KB3 \bdf\ bdci \ sysj.sys\arbre\ modèlek contient le modèle modèlek généré avec le système sysj avec la base de connaissances bdci. Les fichiers créés sous ce répertoire sont syntaxés sous la forme arbre.ft. Le répertoire tableur contient les fichiers export.txt paramétrés par l utilisateur pour regrouper diverses informations sur le système. Ces fichiers sont directement exportables vers un tableur. Le nom export est proposé par défaut à l utilisateur (cf. Imprimer un rapport). 5.2 SUPPRESSION DES FICHIERS KB3 Contrairement à la création des fichiers, KB3 n assiste pas l utilisateur lorsque celui-ci désire supprimer certains fichiers. Il est donc nécessaire de supprimer ses fichiers via le gestionnaire de fichiers proposé par Windows. 5.3 DUPLICATION DES FICHIERS KB3 La duplication d un répertoire de système est réalisable depuis l Editeur de systeme par la fonction Sauver sous du menu Fichier. Cette fonction sauvegarde sous un autre nom l ensemble des informations associées au répertoire système sauvé (topologie du système, configurations définies, événements indésirables, règles manuelles et modèles générés).

14 Page 14/65 6. APPROCHE PAR OBJECTIFS Dans ce chapitre, vous trouverez les procédures à suivre pour atteindre les objectifs prédéfinis suivants : Dessiner un système Renseigner les caractéristiques des objets (définir une configuration) Définir les défaillances de cause commune Définir un événement indésirable Définir une règle manuelle Générer un arbre Valider la modélisation d un système Modifier un système existant Les indications sont volontairement "concises" et ne décrivent que les lignes générales de la démarche et les différentes étapes à réaliser pour atteindre un objectif donné.

15 Page 15/ DESSINER UN SYSTEME Objectif : saisir dans KB3 le schéma du système à étudier Les différentes étapes à réaliser sont : lancer KB3 sur un nouveau système, décrire la topologie, nommer les composants, sauvegarder le système LANCER KB3 SUR UN NOUVEAU SYSTEME 1er cas : KB3 est déjà lancé Vérifier que la base de connaissances chargée est pertinente : Dans le menu? de la fenêtre KB3, choisir A propos, Les nom et numéro de version de la base de connaissances chargée sont indiqués. Si la base n est pas pertinente, charger une autre base (fonction Ouvrir dans le menu Fichier de la fenêtre KB3). L Editeur de système s ouvrira alors automatiquement en mode création de système. Si la base chargée est pertinente, sélectionner Nouveau dans le menu Fichier de la fenêtre Editeur de système. 2ième cas : KB3 n est pas lancé Se reporter au chapitre SAISIR LA TOPOLOGIE DU SYSTEME La fenêtre Editeur de Systèmes Le lancement de KB3 affiche directement la fenêtre Editeur de système. C'est dans cette fenêtre qu'il est possible de saisir la représentation graphique du système en utilisant la palette d objets affichée à gauche de cette fenêtre. Tous les types de composants modélisés dans la base de connaissances utilisée sont accessibles dans la palette d objets. Les différents types de composants disponibles dans la palette d objets sont soit des objets graphiques associés à des icônes particulières, soit des objets non-graphiques qui n apparaîtront pas sur le schéma graphique du système.

16 Page 16/65 Curseur de sélection Barre des menus Saisie de texte Paramètres Système (Bouton présent ou non suivant la BDC chargée) Palette d icônes (dépend de la BDC chargée) Zone de saisie graphique du système Informations générales : Le curseur de sélection permet de différencier le mode Création d objets du mode Sélection d'objets. Lorsqu'il est activé, le bouton se colorie en noir. Le mode Création d'objets permet de choisir un objet dans la palette d'icônes et de le placer dans la zone de saisie du système. Le mode Sélection, quant à lui, permet de sélectionner un objet ou un groupe d objets, de le déplacer ou de lui appliquer une commande du menu "Edition" ou du menu "Objets". Le bouton COMMENTAIRES permet d'ajouter du texte, des commentaires, dans la partie de dessin du système. Le bouton Paramètres Système permettra de renseigner les valeurs des paramètres système prévus par la Base de connaissances (ce bouton n apparaît pas si aucun Paramètres système n est modélisé dans la BdC utilisée). Les différentes étapes de la saisie d un système sont : Placer les composants dans la fenêtre Editeur de système Tracer les liens entre composants Créer éventuellement des objets non graphiques Renseigner les interfaces entre objets Placer les différents composants dans la fenêtre Editeur de système Pour placer un composant, cliquer sur l icône correspondant dans la palette d objets puis cliquer à l'endroit désiré dans la fenêtre Editeur de système.

17 Page 17/65 Remarques : Une aide en ligne peut être obtenue par un double-clic pour les objets graphiques. L'ordre de saisie des composants n'a pas d'importance. Il est possible de modifier la position des composants ultérieurement. Le menu Objets permet d'appliquer des rotations ou des symétries à un (plusieurs) objet(s) sélectionné(s). Le menu Options permet d'afficher ou non le nom des composants. Les commandes Copier/Coller permettent de dupliquer simplement des parties du système Tracer les liens entre les différents composants Le tracé des liens doit respecter : le sens des liens (tel composant est en aval d'un autre composant), le type de lien (une base de connaissances peut en effet comporter différents types de liens : fluide, fonctionnel,...). Remarques : L'apparence des liens peut être modifiée par le menu Objets, qui permet de transformer un lien sélectionné en lien "vertical", "horizontal" ou "modifiable". Le menu Options permet d'afficher ou non le nom et/ou le sens des liens Créer, éventuellement, des objets non graphiques Par définition, ces objets n'apparaissent pas dans la fenêtre Editeur de système. Dans la palette d icônes, sélectionner le type d objet non graphique. Puis dans la fenêtre d édition, cliquer sur (Creer) Renseigner les interfaces entre les différents objets Les caractéristiques de type INTERFACE d un objet contiennent les objets du système en relation avec celui-ci. Certaines interfaces d objets sont remplies automatiquement par le tracé des liens entre objets (interfaces suivies du signe «:»). D'autres interfaces doivent être remplies manuellement, cela pouvant avoir un caractère facultatif (interfaces suivies du bouton «>»). Pour remplir une interface manuellement : Cas des objets graphiques : double-cliquer sur le composant ou sélectionner le composant et choisir Editer objets dans le menu Edition.

18 Page 18/65 ==> l'éditeur d'objet correspondant est alors affiché. cliquer sur le bouton ( >) en regard de l interface à renseigner. ==> KB3 propose alors la liste des objets compatibles avec cette interface. sélectionner dans cette liste le ou les objets désirés et (valider). cliquer sur (valider) dans l éditeur d objet pour valider la saisie. Cas des objets non graphiques : dans la palette d'icônes, sélectionner le type de composant (exemple : alimentation), dans la liste des objets correspondants, sélectionner celui à renseigner, cliquer sur le bouton (Editer), ==> l'éditeur d'objet correspondant est alors affiché. cliquer sur le bouton ( >) en regard de l interface à renseigner. ==> KB3 propose alors la liste des objets compatibles avec cette interface. sélectionner dans cette liste le ou les objets désirés et (valider). cliquer sur (valider) dans l éditeur d objet pour valider la saisie. fermer la fenêtre des objets non-graphiques en cliquant sur le bouton (Fin) NOMMER LES COMPOSANTS Chaque composant inséré dans l'éditeur de système est nommé automatiquement par KB3. Il convient, pour des raisons de lisibilité et d'homogénéité entre études, de modifier ce nommage automatique. Pour ce faire, pour chaque composant que l'on veut renommer : Cas des objets graphiques : double-cliquer sur le composant ou sélectionner le composant et choisir Editer objets dans le menu Edition. ==> l'éditeur d'objet correspondant est alors affiché. modifier le champ «Nom» en respectant les règles de codage définies éventuellement dans le guide de réalisation des études de systèmes de votre application et (valider). Cas des objets non graphiques : dans la palette d'icônes, sélectionner le type de composant, dans la liste des objets correspondants, sélectionner celui à renommer, cliquer sur le bouton (Editer), ==> l'éditeur d'objet correspondant est alors affiché. modifier le champ «Nom» en respectant les règles de codage définies éventuellement dans le guide de réalisation des études de systèmes de votre application. cliquer sur (valider) dans l éditeur d objet pour valider la modification.

19 Page 19/65 fermer la fenêtre des objets non-graphiques en cliquant sur le bouton (Fin) SAUVEGARDER LE SYSTEME Lorsque la saisie du système est terminée, ou bien, avant de quitter une session KB3, il est impératif de sauvegarder le système. Pour ce faire : sélectionner Sauver dans le menu Fichier. ==> saisir le nom sous lequel sera sauvegardé le système (nom du répertoire système) et (valider). Remarque : Il est recommandé de sauver son travail régulièrement afin d'éviter de perdre des données en cas de problème matériel ou logiciel.

20 Page 20/ RENSEIGNER LES CARACTERISTIQUES DES OBJETS Objectif : adapter les valeurs des caractéristiques des objets proposées par défaut à l étude du système spécifique en cours. Avertissement : l utilisateur qui ne souhaite pas gérer simultanément plusieurs configurations du système (plusieurs états initiaux possibles, plusieurs états en fonctionnement possible) ne s intéressera qu à la configuration de base (cf. Modifier la configuration de base) RAPPELS DES DEFINITIONS Chaque objet d un système est décrit par un certain nombre de caractéristiques issues de la description générique de la base de connaissances. On distingue cinq catégories de caractéristiques (INTERFACE, CONSTANTE, PANNE, PARAMETRE_DE_LOI, EFFET). On parlera indifféremment de caractéristiques ou de variables d objets. Les caractéristiques de type CONSTANTE d un composant caractérisent l état de ce composant. Les caractéristiques de type PANNE d un composant décrivent les modes de défaillance élémentaires de ce composant. On peut faire des études de sensibilité à une PANNE en jouant sur sa valeur ( inhibée, potentielle ou réalisée ). Un profil de fonctionnement de système se définit avec KB3 comme une configuration. La Configuration de base d un système correspond à un jeu de valeurs particulier pour les CONSTANTES, les PANNES et les PARAMETRES_DE_LOI du système. C est cette configuration qui est chargée à l ouverture du système. A la création d un système, la configuration de base est initialisée en fonction d un jeu de valeurs par défaut issu de la base de connaissances. Elle est bien sûr modifiable. Une Variante permet de définir une configuration particulière en différentiel par rapport à la Configuration de base. Elle est identifiée par son nom et contient les valeurs des CONSTANTES, des PANNES et éventuellement des PARAMETRES_DE_LOI du système dont la valeur diffère de celle de la Configuration de base. Une configuration particulière du système est obtenue en appliquant une (ou éventuellement plusieurs) Variante(s) à la Configuration de base MODIFIER LA CONFIGURATION DE BASE Lors de l étude d un système, on peut être amené à modifier la configuration de base, c est-à-dire attribuer à certaines caractéristiques de composants des valeurs différentes de celles définies par défaut dans la base de connaissances.

21 Page 21/ Renommer la configuration de base Par défaut, lors de la création d'un système, la configuration de base est appelée "base". Il est possible de modifier ce nom et de saisir une description et un commentaire associés à cette configuration de base. dans le menu Edition, sélectionner Editer configuration de base, saisir le nouveau nom, saisir éventuellement une description et un commentaire, (valider) Modifier les valeurs des caractéristiques d un composant pour la configuration de base Cas des objets graphiques : double-cliquer sur le composant ou sélectionner le composant et choisir Editer objets dans le menu Edition. ==> l'éditeur d'objet correspondant est alors affiché. Dans la fenêtre Configurations associée à l éditeur d objet : vérifier que seule la configuration de base est sélectionnée, cliquer sur le bouton (Modification). ==> Les CONSTANTES, les PANNES et les PARAMETRES_DE_LOI sont alors accessibles en modification. modifier le(s) paramètre(s) voulu(s) et (valider). Cas des objets non graphiques : dans la palette d'objets, sélectionner le type de composant, dans la liste des objets correspondants, sélectionner celui à modifier, cliquer sur le bouton (Editer), ==> l'éditeur d'objet correspondant est alors affiché. dans la fenêtre Configurations associée à l éditeur d objet : vérifier que seule la configuration de base est sélectionnée, cliquer sur le bouton (Modification). ==> les CONSTANTES, les PANNES et les PARAMETRES_DE_LOI sont alors accessibles en modification. modifier le(s) paramètre(s) voulu(s) et (valider). fermer la fenêtre des objets non-graphiques en cliquant sur le bouton (Fin).

22 Page 22/ Modifier les valeurs des caractéristiques de plusieurs composants Cas des objets graphiques : sélectionner les composants à modifier (2) et choisir Editer objets dans le menu Edition. ==> l'éditeur d'objet correspondant aux champs communs aux objets sélectionnés est alors affiché. dans la fenêtre Configurations associée à l éditeur d objet : vérifier que seule la configuration de base est sélectionnée, cliquer sur le bouton (Modification). ==> Les CONSTANTES, les PANNES et les PARAMETRES_DE_LOI sont alors accessibles en modification. modifier le(s) paramètre(s) voulu(s) et (valider). Cas des objets non graphiques : Il n est pas possible de modifier plusieurs objets non graphiques en même temps Modifier les «paramètres système» Dans certaines bases de connaissances, des caractéristiques globales au système sont définies. Ces caractéristiques s appellent paramètres système. Elles permettent le plus souvent de modéliser des comportements associés à un système et non à un type de composant particulier. Les valeurs des paramètres système dans la configuration de base sont modifiables en sélectionnant Paramètres système dans la palette d objets. Pour les modifier, on suit la même procédure que pour les autres variables du système DEFINIR UNE VARIANTE Il existe deux possibilités pour définir une Variante Via la fonction Editer Variantes du menu Edition Dans le menu Edition, sélectionner Editer Variantes. ==> La fenêtre d Edition des variantes est affichée. Cliquer sur le bouton (Creer). ==> La fenêtre Edition d une variante est affichée. Saisir un nom, une description et un commentaire (facultatifs mais conseillés), Cliquer sur le bouton (Ajouter). ==> la fenêtre Ajout de différences est affichée. 2 Pour une sélection multiple, utiliser le bouton droit de la souris.

23 Page 23/65 Pour chaque caractéristique d objet dont la valeur pour la Variante diffère de la valeur pour la configuration de base, sélectionner la valeur à attribuer (sélection du type d objet, de l objet, de la caractéristique et de la valeur) et cliquer sur le bouton (Ajouter). Au fur et à mesure, les différences définies pour la variante s affichent dans la zone «Différences par rapport à la configuration de base» de la fenêtre Edition d une variante. Lorsque toutes les différences ont été saisies, cliquer sur le bouton (Fin). Quand la variante est définie, valider votre saisie en cliquant sur le bouton (valider) de la fenêtre Edition d une variante. Fermer la fenêtre Edition des variantes en cliquant sur le bouton (Fin) Via la fenêtre Editeur d objet Cette possibilité est plutôt utilisée lorsque l on veut modifier une variante existante mais peut être également utilisée pour en créer une nouvelle. Un éditeur d objet étant ouvert, dans la fenêtre Configuration correspondante, cliquer sur le bouton (modification), cliquer sur le bouton (nouvelle variante), ==> la fenêtre Edition d une variante est alors affichée VISUALISER, IMPRIMER LA CONFIGURATION DE BASE OU UNE VARIANTE Se reporter au Traçabilité des études de système.

24 Page 24/ DEFINIR LES DEFAILLANCES DE CAUSE COMMUNE Préliminaire : la fonction de définition des défaillances de cause commune est une option paramétrable du logiciel. Autrement dit, cette possibilité peut ne pas être offerte pour certaines bases de connaissances. KB3 permet de modéliser des défaillances de cause commune sur les composants du système. Il suffit pour cela de définir des modes communs, chaque mode commun étant associé : à un ensemble de composants de même type (entre deux et quatre), à un mode de défaillance particulier, à un ensemble de paramètres de fiabilité. La fonction Editer modes communs est accessible depuis la fenêtre Editeur de systeme dans le menu Edition. Le choix de cette option entraîne l ouverture de la fenêtre Modes communs sur laquelle sont listés tous les modes communs définis pour le système. Depuis cette fenêtre on peut : Créer un nouveau mode commun (bouton Créer) Editer un mode commun pour visualiser ou modifier ses caractéristiques (bouton Editer) Supprimer un mode commun (bouton Supprimer) Le choix du bouton Créer entraîne l ouverture de la fenêtre Modes communs dans laquelle on peut saisir toutes les caractéristiques du mode commun, à savoir : Le nom du mode commun (ce nom sera notamment utilisé pour nommer les défaillances de cause commune associées à ce mode commun dans les arbres générés). Les composants impliqués dans le mode commun (entre deux et quatre). Les objets appartenant à un même mode commun sont forcément des objets de même type. Le mode de défaillance associé au mode commun. Un ensemble de paramètres de fiabilité. Le taux de défaillance à prendre en compte (peut être différent du taux de défaillance simple envisagé). La saisie de ce taux est obligatoire. Le temps de réparation associé à la défaillance (non obligatoire). Le temps de redémarrage de l installation (il s agit d un temps qui sera systématiquement ajouté aux temps de réparation renseignés). La saisie de ce temps est non obligatoire. Les paramètres de calcul des modes communs. On peut choisir de renseigner les «lettres grecques» ou «les paramètres de la loi binomiale», ce choix n ayant aucune incidence sur la méthode de quantification utilisée. La saisie de l un ou l autre des deux jeux de paramètres est obligatoire. Les hypothèses concernant l organisation des équipes de réparation (un réparateur par composant ou un seul réparateur pour le système).

25 Page 25/ DEFINIR UN EVENEMENT INDESIRABLE INTRODUCTION Les caractéristiques de type EFFET d un composant décrivent les modes de défaillances globaux de ce composant (perte de fonction principale, mode de défaillance intermédiaire). Chaque événement indésirable à étudier est représenté sous la forme d un arbre de défaillances reliant l événement sommet à des événements représentant la perte de fonctions principales du système, ces événements étant représentés soit par l occurrence d un EFFET particulier sur un composant particulier soit par la perte d un objet de type Testeur. Un objet de type Testeur est un objet permettant de vérifier le bon fonctionnement d une fonction principale du système. Les objets de type Testeurs sont souvent utilisés pour faciliter l expression des événements indésirables DEFINITION DE L'EVENEMENT INDESIRABLE La définition d'un événement indésirable se fait à partir de la fenêtre Editeur d'événements indésirables accessible depuis le menu Fichier de l'éditeur de système. Définir un événement indésirable avec KB3, c est dessiner une tête d arbre reliant un événement sommet à des EFFETS de composants. Un événement indésirable se présente donc comme un arbre de défaillances dont les feuilles sont des événements «intermédiaires» (les arbres de défaillances explicitant ces événements intermédiaires seront automatiquement construits par le logiciel). Il est aussi possible d introduire des événements de base (PANNES de composants) directement dans la définition de l événement indésirable. Dans ce chapitre, nous ne donnons que les principes généraux d utilisation de l Editeur d événements indésirables. On distingue deux principaux types de fonctionnalités dans l Editeur d événements indésirables : La fonctionnalité permettant de créer un événement indésirable. Les fonctionnalités permettant d éditer cet événement, c est à dire de dessiner l arbre associé. Lors du premier accès à l Editeur d événements indésirables, on accède directement à la création d un nouvel événement indésirable (fenêtre Evénement Indésirable). Pour les accès suivants, l éditeur d événements indésirables est automatiquement ouvert.

26 Page 26/65 Créer un nouvel événement indésirable : On accède à la création d un nouvel événement indésirable (fenêtre Evénement Indésirable ) : Soit directement lors du premier accès à l Editeur d événements indésirables. Soit depuis l Editeur d événements indésirables en sélectionnant Nouveau Top dans le menu Arbre. Pour créer l événement indésirable, il suffit de renseigner son nom, sa description et éventuellement un commentaire qui sera visualisé automatiquement sur la page associée à cette porte sommet. Pour valider la saisie, cliquer sur le bouton (Valider). ==> L Editeur d événements indésirables est ouvert. Editer l arbre associé à l événement indésirable : Si il en existe, la liste des événements indésirables définis pour le système est affichée à gauche de la fenêtre. Pour dessiner l arbre décrivant la logique de la porte sommet, l Editeur d événements indésirables offre toutes les possibilités classiques d un éditeur graphique d arbre de défaillances (ajout de porte, ajout de feuille,...) (cf. Figure). La représentation graphique des arbres dessinés est organisée par pages : Lorsqu un nouvel événement indésirable est créé, une nouvelle page portant le nom de la porte sommet est automatiquement créée. Il est possible d expliciter un même événement indésirable sur plusieurs pages. Réciproquement, une même page peut être utilisée pour définir plusieurs événements indésirables. Pour créer une nouvelle page, il faut sélectionner Nouvelle page dans le menu Arbre de l éditeur d événements indésirables. Pour insérer dans la logique de l arbre décrit des événements particuliers relatifs à l occurrence d un EFFET sur un composant ou à la perte d un testeur ou encore à l occurrence d une PANNE, il faut insérer un événement particulier symbolisé par l icône «Création de lien» (icône de forme losange). Si un tel événement est ajouté à l arbre, une fenêtre EVENEMENT FIGARO est automatiquement ouverte. Cette fenêtre permet à l utilisateur de renseigner le testeur, l EFFET ou la panne associé à l événement décrit. Il est possible d utiliser des renvois externes ou des drapeaux pour expliciter la logique d un événement indésirable. Si un renvoi externe est ajouté à la logique de l arbre, une fenêtre Renvois Externes permet de le définir précisément. Il est possible de créer un nouveau renvoi externe ou de choisir un renvoi externe défini au préalable (bouton (Choisir) ). Si un drapeau est ajouté à la logique de l arbre, une fenêtre Drapeaux permet de le définir précisément. Il est possible de créer un drapeau particulier, de choisir un drapeau correspondant à une Variante du système (bouton (Choisir) ), ou de choisir un drapeau particulier défini au préalable (bouton (Choisir) ).

27 Page 27/65 Remarques : Le codage des événements indésirables est important : le nom de la porte sommet associée à l occurrence de cet événement indésirable pour un modèle particulier est obtenu en concaténant un préfixe particulier, le nom du modèle et le nom de l événement indésirable. L accès à l éditeur d événements indésirables n est possible que si le système en cours de modélisation a été sauvegardé. Il n est pas possible d ouvrir plusieurs éditeurs d événements indésirables en même temps. Insertion d un fils Insertion d un parent Transformation en porte ET Transformation en porte OU Transformation en porte k/n Icône création de lien Transformation en drapeaux Insertion de renvois externes externes Insertion des renvois internes (Renvois dans l arbre)

28 Page 28/ DEFINIR UNE REGLE MANUELLE INTRODUCTION Les caractéristiques de type EFFET d un composant décrivent les modes de défaillances globaux de ce composant (perte de fonction principale, mode de défaillance intermédiaire). Une Règle manuelle est un «mini» arbre de défaillances qui permet de compléter ou modifier l explication d un EFFET de composant en fonction de règles de dysfonctionnement spécifiques au système étudié. Les règles manuelles définies pour un système sont organisées par fichier, chaque fichier pouvant contenir une ou plusieurs règles. Avant chaque génération de modèle KB3, on définit le ou les fichiers de règles manuelles à prendre en compte dans le modèle DEFINITION D'UNE REGLE MANUELLE La définition d'une règle manuelle se fait à partir de la fenêtre Editeur de règles manuelles accessible depuis le menu Fichier de l'éditeur de système. Modéliser des dysfonctionnements spécifiques avec KB3, c est compléter l explication d un mode de défaillance global de composant (l explication d un EFFET de composant) en prenant en compte une combinaison spécifique de modes de défaillances ou des modes de défaillances spécifiques. L utilisateur formalise cette explication spécifique sous la forme d un «mini» arbre de défaillances (il complète en fait l arbre de défaillances qui sera généré automatiquement). Dans ce chapitre, nous ne donnons que les principes généraux d utilisation de l Editeur de règles manuelles. On distingue trois principaux types de fonctionnalités dans l Editeur de règles manuelles : Les fonctionnalités permettant d éditer la liste des fichiers de règles manuelles et de créer un nouveau fichier de règles. La fonctionnalité permettant de créer une nouvelle règle dans un fichier. Les fonctionnalités permettant d éditer les règles d un fichier, c est-à-dire de dessiner l arbre associé à ces règles manuelles. Créer un nouveau fichier de règles manuelles : Lorsque l option Editer Règles Manuelles du menu Fichier de la fenêtre Editeur de système est sélectionnée, la liste des fichiers de règles manuelles disponibles pour le système est affichée (fenêtre Edition des règles manuelles). Si le bouton (Créer) est activé, la fenêtre NOUVEAU FICHIER est ouverte, fenêtre permettant de créer un nouveau fichier en renseignant son nom. Lorsqu un nouveau fichier est créé, la fenêtre NOUVELLE PAGE permettant de créer une nouvelle règle manuelle est automatiquement ouverte.

29 Page 29/65 Le bouton (Supprimer) permet de supprimer un fichier entier de règles manuelles. Le bouton (Editer) permet d accéder à l Editeur de règles manuelles du fichier, c est à dire à l éditeur des arbres associés à ce fichier. Créer une nouvelle règle manuelle : On accède à la création d une nouvelle règle (fenêtre Nouvelle page ) : Soit directement après la création d un fichier de règles manuelles. Soit depuis l Editeur de règles manuelles en sélectionnant Nouvelle page dans le menu Arbre. Pour créer une nouvelle règle, il faut sélectionner le bouton (Règle additionnelle) de la fenêtre Nouvelle page. L activation de ce bouton entraîne l ouverture de la fenêtre EVENEMENT FIGARO, qui permet de renseigner le nom de la règle et l EFFET à expliquer. Le nom de la règle correspond en fait au nom de la page de l arbre contenant la porte associée à l EFFET à expliquer. Lorsque l EFFET à expliquer est renseigné, l utilisateur accède à la fenêtre de l Editeur de règles manuelles proprement dit. Editer l arbre associé à un fichier de règles manuelles : La liste des règles manuelles définies dans le fichier en cours d édition est affichée à gauche de la fenêtre. Pour symboliser clairement le fait qu une règle manuelle complète l arbre généré automatiquement, une icône représentant l arbre base de connaissances est affichée en entrée de la porte associée à l EFFET à expliquer Pour dessiner l arbre décrivant l explication spécifique de l EFFET choisi, l Editeur de règles manuelles offre toutes les possibilités classiques d un éditeur graphique d arbre de défaillances (ajout de porte, ajout de feuille,...) (cf. les fonctions de l Editeur d événements indésirables). La représentation graphique des arbres dessinés est organisée par pages : Lorsqu une nouvelle règle manuelle est créée, une nouvelle page portant le nom de la règle est automatiquement créée (item Nouvelle page du menu Arbre, bouton (Règle additionnelle)). Cette page contiendra l EFFET à expliquer par la règle (c est la page sommet de la règle). Il est possible d expliciter une même règle manuelle sur plusieurs pages. Réciproquement, une même page peut être utilisée pour définir plusieurs règles manuelles. Pour créer une nouvelle page qui ne soit pas la page sommet d une règle, il faut sélectionner Nouvelle page dans le menu Arbre de l éditeur de règles manuelles et activer le bouton (Page Normale). Pour insérer dans la logique de l arbre décrit des événements particuliers relatifs à l occurrence d une PANNE sur un composant ou à l occurrence d un EFFET, il faut insérer un événement particulier symbolisé par l icône «Création de lien» (icône de forme losange). Si un tel événement est ajouté à l arbre, une fenêtre EVENEMENT FIGARO est automatiquement ouverte.

30 Page 30/65 Cette fenêtre permet à l utilisateur de renseigner l EFFET ou la PANNE associé à l événement décrit. Il est possible d utiliser des renvois externes ou des drapeaux pour expliciter la logique d une règle manuelle. Si un renvoi externe est ajouté à la logique de l arbre, une fenêtre Renvois Externes permet de le définir précisément. Il est possible de créer un nouveau renvoi externe ou de choisir un renvoi externe défini au préalable (bouton (Choisir) ). Si un drapeau est ajouté à la logique de l arbre, une fenêtre Drapeaux permet de le définir précisément. Il est possible de créer un drapeau particulier, de choisir un drapeau correspondant à une Variante du système (bouton (Choisir) ), ou de choisir un drapeau particulier défini au préalable (bouton (Choisir) ). Remarques : L accès à l éditeur de règles manuelles n est possible que si le système en cours de modélisation a été sauvegardé. L item Nouvelle page du menu Arbre permet soit de créer une nouvelle règle manuelle, c est à dire d ajouter une explication spécifique pour un nouvel EFFET (bouton (Règle additionnelle) ), soit de créer une page qui sera utilisée dans une ou plusieurs règles (bouton (Page Normale) ). Si la porte sommet de la règle manuelle est une porte OU, cela signifie que l on ajoute une cause à l EFFET à expliquer sous forme du mini-arbre. Par contre, si la porte sommet d une règle manuelle est une porte ET, cela signifie que l on conditionne l EFFET à expliquer.

31 Page 31/ GENERER UN ARBRE INTRODUCTION Un modèle KB3 est un arbre de défaillances correspondant à l étude d une ou plusieurs missions d un système. Un modèle peut contenir plusieurs événements indésirables (arbre multi-tops). Il est possible de prendre en compte dans un même modèle plusieurs configurations du système (arbre multi-configurations). : une configuration «particulière» (configuration du système prise en compte dans l arbre lorsque tous les drapeaux sont positionnés à FAUX), des configurations prises en compte grâce à des drapeaux créés automatiquement par le logiciel (drapeau associé à une variante). Pour un système particulier, chaque modèle généré est identifié par un nom et défini par : La configuration particulière à prendre en compte dans l arbre de défaillances Le ou les événements indésirables à expliquer La ou les configurations à prendre en compte avec des drapeaux (éventuellement) La ou les règles manuelles à prendre en compte dans le modèle (éventuellement) La génération d arbres de défaillances est l objectif premier de KB3. Avant de pouvoir lancer une génération, un certain niveau de complétude doit être atteint dans la description du système. A minima, il faut : que la topologie du système soit complète et cohérente et que les différents liens soient tracés, qu un événement indésirable (mission du système) au moins ait été défini. L utilisation de variantes ou de règles manuelles est quant à elle facultative pour la génération d un arbre. Il est possible d enchaîner la génération de plusieurs modèles GENERER UN ARBRE Pour accéder à la génération d arbres depuis la fenêtre Editeur de système : dans le menu Traitement, sélectionner Generer Arbre, ==> la fenêtre de Definition d un arbre est affichée. Avant de générer un arbre, c est-à-dire avant de générer un modèle, il faut définir ce modèle en indiquant dans la fenêtre Définition d un arbre : Le nom du modèle (obligatoire). Le ou les événements indésirables à prendre en compte (la sélection d au moins un événement indésirable est obligatoire).

32 Page 32/65 La configuration particulière à prendre en compte (obligatoire, par défaut égale à la configuration de base). Les configurations à prendre en compte par des drapeaux conditionnels dans l arbre (facultatif). Les règles manuelles à prendre en compte (facultatif). Une fois que le modèle est défini, la génération proprement dite peut être lancée. Remarque : Pour générer un arbre relatif à l échec d un événement indésirable dans la configuration de base du système, il suffit d indiquer un nom de modèle et un événement indésirable dans la fenêtre Définition d un arbre. Renseigner le nom du modèle : Le nom de modèle est obligatoire. Le nom du modèle à générer est important pour deux raisons : Ce nom est utilisé pour nommer les portes de l arbre. Ce nom permet d identifier la définition du modèle afin de sauvegarder éventuellement cette définition pour la réutiliser ultérieurement. Pour identifier un modèle : Modifier le nom du modèle (proposé par défaut égal au nom du système étudié dans la zone Nom du Modèle). Saisir un commentaire (facultatif mais conseillé). Remarque : Le nom d un modèle ne doit pas se terminer par un chiffre et ne doit pas excéder 7 caractères. Sélectionner les événements indésirables à prendre en compte : La sélection d au moins un événement indésirable est obligatoire. Si plusieurs événements indésirables sont sélectionnés; l arbre généré contiendra autant de portes sommet qu il y a d événements indésirables sélectionnés (arbre multi-tops). L intérêt de générer un arbre multi-tops plutôt que plusieurs arbres mono-top réside dans le partage des portes communes aux différents événements indésirables. Pour sélectionner les événements indésirables : cliquer sur le bouton (...) dans le champ «Liste des Tops» et sélectionner un ou plusieurs événements indésirables. Pour sélectionner plusieurs événements indésirables, il suffit de les sélectionner avec le bouton droit de la souris. Pour désélectionner un événement indésirable, il suffit de cliquer dessus avec le bouton droit de la souris.

33 Page 33/65 Choisir la configuration particulière à prendre en compte : La configuration particulière associée à l arbre de défaillances à générer se définit dans la zone Configuration particulière de la fenêtre Définition d un arbre. Par défaut, cette configuration particulière est égale à la configuration de base du système. Il est cependant possible de prendre en compte une autre configuration particulière par application d une ou plusieurs variantes à la configuration de base. Si la configuration particulière n est pas la configuration de base : cliquer sur le bouton (...) dans la zone «Configuration particulière», sélectionner une ou plusieurs variantes dans la liste obtenue (bouton droit de la souris pour réaliser une sélection multiple ou désélectionner un enregistrement). Attention : Des variantes peuvent être incompatibles entre elles. Par exemple, une PANNE peut être déclarée inhibée dans une variante et réalisée dans une autre. Il n est pas possible de définir une configuration particulière à partir de variantes incompatibles. KB3 le signale par un message d avertissement. Sélectionner les variantes à prendre en compte comme drapeaux : La sélection de variantes à prendre en compte comme drapeaux est facultative. Des variantes sont prises en compte comme drapeaux lorsque l on veut générer un arbre multiconfigurations. Dans ce cas, KB3 crée automatiquement dans le modèle généré les drapeaux associés aux variantes choisies et conditionne les modes de défaillance à prendre en compte en fonction de ces drapeaux. Pour sélectionner les variantes à prendre en compte comme drapeaux : cliquer sur le bouton (...) dans la partie «Variantes prises en compte par des drapeaux», sélectionner une ou plusieurs variantes (bouton droit de la souris pour la sélection multiple ou pour désélectionner un enregistrement). Attention : KB3 ne fait qu insérer des drapeaux dans l arbre généré. Pour les positionner à VRAI ou à FAUX, il faut se placer dans le code de traitement des arbres de défaillances. Une même variante ne peut être utilisée à la fois dans la définition de la configuration particulière particulière et à la fois comme drapeau. Sélectionner les fichiers de règles manuelles à prendre en compte : La sélection de règles manuelles à prendre en compte dans l arbre à générer est facultative. Des règles manuelles sont prises en compte lorsque l on veut compléter l arbre généré automatiquement avec des explications relatives à des dysfonctionnements spécifiques au système. Dans ce cas, on sélectionne le ou les fichiers de règles manuelles à prendre en compte. Pour sélectionner les fichiers de règles manuelles à prendre en compte : cliquer sur le bouton (...) dans la partie «Règles manuelles»,

34 Page 34/65 sélectionner un ou plusieurs fichiers de règles manuelles (bouton droit de la souris pour la sélection multiple ou pour désélectionner un enregistrement). Lancer la génération de l arbre : Pour lancer la génération de l arbre : cliquer sur le bouton (Generer), ==> après un temps de traitement fonction de la complexité du système, l arbre généré est affiché dans la fenêtre Editeur d arbre de défaillances SAUVER/CHARGER/IMPRIMER LA DEFINITION D UN MODELE Lors de l'étude d'un système, on peut être amené à définir plusieurs modèles, chaque modèle étant caractérisé par son nom. KB3 permet de sauver ces définitions et de les rappeler par la suite lorsque l on souhaite regénérer un modèle déjà défini. Pour sauver la définition d'un modèle : dans la fenêtre de définition d un arbre, lorsque la définition est terminée, cliquer sur le bouton (Sauver), ==> un message indique que la définition du modèle est sauvée. Pour charger la définition d'un modèle : dans la fenêtre de définition d un arbre, cliquer sur le bouton (Charger), sélectionner dans la liste proposée le modèle souhaité, ==> tous les paramètres correspondant à la définition de ce modèle sont alors affichés. Pour éditer un rapport contenant la définition d'un modèle : charger le modèle désiré, cliquer sur le bouton (Rapport) ENCHAINER LA GENERATION DE PLUSIEURS ARBRES Pré-requis : Il faut avoir défini et sauvé plusieurs définitions de modèles. (Cf. précédent). dans la fenêtre de définition d un arbre, cliquer sur le bouton (Enchainer), sélectionner plusieurs modèles (bouton droit de la souris), lancer la génération en cliquant sur le bouton (Valider). ==> lorsque tous les arbres ont été générés, KB3 affiche un message signalant la fin du traitement.

35 Page 35/65 Attention : Dans le cas d un enchaînement de générations d arbres, l éditeur d arbres de défaillances n est pas ouvert. Pour accéder aux arbres générés, il convient d ouvrir l éditeur conformément au suivant EDITER UN ARBRE DE DEFAILLANCES Pré-requis : Avoir généré au moins un arbre pour le système considéré. sélectionner Editeur arbre de défaillances dans le menu Traitement, sélectionner le nom du modèle désiré (correspondant à un nom de répertoire), sélectionner l arbre à consulter. ==> l Editeur d arbre de défaillances est alors ouvert. Zoom Allongement ou rétrécissement de la branche Choix de la représentation de l arbre Renvoi aux sous-arbres Zone où apparaît le synoptique des pages lorsque l on a plusieurs pages IMPORTER UN ARBRE DANS UN CODE DE QUANTIFICATION D ARBRES KB3 est aujourd hui interfacé avec un certain nombre de codes standards de quantification d arbres de défaillances. Pour connaître le code de calcul utilisé dans le cadre de votre application et le mode d emploi de la fonction import, il faut se reporter au manuel utilisateur pertinent.

36 Page 36/ TRAÇABILITE DES ETUDES DE SYSTEME INTRODUCTION KB3 offre un large choix de rapports et d impressions afin d assurer au mieux la traçabilité des hypothèses de modélisation. De plus, des fonctionnalités de visualisation permettent d éditer à l écran, sur le schéma graphique du système, certaines propriétés de celui-ci. Dans un premier temps, l'utilisateur peut travailler avec les options de visualisation et d impression pour vérifier les informations saisies dans son système. Puis, dans un second temps, il peut utiliser les rapports pour documenter son étude. Les paragraphes suivants décrivent les différentes options de visualisation ainsi que les différents types de rapports disponibles dans KB VISUALISER LE SYSTEME A L'ECRAN Les différents modes de visualisation décrits ci-dessous peuvent être très utiles lors de la vérification du système Visualisation de certaines CONSTANTES Les caractéristiques de type CONSTANTE d un composant caractérisent l état de ce composant. Le schéma du système peut être surchargé par l'affichage des valeurs de certaines CONSTANTES caractéristiques des composants (état initial, état au cours de la mission,...). Les différentes options de visualisation des valeurs des CONSTANTES sont définies dans la base de connaissances. La liste de ces options de visualisation et leur mode d emploi détaillé sont donc fournis dans le manuel utilisateur de la base de connaissances. Il est possible d'afficher ces CONSTANTES sur le système pour la configuration de base ou pour une configuration particulière. Pour ce faire : dans le menu Visu, sélectionner Fenêtre configuration/visu. ==> la fenêtre Config / Visu est alors affichée. sélectionner alors la configuration désirée : base ou base + variante(s), sélectionner enfin l option d affichage choisie. Remarques : Le système ainsi "complété" peut être imprimé. Il n'est possible d'afficher qu'une CONSTANTE à la fois. Lorsqu une configuration particulière a été choisie dans la fenêtre Config/Visu, on dit que cette configuration est chargée. Ainsi, si un objet est édité (Editeur d objets) alors qu une configuration

37 Page 37/65 particulière est chargée, les valeurs affichées pour cet objet correspondent aux valeurs pour cette configuration particulière. Les caractéristiques dont les valeurs dans la configuration chargée sont différentes des valeurs dans la configuration de base sont indiquées par une puce Visualisation des flux initial et mission Pour certaines bases de connaissances, des fonctions particulières permettant de visualiser les flux dans différents contextes sont définies. Ces options de visualisation sont accessibles depuis le menu Traitement de l Editeur de système SIMULATION INTERACTIVE Pour certaines bases de connaissances, une option de simulation interactive est accessible depuis le menu Traitement de l Editeur de système. Cette option permet de simuler en interactif le fonctionnement du système en explorant pas à pas des scénarios d événements particuliers. Lorsque le simulateur est lancé, une fenêtre Simulation est ouverte. Cette fenêtre affiche tous les événements possibles (défaillances, réparations) en fonction de l état du système. L utilisateur peut sélectionner un de ces événements et l appliquer (bouton Avancer) afin d examiner les conséquences sur l état du système. Un cas particulier se présente lorsque le système est dans un état tel que plusieurs composants doivent être sollicités simultanément. Dans ce cas, il faut sélectionner une combinaison d événements. Le champ «Transitions possibles» du simulateur contient alors deux lignes par composant représentant les deux alternatives possibles pour ce composant. Par défaut, les alternatives les plus probables sont sélectionnées (fonctionnement correct d un composant à la sollicitation), mais l utilisateur peut modifier cette sélection.

38 Page 38/ IMPRIMER LE SYSTEME dans le menu Fichier, sélectionner Impression puis Imprimer systeme, sélectionner alors le type d impression, sur une ou plusieurs pages, en mode portrait ou paysage, cliquer éventuellement sur les options désirées (nom complet, date), (Valider). Remarques : La topologie du système ne varie pas en fonction des variantes. Ce qui est imprimé correspond à la totalité du système, même si celui-ci ne «tient» pas sur l écran. L option Imprimer Système lance l impression du système tel qu il est affiché à l écran, c està-dire pour la configuration chargée (configuration de base ou configuration particulière) et avec les valeurs des CONSTANTES affichées éventuellement IMPRIMER LA CONFIGURATION DE BASE Ce rapport liste les différences de la configuration de base par rapport aux valeurs par défaut définies dans la base de connaissances. L'impression est possible à l'écran, sur imprimante ou dans un fichier exportable vers un tableur. dans le menu Fichier, sélectionner Impression, puis, Imprimer Config de base, sélectionner les options désirées IMPRIMER UNE VARIANTE Ce rapport liste pour chaque composant impacté par la variante, les champs modifiés par rapport à la configuration de base et leur nouvelle valeur. L'impression est possible à l'écran, sur imprimante ou dans un fichier exportable vers un tableur. dans le menu Fichier, sélectionner Impression, puis, Imprimer Variante, sélectionner la variante à imprimer ainsi que les options désirées IMPRIMER UN RAPPORT KB3 permet d imprimer différents types de rapports : Certains types de rapport sont disponibles quelle que soit la base de connaissances utilisée (rapports génériques accessibles depuis l option Imprimer rapport de l option Impression du menu Fichier). D autres types de rapport sont spécifiques à la base de connaissances utilisée (rapports spécifiques accessibles avec des options spécifiques de l option Impression du menu Fichier). Le principe d'impression de ces rapports est simple. Les impressions sont possibles à l'écran, sur papier ou dans un fichier exportable vers un tableur.

39 Page 39/ Rapports génériques KB3 propose à l'utilisateur de composer lui-même le contenu de ses rapports en sélectionnant les types d information à imprimer. Pour imprimer un rapport : dans le menu Fichier, sélectionner Impression puis Imprimer rapport, sélectionner les différentes options déterminant le contenu du rapport : les options de la zone Objets permettent de sélectionner un ensemble particulier d objets du système les options de la zone Type de rapport permettent de sélectionner les informations à imprimer la zone Configuration particulière permet de définir la configuration prise en compte dans le rapport sélectionner les options d'impression, (Valider), ==> un message signale que l'impression est lancée. Remarques : Le rapport sur les interfaces permettra notamment de vérifier si toutes les interfaces ont été renseignées. Le rapport sur les CONSTANTES et attributs permettra d'obtenir la valeur de ces paramètres dans différentes configurations Rapports spécifiques à une base de connaissances Ces rapports sont spécifiés par la base de connaissances. Pour connaître toutes les options d impression de rapport spécifiques à une base, il faut se reporter au manuel utilisateur de la base. Pour accéder à une impression de rapport spécifique : dans le menu Fichier, sélectionner Impression, sélectionner ensuite le type de rapport désiré dans la liste proposée IMPRIMER UN EVENEMENT INDESIRABLE éditer le fichier des événements indésirables (menu Fichier de l'editeur de systeme), sélectionner Imprimer dans le menu Fichier, sélectionner les options souhaitées et (Valider). Remarques : Il est possible d'imprimer un ou plusieurs événements indésirables.

40 Page 40/65 Cette impression pourra être jointe aux rapports de définitions des modèles ainsi qu'aux arbres générés. Cette impression pourra également être utilisée pour lister et décrire les événements indésirables étudiés pour un système IMPRIMER UNE REGLE MANUELLE éditer le fichier de règles manuelles à imprimer (menu Fichier de l'editeur de systeme), sélectionner Imprimer dans le menu Fichier, sélectionner les options souhaitées et (Valider). Remarques : L'impression fournit l'arbre décrivant la ou les règles manuelles. Il est intéressant de joindre ce document aux rapports de définition de modèles utilisant ces règles manuelles, ou encore aux arbres générés avec ces règles IMPRESSIONS RELATIVES A UN ARBRE DE DEFAILLANCES Impression du rapport de définition d un arbre Dans ce rapport sont listés les différents paramètres de définition d un modèle : configuration particulière, événements indésirables, utilisation de règles manuelles, utilisation de drapeaux. dans la fenêtre Definition d'un arbre, charger le modèle souhaité, cliquer sur le bouton (Rapport), ==> un message signale que l'impression est lancée Impression d un arbre éditer l'arbre de défaillances à imprimer (option Editeur d arbre de défaillances du menu Traitement de l'editeur de systeme), sélectionner Imprimer dans le menu Fichier, sélectionner les options souhaitées et (Valider). ==> un message signale que l'impression est lancée. Remarques : L'impression d'un arbre de défaillances propose en option d'imprimer la liste des événements de base inclus dans l'arbre. Cette liste est intéressante pour retrouver la localisation d'un événement de base dans le listing de l'arbre. Un arbre de défaillances peut comporter de très nombreuses pages. Il n'est pas toujours intéressant d'imprimer la totalité. Utiliser alors l'option proposée qui permet de n'imprimer qu'une page.

41 Page 41/ MODIFIER UN SYSTEME EXISTANT INTRODUCTION Dans ce paragraphe, sont décrits les principaux points d'entrée pour effectuer des modifications sur un système existant. Ces modifications peuvent être de différentes natures : compléter la topologie du système, renommer des composants, modifier une mission, regénérer un arbre... Toutes ces opérations de modifications supposent que le système à modifier soit initialement chargé dans KB CHARGER LE SYSTEME A MODIFIER 1er cas : KB3 est déjà lancé Vérifier que la base de connaissances chargée est pertinente : Dans le menu? de la fenêtre KB3, choisir A propos. Les nom et numéro de version de la base de connaissances chargée sont indiqués. Si la base n est pas pertinente, charger une autre base (fonction Ouvrir dans le menu Fichier de la fenêtre KB3). L Editeur de système s ouvrira alors automatiquement en mode création de système. Sélectionner Ouvrir dans le menu Fichier de la fenêtre Editeur de système et choisir le système à charger Si la base chargée est pertinente, sélectionner Ouvrir dans le menu Fichier de la fenêtre Editeur de système et choisir le système à charger. 2ième cas : KB3 n est pas lancé Se reporter au chapitre 2 pour lancer KB3 en mode création de système. Lorsque l Editeur de système est ouvert, sélectionner Ouvrir dans le menu Fichier de la fenêtre Editeur de système et choisir le système à charger MODIFICATION DE LA TOPOLOGIE DU SYSTEME Cette modification consiste à ajouter ou supprimer des composants dans le système considéré. La procédure est identique à celle décrite pour la création d'un système. Pour plus de facilité, on pourra utiliser les fonctions disponibles dans le menu Edition, à savoir : copier/coller, chercher, effacer, tout sélectionner. ainsi que la sélection multiple de composants obtenue via la touche "shift" du clavier. Lorsque les modifications sont terminées, sauvegarder le système.

42 Page 42/65 Remarque : Il est possible de sauver le système modifié sous un autre nom. Utiliser pour cela la fonction Sauver sous du menu Fichier. Précautions : La suppression de composants utilisés dans des règles manuelles ou des événements indésirables peut générer des messages d'erreur par la suite. ==> Modifier ces éléments en conséquence MODIFICATION DU NOM D UN COMPOSANT Se reporter au paragraphe Nommer les composants. Attention : Si le composant modifié est utilisé dans un événement indésirable ou dans une règle manuelle, aucun message n avertit l utilisateur à ce stade. Par contre, KB3 informera l utilisateur lorsque celui-ci éditera l événement indésirable ou la règle manuelle impactés MODIFICATION DES CONFIGURATIONS Configuration de base Se reporter au Attention : Une modification de la configuration de base peut entraîner une modification des variantes définies pour le système. En effet, supposons que la variable v a v1 pour valeur dans la configuration de base et v2 pour valeur dans la variante V2. Si la valeur de v est modifiée de v1 vers v2 dans la configuration de base, la différence v=v2 est supprimée de la variante V2. Lorsque c est le cas, un message avertit l utilisateur Variante Pour supprimer une variante : Choisir l option Editer variantes du menu Edition de la fenêtre Editeur de système Sélectionner la variante à supprimer et activer le bouton (Supprimer). Attention : Si la variante supprimée est utilisée dans un événement indésirable, dans une règle manuelle ou dans la définition d un modèle, aucun message n avertit l utilisateur à ce stade. Par contre, KB3 informera l utilisateur lorsque celui-ci éditera l événement indésirable, la règle manuelle ou le modèle impactés.

43 Page 43/65 Pour modifier le nom d une variante : Choisir l option Editer variantes du menu Edition de la fenêtre Editeur de système. Sélectionner la variante à modifier. Sélectionner le bouton (Editer) et modifier le nom de la variante. Attention : Si la variante modifiée est utilisée dans un événement indésirable, dans une règle manuelle ou dans la définition d un modèle, aucun message n avertit l utilisateur à ce stade. Par contre, KB3 informera l utilisateur lorsque celui-ci éditera l événement indésirable, la règle manuelle ou le modèle impactés. Pour modifier les caractéristiques associées à une variante Deux possibilités sont offertes : Via l Editeur d objet en procédant objet par objet. L Editeur d objets permet de modifier la valeur d une caractéristique d un objet pour une variante particulière. Les caractéristiques d un objet dont les valeurs diffèrent de celles de la configuration de base sont indiquées par une puce. Via la fonction Edition Variante du menu Edition. Cette fonction ne permet pas de modifier directement la valeur attribuée à une caractéristique dans une variante. Par contre, elle permet de supprimer ou rajouter des différences par rapport à la configuration de base. Remarque : L utilisation en mode visualisation de l Editeur d objets permet de visualiser les valeurs des caractéristiques d un objet pour n importe quelle configuration particulière (application de une ou plusieurs variantes à la configuration de base). Par contre, l utilisation de cet éditeur en mode modification impose de sélectionner une variante au plus MODIFICATION DES EVENEMENTS INDESIRABLES Se reporter au paragraphe Définir un événement indésirable MODIFICATION DES REGLES MANUELLES Se reporter au paragraphe Définir une règle manuelle MODIFICATION DES MODELES Regénérer un arbre existant Lors d'une précédente session, un modèle avait été défini et sauvé, et un arbre généré. Vous voulez regénérer cet arbre pour tenir compte par exemple d'une nouvelle règle manuelle, d'une modification dans la description d'un événement indésirable, d une modification du système ou encore pour modifier la configuration particulière du modèle.

44 Page 44/65 dans la fenêtre de Definition d'un arbre, cliquer sur le bouton (Charger), sélectionner dans la liste proposée le modèle à regénérer, modifier, le cas échéant, un ou plusieurs paramètres caractérisant ce modèle, sauver éventuellement la nouvelle définition du modèle en cliquant sur le bouton (Sauver), relancer la génération de l'arbre en cliquant sur le bouton (Generer). Remarque : La génération écrase l'arbre existant Générer de nouveaux arbres Se reporter au paragraphe Générer un arbre.

45 Page 45/65 7. CONSEILS/RECOMMANDATIONS Dans ce chapitre, nous dressons une liste de conseils et de recommandations qui vous seront utiles tout au long de l utilisation de KB3 v2. Nous explicitons dans un premier temps les règles de syntaxe, puis quelques recommandations en ce qui concerne la manipulation d un système KB3.

46 Page 46/ REGLES DE SYNTAXE Nous dressons dans ce paragraphe une liste de règles à respecter lors de la saisie des noms de composants, systèmes, règles manuelles, événements indésirables, variantes, NOM DE SYSTEME pas d accent, pas de caractères spéciaux, pas d espace ni de point, les chiffres sont autorisés, limité à 8 caractères NOM D UN OBJET/LIEN pas d accent, pas de caractères spéciaux, pas d espace, les chiffres sont autorisés, pas de limite de taille COMMENTAIRE (On parle ici du commentaire de la fenêtre Editeur de système) tous les caractères sont autorisés, pas de limite de taille NOM D UNE PAGE : REGLE ADDITIONNELLE/EVENEMENT INDESIRABLE tous les caractères sont autorisés (sauf espace dans le cas de l utilisation de RISK SPECTRUM), limitation à 16 caractères NOM D UNE PORTE : tous les caractères sont autorisés (sauf espace dans le cas de l utilisation de RISK SPECTRUM), limitation à 18 caractères par défaut NOM D UN DRAPEAU : tous les caractères sont autorisés (sauf espace), limitation à 18 caractères NOM D UN RENVOI EXTERNE : tous les caractères sont autorisés (sauf espace), limitation à 14 caractères.

47 Page 47/ NOM D UN FICHIER DE REGLES MANUELLES pas d accent, pas de caractères spéciaux, pas d espaces, les chiffres sont autorisés, limitation à 8 caractères sous DOS NOM D UNE VARIANTE/ CONFIGURATION DE BASE tous les caractères sont autorisés, limitation à 16 caractères NOM D UN MODELE : tous les caractères sont autorisés (sauf espace), limitation à 8 caractères. Remarques : Nous déconseillons l utilisation des accents (ainsi que l utilisation des ).

48 Page 48/ AIDES A L UTILISATION AIDE EN LIGNE Objets graphiques Pour obtenir une aide en ligne sur un objet graphique, il suffit simplement de double-cliquer sur cet objet dans la palette d icônes Objets non graphiques Pour obtenir une aide en ligne sur un objet non graphique, il suffit de cliquer sur le type d objet, puis de cliquer sur le bouton (Aide) Aide sur l éditeur d objet Dans un éditeur d objet, pour obtenir une aide en ligne, il suffit de cliquer sur le champ sur lequel on veut des informations AIDE A LA SAISIE Pour certaines fonctionnalités des menus, ont été prévus des raccourcis : Dans l éditeur de système : Menu Fichier : Nouveau Ouvrir Sauver Quitter <Contrôle> + <N> <Contrôle> + <O> <Contrôle> + <S> <Contrôle> + <Q> Menu Edition : Copier Coller Effacer Tout Sélectionner Rafraîchir affichage Chercher suivant <Contrôle> + <C> <Contrôle> + <V> <Retour arrière> <Contrôle> + <A> <Contrôle> + <L> <Contrôle> + <F> Menu Objets : Créer un synonyme Rotation à gauche Rotation à droite <Contrôle> + <D> <Contrôle> + <G> <Contrôle> + <R>

49 Page 49/65 Remarque : les raccourcis claviers sont inopérants si la fenêtre de Messages KB3 est activée (cette fenêtre n est activée que si l utilisateur a cliqué dedans, ce qu il n a pas à faire en général) Saisie des paramètres Dans une zone de saisie, pour effacer le texte après le curseur : taper : <Contrôle + K> pour déplacer le curseur en début de zone : taper <Contrôle + A> pour déplacer le curseur en fin de zone : taper <Contrôle + E> pour supprimer le texte à gauche du curseur : taper <Contrôle + U>

50 Page 50/ RECOMMANDATIONS Un point important dans la constitution et le stockage d un système KB3 est la gestion de fichiers (cf. 5). Ces fichiers sont indépendants dans une certaine mesure. C est pourquoi, certaines précautions sont à prendre notamment lors de la modification d un système SAUVEGARDE DES FICHIERS DE REGLES MANUELLES ET EVENEMENTS INDESIRABLES. La sauvegarde de ces fichiers se fait également de manière indépendante. Retenir que : Si vous modifiez une règle manuelle ou un événement indésirable et que vous sauvez ces modifications dans les éditeurs correspondants, alors ces modifications seront prises en compte même si vous ne sauvegardez pas le système en quittant KB3. La sauvegarde d un système n implique pas la sauvegarde des fichiers de règles manuelles ou d événements indésirables. Par contre, quand on quitte KB3 sans avoir sauvegardé les règles manuelles ou les événements indésirables, un message d avertissement est affiché, demandant si l on veut les sauvegarder. Si l éditeur de règle manuelle (ou d événements indésirables) est ouvert et que vous modifiez le nom d un composant ou en créez un nouveau dans le système, alors ce nouveau composant n est pas accessible immédiatement dans l éditeur. Il faut quitter l éditeur et le relancer pour pouvoir accéder au nouveau composant. Il est possible d ouvrir simultanément 2 éditeurs de règles manuelles. Cela peut être pratique notamment pour consulter une autre règle au cours d une création. Par contre, il existe un risque à ouvrir 2 éditeurs sur la même règle : en effet, si vous modifiez la règle dans un éditeur et que vous la sauvez, quittez l autre éditeur sans sauvegarde, sinon les modifications seront perdues (la règle initiale étant restaurée). Pour un Sauver sous, certaines précautions sont à prendre. Il arrive que l on souhaite partir d un système existant sys1 pour en créer un nouveau sys2. La procédure suivante est conseillée si vous ne voulez pas modifier sys1 : Editer sys1, sauver sous sys2, faites alors les modifications dans les règles manuelles et événements indésirables de sys2. En effet, si vous faites Sauver sous après modification des règles manuelles ou des événements indésirables, alors ces modifications seront également prises en compte dans sys1, ce qui n est pas forcément voulu VISUALISATION Lorsque dans la fenêtre Config / Visu, on a sélectionné une variante V et choisi de visualiser une constante (par exemple l état initial des composants), et que l on modifie cette variante en passant par le menu Editer variantes, alors la modification n est pas immédiatement prise en compte sur la visualisation. Il faut valider la variante pour que la modification soit prise en compte.

51 Page 51/65 Lors de la visualisation du flux, on peut ouvrir la fenêtre Config / Visu et sélectionner une autre variante. Ce changement n est pas pris en compte dans la visualisation du flux. Il faut quitter la visualisation et la relancer.

52 Page 52/65 8. PRESENTATION DE LA BASE DE CONNAISSANCES DIAGDEMO 8.1 INTRODUCTION La base de connaissance DiagDemo permet de construire des diagrammes de fiabilité, un type de modèle bien connu des fiabilistes, indépendant de tout domaine technologique, et très commode pour réaliser rapidement des études simples. Cette base de connaissances permet de construire automatiquement les arbres de défaillances relatifs aux événements indésirables du système. De plus, elle permet d analyser un système en simulant son fonctionnement grâce au simulateur interactif de KB3. Cependant, il faut bien noter que cette base de connaissances permet de saisir des systèmes dans lesquels existent des dépendances fortes entre composants (composants qui sont sollicités sur la défaillance d'autres composants, limitation des ressources de réparation...) qui font que la représentation en arbre de défaillances est une simplification qui peut conduire à des résultats quantitatifs (calculs de probabilités) faux. En revanche, les résultats qualitatifs (coupes minimales) sont corrects quel que soit le système saisi avec cette base de connaissances. Lorsqu'un système est traduit en arbre de défaillance, les modes de défaillance qui apparaissent dans l'arbre sont fonction uniquement de l état initial des composants, et toutes les dépendances éventuelles entre composants sont ignorées. Si l état initial d'un composant est "arrêt", tout se passe comme si il n'existait pas dans le diagramme. 8.2 LES TYPES DE LA PALETTE D OBJETS Voici une description de l'ensemble des types de composants disponibles dans la base de connaissances DiagDemo. Début de diagramme : Cet objet permet de symboliser le début du diagramme de fiabilité : c est le départ du flux qui doit atteindre la fin du diagramme lorsque l état des composants le permet. Fin de diagramme : Cet objet représente la fin du diagramme de fiabilité : c est le but que le flux atteint si et seulement si l état des composants (blocs, décrits ciaprès) correspond à un état de fonctionnement du système modélisé. En général, la fin du diagramme est unique. Dans certains cas, on peut, par commodité, en créer plusieurs. C'est dans l éditeur d événements indésirables, que l'on déclare la relation entre des faits du style "non_relie de fin_diagramme" (que l'on obtient directement par le menu "testeurs") et les événements indésirables. Une fin_diagramme, une porte k/n ou un noeud sont "non_relie" s'il n'existe aucun chemin allant depuis un début de diagramme jusqu à eux en passant par des blocs en fonctionnement.

53 Page 53/65 Noeud : Les noeuds permettent de rendre les diagrammes de fiabilité plus lisibles. Ils sont utilisés lorsque plusieurs flux partent d'un même point du système ou arrivent à un même point. Il n'y a aucune défaillance sur les noeuds, mais il est possible de visualiser la présence de flux sur un noeud. Bloc normal Les noeuds servent à faciliter la saisie des diagrammes lorsqu'on veut relier plusieurs blocs en parallèle à tout un ensemble d'autres blocs en parallèle, qui sont en aval des premiers. Les noeuds sont un cas particulier de porte k/n (avec k=1). Un bloc normal symbolise un composant du système physique. Un bloc_normal représente un composant qui peut avoir des défaillances au démarrage (s'il est initialement sollicité) et/ou en fonctionnement. Bloc secours : Un bloc_secours est sollicité quand tous les blocs vers lesquels il pointe par des liens "en secours de" sont à l arrêt ou en panne. Il peut avoir des défaillances à la sollicitation et/ou en fonctionnement. Remarque : Lorsque la constante globale objectif_du_modele est positionnée à la valeur 'generation_d_arbre', les bloc_secours deviennent équivalents à des bloc_normal. Porte k/n : Une porte k/n est un élément sans défaillance propre. Il est considéré comme relié (au début du diagramme dont il fait partie) si et seulement si au moins k éléments parmi les composants amont sont eux-mêmes reliés. La valeur de k est représentée par la constante nb_files_suffisant de ce type qui prend la valeur 2 par défaut. Réparateurs : Cet objet permet de modéliser les différentes équipes de réparateurs affectées au système. Pour chaque équipe créée, on spécifie le nombre de réparateurs de l équipe. Au sein d'une équipe, les réparateurs sont indiscernables. Lien droit : Cet objet permet de relier entre eux les différents éléments du diagramme de fiabilité (avec la notion de sens du flux). Remarque : Il faut noter qu un lien est considéré comme n ayant aucune défaillance. Lien perpendiculaire : Ce lien est équivalent au lien-droit, seule sa forme diffère. Lien secours : Ce lien permet de spécifier un (ou plusieurs) composant(s) auquel est rattaché le bloc secours. Lorsqu'un bloc secours ne doit démarrer qu'à la suite de la défaillance de plusieurs composants, il doit y avoir un lien de ce type du bloc secours vers chacun des composants concernés.

54 Page 54/ CARACTERISTIQUES DES OBJETS Les différentes caractéristiques des types de la base de connaissances DiagDemo sont les suivantes : Type de caractéristique Caractéristique Définition INTERFACE equipe_rep Cette interface doit être remplie manuellement et permet de spécifier les équipes de réparateurs affectées au composant. On peut affecter 0, 1 ou plusieurs équipes à un composant : 0 -> le composant est supposé avoir son propre réparateur 1 -> il faut un réparateur de l équipe citée dans cette interface pour réparer le composant (cas le plus fréquent) n -> pour réparer, il faut qu'un réparateur soit disponible dans chacune des équipes citées dans cette interface (p.e. un mécanicien + un électricien). Remarque : Les spécifications concernant les réparateurs ne sont pas prises en compte dans la génération d arbre de défaillances, qui suppose implicitement que chaque bloc a son propre réparateur (condition nécessaire pour que les blocs soient indépendants). amont Ce champ représente l ensemble des objets en amont, c est à dire reliés par des liens graphiques pointant sur le composant. Il est rempli automatiquement lors de la saisie du système. ATTRIBUT etat Ce champ définit l état du composant, à savoir si le composant est : en marche, à l arrêt, en sollicitation (c est un état instantané, de durée nulle), en attente de réparation, en réparation EFFET non_relie L'effet non_relie sert à propager les conséquences de l'état des composants sur le flux. PANNE perte_fonc Les deux pannes possibles sont la défaillance en

55 Page 55/65 perte_sol fonctionnement (perte_fonc) et la défaillance à la sollicitation (perte_sol). PARAMETRE_LOI gamma Taux de défaillance à la sollicitation (10-3 par défaut) lambda Taux de défaillance en fonctionnement (10-3 par défaut) mu Taux de réparation (1 par défaut) 8.4 LES PARAMETRES SYSTEME Dans la base de connaissances DiagDemo, il existe un et un seul paramètre système : la constante «objectif_du_modele». Cette constante peut prendre deux valeurs : «simulation» ou «generation_d_arbre». Dans le cas d une génération d arbre, la constante objectif_du_modele doit être positionnée à 'generation_d_arbre'. Lorsque cette option est prise, les dépendances entre composants et même entre modes de défaillance d'un même composant sont totalement ignorées. Ainsi, un bloc_secours est considéré comme un bloc_normal. Dans le cas d une simulation, la constante objectif_du_modele doit être positionnée à simulation. Si cette option est prise, les dépendances entre composants sont prises en compte (normal/secours, limitation des réparateurs). 8.5 DEFINIR LES EVENEMENTS INDESIRABLES Pour un diagramme de fiabilité, l événement indésirable correspond en général au fait que la fin du diagramme n'est pas reliée. Cela signifie que l état des composants est tel qu il n y a plus de chemin de succès permettant de faire passer le flux du début du diagramme à la fin du diagramme. Cependant, l événement indésirable peut être défini à partir d un autre objet du système (Noeud, bloc...). Dans tous les cas, la définition d un événement indésirable se fait en s'appuyant sur l'effet non_relie d un objet du système. Les objets du type fin_diagramme étant des "testeurs" (au sens KB3), il suffit en général d'en sélectionner un dans le menu "testeurs" de l'interface de définition des événements indésirables pour définir l'événement indésirable.

56 Page 56/65 9. EXEMPLE D ETUDE AVEC LA BASE DE CONNAISSANCES DIAGDEMO 9.1 PRESENTATION DU SYSTEME A ETUDIER L exemple choisi consiste en l étude d un système d éclairage de sécurité. Ce système se compose de deux sous-systèmes en série. Le premier est celui dédié à la génération d énergie et se compose de deux branches, l une composée du secteur et d un redresseur, l autre constituée d une batterie. Le second sous-système est celui dédié à l éclairage et se compose de deux lampes. Une seule de ces deux lampes est nécessaire pour avoir un éclairage suffisant. Génération d énergie Eclairage Secteur ~ Redresseur ~ = Lampe 1 Batterie Lampe 2 Système d éclairage de sécurité (Schéma unifilaire) La phase la plus longue dans l'étude est de loin celle du rassemblement des données concernant le système à étudier, son fonctionnement, son mode d'exploitation, ainsi que les caractéristiques de chacun des composants. 9.2 DESSINER LE SYSTEME Le système à étudier est représenté comme suit avec la Base de connaissances Diagdemo :

57 Page 57/65 Dessiner le système Schéma du système avec la base Diagdemo Pour modéliser ce système, nous créons un bloc par lampe, un bloc pour l alimentation par le secteur 3 et un bloc pour l alimentation par la batterie (cf ). Nous modifions les noms des blocs attribués automatiquement à leur création pour des noms pertinents (cf ). Deux types de liens sont proposés par la base Diagdemo. Les liens entre les blocs sont tracés (cf ) en utilisant soit des liens-droits, soit des liens-verticaux (pour présenter au mieux le système). Remarque : lorsque l on utilise des liens droits, il est plus facile d aligner les composants en désactivant l option «Aligner sur grille» sélectionnée par défaut (menu Options). Deux équipes de réparateurs sont créées. Remplissage des interfaces (cf ) : Le tracé des liens graphiques entre les composants remplit automatiquement les interfaces entre les objets du système (interface amont). Par contre, l interface entre un composant et l équipe de réparateurs chargée de le maintenir est non graphique. Il faut remplir manuellement l interface «equipe_rep» du composant concerné. Dans notre exemple, l équipe Equipe_1 est affectée aux composants Alim_secteur et Batterie tandis que l équipe Equipe_2 est affectée aux deux lampes. 3 La version de démonstration limitant le nombre d objets graphiques à 20, il a fallu créer un seul bloc pour l alimentation par le secteur. Avec la version réelle de KB3, on aurait créer un bloc pour le secteur et un bloc pour le redresseur.

58 Page 58/65 Remarque : on peut remplir simultanément l interface equipe_rep des deux lampes (respectivement des deux alimentations) en utilisant les possibilités de sélection multiple (cf ). 9.3 RENSEIGNER LES CARACTERISTIQUES DES OBJETS POUR LA CONFIGURATION DE BASE Pour notre exemple, nous choisissons comme configuration de base une configuration du système correspondant aux hypothèses suivantes : Tous les composants sont en marche initialement La valeur de k pour la porte k/n est 1 L équipe Equipe_1 comprend un réparateur alors que l équipe Equipe_2 en comprend deux Enfin, nous attribuons aux différents paramètres de fiabilité des valeurs pertinentes. Ainsi, compte tenu des valeurs par défaut renseignées dans la base de connaissances, les seules modifications à faire (cf ) pour renseigner la configuration de base sont : Modifier le nombre de réparateurs compris dans l équipe rep2. Modifier la valeur de k à 1 dans la porte k/n Modifier les valeurs des paramètres loi. De plus, pour utiliser notre modèle pour construire des arbres de défaillances, nous modifions la valeur du paramètre système objectif_du_modele à la valeur generation_arbre.

59 Page 59/ DEFINIR L EVENEMENT INDESIRABLE Pour l étude de notre système, nous créons l événement indésirable perte_syst qui correspond à la non alimentation de l objet fin de notre diagramme de fiabilité. Pour cela, avec l Editeur d événements indésirables (cf ), nous créons l événement sommet perte_syst et nous le relions à l EFFET non_relie de l objet fin. Avant de quitter cet Editeur, nous sauvons l événement indésirable créé. 9.5 DCC Pour l étude de notre système, nous souhaitons prendre en compte des défaillances de cause commune sur la défaillance en fonctionnement des lampes. Ainsi, nous créons le groupe DCC LAMPES et nous renseignons les valeurs pertinentes des paramètres utiles à la quantification de ces DCC (cf. 6.3).

60 Page 60/ GENERER UN PREMIER ARBRE Nous souhaitons générer un premier arbre de défaillances correspondant à la perte du système sachant que tous les composants sont disponibles initialement. Pour ce faire, nous définissons le modèle ARBRE_B, et nous lançons le générateur d arbres. (Nous sauvons la définition du modèle ARBRE_B afin de pouvoir le regénérer ultérieurement). Définition de l arbre Page sommet de l arbre généré

61 Page 61/ DEFINIR LES VARIANTES Pour notre étude, nous souhaitons étudier une mission correspondant à la perte du système lorsque la batterie est initialement indisponible. Pour ce faire, nous créons la variante Panne_Batterie qui contient trois différences par rapport à la configuration de base : La caractéristique etat de l objet Batterie est positionnée à en_reparation La panne perte_sol est initialisée à VRAI Enfin, le nombre de réparateurs disponibles dans l équipe 1 est mis à 0. De plus, nous souhaitons quantifier la mission perte du système pour des valeurs différentes des taux de défaillance en fonctionnement de la Batterie et de l Alim_Secteur. C est dans cet objectif que nous créons la variante Sensib. Enfin, pour utiliser le simulateur, nous créons une variante «utilitaire» Simulation qui sera activée dès que nous utiliserons le simulateur. Cette variante contient une seule différence par rapport à la configuration de base : le paramètre système objectif_du_modèle est positionné à la valeur simulation.

62 Page 62/ GENERER ARBRE PRISE EN COMPTE DE LA VARIANTE PANNE_BATTERIE Nous définissons le modèle ARBRE_C correspondant à l étude simultanée de deux missions : perte du système lorsque tous les composants sont disponibles initialement perte du système lorsque la Batterie est indisponible initialement. Ainsi, dans ce modèle, la variante Panne_Batterie est prise en compte comme drapeau. Définition de l arbre Extrait de l arbre obtenu

63 Page 63/ PRISE EN COMPTE DE LA VARIANTE SENSIB Pour réaliser une étude de sensibilité à la valeur des taux de défaillance en fonctionnement de Batterie et d Alim_secteur, nous devons étudier la mission «perte du système lorsque tous les composants sont disponibles initialement» pour ces nouvelles valeurs. Ainsi, nous définissons un nouveau modèle ARBRE_D. Ce modèle correspond au modèle ARBRE_A (même mission étudiée), mais on prend en compte la variante Sensib dans la configuration particulière afin de sélectionner les valeurs désirées pour les taux de défaillances. Définition du modèle Edition d un événement de base de l arbre généré Remarque importante : une variante contenant des différences relatives à des paramètres de fiabilité ne doit jamais être prise en compte comme drapeau.

64 Page 64/ UTILISATION DU SIMULATEUR Pour valider notre modèle de système KB3, nous utilisons le simulateur. Avec la base de connaissances Diagdemo, il suffit d afficher le système en choisissant l option de visualisation «visu états en couleur» (option «Fenêtre config visu» du menu Visu). Dans ce cas, l état du système en fonction du scénario simulé est représenté grâce à des changements de couleur. Définition d un modèle pour la simulation Exemple de scénario

65 Page 65/ INDEX C Configuration de base 20; 38; 42 Configuration particulière 20 CONSTANTE 36 DCC 24 Drapeaux 26; 30 Drapeaux de variantes 33 D M Modèle (Définir un...) 40 Modèle (Générer un...) 31 P Palette d'objets 15 Paramètres système 16; 22 R E EFFET 25; 28 Evénement indésirable 25; 39 INTERFACE 17 I Règle manuelle 28; 40 Renvoi externe 26; 30 Répertoire système 13 Testeur 25 T V Variante 20; 22; 38; 42

66 Page 66/65