Manuel utilisateur de KB3 V3

Transcription

1 : MANAGEMENT DES RISQUES INDUSTRIELS G ROUPE : ANALYSE DES R ISQUES DES O RGANISATIONS ET S YSTEMES DE FONCTIONNEMENT 1, AVENUE DU GENERAL DE GAULLE F CLAMART C EDEX Novembre 2005 T EL : F AX : VILLATTE N. Documents associés : Annule et remplace : HT-52/04/016/A Résumé : Cette note présente comment utiliser la version de KB3 V3 Accessibilité : LIBRE EDF 2005

2 D ÉPARTEMENT Page 2/100 Auteur(s) VILLATTE N. Code Action P10 AS Classement Interne T5-219 Type de rapport Manuel utilisateur Nombre de pages 100 Orientation dans le fonds documentaire Mots-clés EDF DOC (accès à tous les agents EDF) R&D DOC (accès aux seuls agents R&D) KB3 V3, Sûreté de fonctionnement, Modélisation, Bases de connaissances Indice Auteur Vérificateur Approbateur A VILLATTE Nathalie visé le 28/11/2005 BOUISSOU Marc visé le 02/12/2005 DUVAL Carole visé le 08/12/2005 Autorise l exploitation de la version électronique de cette note pour alimenter les fonds documentaires de Galaxie. Destinataire Dept Dif. Destinataire Dept Dif. fondsdocumentaire@edf.fr CIVAP 1 AGENTS Magne L. P AGENTS Khin-Yedid C. P AGENTS R48 Primet J. P Duval Lainé P. P Aurori Ch. P Hernandez A.L. P Guillet J. P Domergue J. Pré diffusion aux destinataires signalés par * Diffusion : P pour pages de garde et contrôle S pour pages de garde, de contrôle et de pour version électronique 1 pour version papier

3 SOMMAIRE Page 3/ INTRODUCTION CONCEPTS ET TERMINOLOGIE DE BASE DE KB BASE DE CONNAISSANCES (BDC) ÉTUDE PRINCIPES DE STOCKAGE DES FICHIERS KB3 V LANCEMENT DE KB3 V CHOIX D UNE BASE DE DONNÉES MISE À JOUR D UNE BASE DE DONNÉES STRUCTURE GENERALE DE L INTERFACE KB3 V MENUS BARRES D OUTILS ONGLET GE (GESTIONNAIRE D ENVIRONNEMENT) BARRES D ÉTAT ONGLET ÉTUDE ONGLET ARBRE DE DÉFAILLANCES (ADD) ONGLET INFORMATION ONGLETS DES PAGES DU SCHÉMA D UN SYSTÈME ONGLETS DES PAGES D ARBRE DESCRIPTIONS ET COMMENTAIRES CONSOLE (MESSAGES D ERREUR) ACCES A LA VERSION DE KB3 V OPERATIONS DE GESTION SUR UNE BDC ET UNE ETUDE IMPORTER UNE BASE DE CONNAISSANCES SUPPRIMER UNE BASE DE CONNAISSANCES PUBLIER UNE ÉTUDE SUPPRIMER UNE ÉTUDE EXPORTER (ARCHIVER) UNE ÉTUDE IMPORTER UNE ÉTUDE RECHERCHER DES ÉTUDES OU DES BASES DE CONNAISSANCES CREER ET CONSTRUIRE UNE ETUDE CRÉER UNE NOUVELLE ÉTUDE MODIFIER LE NOM D UNE ÉTUDE LIER ÉTUDES ET BASES DE CONNAISSANCES Lier une étude à une base de connaissances Lier une base de connaissances à une ou plusieurs études OUVRIR UNE ÉTUDE CRÉER LES OBJETS DU SYSTÈME ET LES RELATIONS ENTRE OBJETS Placer les objets graphiques sur le schéma de système Filtrer le dossier Objets Créer des objets non graphiques Connecter les liens aux nœuds sur le schéma Renseigner les interfaces entre les différents objets Mise en forme du schéma Nommer les objets Créer des macro-composants graphiques (MCG) Ajouter des notes sur le schéma Copier-Coller dans les pages de schéma Supprimer des objets du système Supprimer des macro-composants graphiques...37

4 Page 4/ CRÉER ET DÉFINIR DES DÉFAILLANCES DE CAUSE COMMUNE (DCC) CRÉER ET DÉFINIR DES GROUPES DE PANNES GÉNÉRIQUES (GPG) CRÉER ET DÉFINIR DES GROUPES DE VARIABLES GÉNÉRIQUES (GVG) CRÉER ET DÉFINIR DES GROUPES DE RÈGLES DE NOMMAGE (GRN) CRÉER ET DÉFINIR UN ÉVÉNEMENT INDÉSIRABLE (EI) Créer un nouvel événement indésirable Construire l arbre associé à un événement indésirable Modifier les éléments de l arbre Remplacer un élément d arbre par un élément d une autre nature Remplacer un saut de page par le contenu de la page Ajout/suppression de négation Supprimer les éléments d arbre Couper, Copier, Coller des portions de page d arbre Nettoyer l arbre EI/RM Ajouter des descriptions CRÉER ET DÉFINIR UNE RÈGLE MANUELLE (RM) Créer une nouvelle règle manuelle Construire l arbre associé à une règle manuelle CRÉER ET DÉFINIR DES PROFILS ET DES VARIANTES Créer un profil Créer une variante Attribuer des valeurs initiales à des variables du système dans un profil ou une variante Attribuer des modèles et paramètres de fiabilité dans un profil ou une variante Ajouter des règles manuelles dans un profil ou une variante Choisir des DCC dans un profil ou une variante Utiliser des pannes de remplacement dans un profil SAUVEGARDER UNE ÉTUDE METTRE À JOUR UNE ÉTUDE SUITE À UNE MISE À JOUR DE SA BDC VERIFIER UNE ETUDE VÉRIFIER LA CONNEXION DES LIENS ET LE SENS DE TRACÉ DES LIENS VÉRIFIER LES VALEURS INITIALES DES VARIABLES SAISIES DANS LES PROFILS ET VARIANTES RECHERCHER DES OBJETS OU DES VARIABLES D OBJETS OU DES TRAITEMENTS RECHERCHER DES OBJETS SUR LES PAGES DE SCHÉMA RECHERCHER DES ÉLÉMENTS DANS LE SOUS-ONGLET DONNÉES OU DANS UN ONGLET ADD RECHERCHER DES ÉLÉMENTS DANS LES PAGES D ARBRE EIRM OU ADD EXPLOITER UNE ETUDE GÉNÉRER UN ARBRE DE DÉFAILLANCES GÉNÉRER PLUSIEURS ARBRES EN UNE SEULE OPÉRATION ÉDITER UN ARBRE GÉNÉRÉ EXPORTER UN ADD VERS UN CODE DE CALCUL EXPORTER PLUSIEURS ADD VERS UN CODE DE CALCUL EN UNE SEULE OPÉRATION EFFECTUER UNE SIMULATION GÉNÉRER UN FICHIER FIGARO LANCER UN CODE EXTERNE LES OBJETS DÉDUITS IMPRESSIONS ET RAPPORTS IMPRIMER LES PAGES D UN SCHÉMA DE SYSTÈME IMPRIMER LES PAGES D UN ARBRE INSERTION DES PAGES DE SCHÉMA OU D ARBRE DANS UN DOCUMENT WORD GÉNÉRER UN RAPPORT DU GESTIONNAIRE D ENVIRONNEMENT GÉNÉRER UN RAPPORT SUR L ÉTUDE RACCOURCIS CLAVIER...99

5 Page 5/ Introduction Ce guide d utilisation de KB3 V3 s adresse essentiellement aux nouveaux utilisateurs. Il suit la logique de construction d une étude et ses phases de validation et d exploitation. Le fonctionnement décrit ici, correspond à la version v de KB3 V3. Ce guide est structuré autour de chapitres présentant successivement : les concepts et terminologie de base, les principes de stockage des fichiers, le lancement de KB3, la structure générale de l interface, les opérations de gestion sur une base de connaissances et une étude, les phases de création et de construction d une étude, les phases de validation d une étude, les traitements réalisables sur une étude, les outils de traçabilité. Ce guide n a pas la prétention de vouloir décrire toutes les potentialités de l outil KB3 V3. Il se limite aux fonctions essentielles de l outil. Pour des notions plus avancées sur le fonctionnement des bases de connaissances, le langage FIGARO ou encore sur les aspects fiabilistes, nous invitons le lecteur à se référer à des ouvrages dédiés. 2. Concepts et terminologie de base de KB3 KB3, développé depuis une quinzaine d années par EDF, est un logiciel permettant de construire des modèles probabilistes nécessaires à la réalisation des études de sûreté de fonctionnement des systèmes. Ces modèles sont de différents types : arbres de défaillances (ADD), modèles dynamiques markoviens, modèles dynamiques non markoviens (traités à l aide de la simulation de Monte-Carlo). Pour générer automatiquement ces modèles, KB3 utilise : une base de connaissances (BDC) modélisant les comportements des différents types de composants qui peuvent être utilisés dans le système à étudier, une description du système étudié dans une étude ; la description est réalisée à l aide d interfaces graphiques (elle comprend notamment : le schéma du système, l échec de ses missions). Lorsqu un modèle a été généré par KB3, il peut ensuite être transmis à un code de quantification permettant de réaliser une analyse qualitative et quantitative du modèle. 2.1 Base de connaissances (BDC) Pour réaliser une étude de sûreté de fonctionnement d un système avec KB3, il faut donc disposer d une base de connaissances dédiée aux études de ce type de système. Les bases de connaissances sont écrites en langage FIGARO, langage spécifique développé à EDF. Chaque base de connaissances est sous la responsabilité d un administrateur qui écrit et fait évoluer la base avec l aide d experts.

6 Page 6/100 Pour une catégorie donnée de systèmes, une base de connaissances contient la description générique des types de composants que l on peut rencontrer dans les systèmes de cette catégorie en décrivant leurs comportements. Par exemple, dans une base de connaissances dédiée à l étude de systèmes hydrauliques de centrales nucléaires, on trouvera la description générique des composants de type pompe, clapet, vanne, etc. Un type X est décrit par : son nom, des variables appartenant à différentes familles telles que attribut, constante, effet, panne auxquelles sont affectées des valeurs par défaut, des interfaces dont le genre est un type Y de la BDC ; elles vont permettre de mettre des objets instances du type Y en relation avec les objets instances du type X, des règles d interaction et d occurrence décrivant un comportement générique fonction des variables et des interfaces. L outil de modélisation KB3 permet de construire facilement des modèles comportementaux complexes, par assemblage d objets (composants élémentaires) instances de types déclarés dans la base de connaissances liée à l étude. Un objet est décrit par : son nom, ses variables ; elles sont issues de la base de connaissances (héritées du type dont l objet est une instance) ou ajoutées par l utilisateur, ses interfaces (héritées du type dont l objet est une instance) ; elles contiennent d autres objets du système mis en relation avec l objet étudié. Les objets présents dans une interface sont des instances du type spécifié dans le genre de l interface. Le nombre d objets dans une interface est borné par une cardinalité fixée par la base de connaissances. Les bases de connaissances sont associées à des représentations graphiques qui permettent de saisir (suivant le contenu de la base de connaissances) soit des schémas proches de l architecture physique des systèmes, soit des modèles abstraits tels que les modèles classiques des fiabilistes (diagrammes de fiabilité, graphes de Markov, réseaux de Petri) L utilisateur de KB3 utilise donc à la fois le logiciel KB3 lui-même et une base de connaissances dédiée à son application. L objectif de ce guide d utilisation est de constituer un support à l utilisation de KB3 indépendamment d une base de connaissances particulière. 2.2 Étude La démarche suivie par un analyste chargé de réaliser une étude de système avec KB3 est très proche de la démarche classique utilisée dans le cadre d une étude manuelle. La principale différence tient à ce que l utilisateur de KB3 formalise et enregistre à l aide du logiciel les hypothèses de modélisation retenues pour son étude, ce qui assure traçabilité, réemploi et facilité de mise à jour de l étude. Les phases principales d une étude sont les suivantes : dans un premier temps, l analyste décrit les objets de son système et les relations entre les objets (notion d interface), dans une deuxième phase, il décrit les différentes configurations de fonctionnement possibles du système à l aide de profils et variantes, puis, il décrit les échecs des différentes missions du système nécessaires à l étude dans des événements indésirables, à ce stade, il peut éventuellement modéliser, dans des règles manuelles, des dysfonctionnements spécifiques au système étudié et non modélisés par la base de connaissances,

7 Page 7/100 il peut ensuite générer automatiquement, à l aide de paramétrages de traitements, les modèles probabilistes de son étude, un même modèle pouvant être associé à l étude de plusieurs missions du système, enfin, il peut procéder à l analyse qualitative et quantitative des modèles générés par KB3 V3 en les exportant vers le code de quantification de son choix. Nous décrivons ci-après les différents éléments qui seront manipulés par l utilisateur lors de la réalisation d une étude ainsi que les notions importantes qui leur sont attachées. Une étude de système est une entité comprenant des objets, des données et des traitements. Les objets sont constitués : des objets graphiques 1 qui apparaissent nécessairement sur le schéma du système, des objets non graphiques qui n apparaissent pas sur le schéma. Remarques : L utilisateur peut éventuellement ajouter des variables à ces deux catégories d objets, dans le but de décrire des comportements spécifiques non modélisés par la base de connaissances (ces variables devront être utilisées dans des règles manuelles). Les relations entre les objets, sont décrites via le contenu des interfaces des objets. Les données sont constituées : des événements indésirables (EI) (obligatoire pour la génération d arbre) ; arbres booléens décrivant les liens entre les variables des objets du système et les échecs des missions du système étudié, des règles manuelles (RM) (facultatif) ; arbres booléens ajoutant si nécessaire la description de dysfonctionnements spécifiques non modélisés par la base de connaissances et traduisibles à travers les variables d un objet, des renvois système : ce sont les feuilles utilisées dans la description des événements indésirables et des règles manuelles de l étude qui correspondent à un test sur une valeur d une variable d un objet du système étudié, des renvois externes : ce sont les feuilles utilisées dans la description des événements indésirables et des règles manuelles de l étude qui renvoient à une porte d un arbre de défaillances d une autre étude, des défaillances de cause commune (facultatif) : une défaillance de cause commune modélise un phénomène pouvant provoquer simultanément la même panne sur plusieurs objets d un même type, des profils (il y a toujours au moins un profil dans une étude) et variantes (facultatif) ; ils sont utilisés pour décrire les différentes configurations de fonctionnement du système. Les profils et variantes se distinguent par leur utilisation dans la définition d une configuration : un profil constitue la configuration de référence sur laquelle s appliquent des variantes. Les variantes peuvent être également utilisées en tant que drapeaux lors de la génération des arbres de défaillances. Les profils et les variantes sont définis par : des valeurs initiales affectées à des variables d objets du système, ceci en différentiel avec le profil par défaut qui correspond aux valeurs par défaut spécifiées par la base de connaissances (ou par l utilisateur dans le cas de variables ajoutées), des modèles de fiabilité avec leurs paramètres affectés à des pannes d objets, ceci en différentiel avec le profil par défaut qui correspond aux modèles de fiabilité (avec leurs paramètres) par défaut spécifiés par la base de connaissances (ou par l utilisateur dans le cas de pannes ajoutées), l application de règles manuelles, l affectation de pannes de remplacement à des pannes d objets, 1 Cette propriété est spécifiée dans la BDC.

8 Page 8/100 l application de défaillances de cause commune (DCC), des groupes de pannes génériques (facultatif) : une panne générique permet d affecter un modèle de fiabilité et les valeurs de ses paramètres à un ensemble de pannes lorsque leur nom vérifie un masque défini, des groupes de variables génériques (facultatif) : une variable générique permet d affecter des valeurs à un ensemble de variables d objets lorsque leur nom vérifie un masque défini, des groupes de règles de nommage (facultatif) : une règle de nommage définit des modifications portant sur des noms d éléments d arbres de défaillances (porte sommet, renvois externes, événements de base, DCC, drapeaux, portes intermédiaires). Les traitements s appuient sur des paramétrages de traitement 2 (ensemble des paramètres définissant un traitement), ils sont constitués : de la génération des arbres de défaillances (ADD) ; les arbres de défaillances produits sont stockés au sein de l étude, de simulations interactives rendant compte du comportement du système suite au déclenchement de règles instanciées dans le sens causes vers conséquences (chaînage avant), d instanciations Figaro 0 : elles permettent de produire un modèle textuel, écrit en langage FIGARO 0, obtenu par l instanciation de la base de connaissances pour le système étudié. Ce type de traitement est surtout utilisé par les concepteurs de bases de connaissances, de traitements externes : un traitement externe a pour but de lancer un code de quantification externe sur des données générées par KB3 V3 (ces données sont constituées d un arbre de défaillances ET/OU d une instanciation Figaro 0). 3. Principes de stockage des fichiers KB3 V3 Les données utilisées et les résultats produits par KB3 V3 sont stockés dans cinq sous-répertoires d un même répertoire (dont le nom est stocké dans la variable d environnement KB3_ROOT) : le répertoire db (mis pour database) contient : des fichiers Microsoft Access.mdb. Dans chacune de ces bases de données sont stockées toutes les informations sur un espace de travail donné (des bases de connaissances, des études). Les fichiers _backup.mdb contiennent les données de la sauvegarde antérieure, les icônes des objets graphiques de chaque base de connaissances. Ces icônes sont stockées dans un sous-répertoire (portant le nom de la base de connaissances) du répertoire db/icons, le répertoire dict est destiné à l administrateur du logiciel, le répertoire icons contient les icônes propres à KB3 V3, le répertoire log contient le fichier kb3.log, trace du déroulement de la session KB3 V3, le répertoire st contient des données temporaires correspondant aux études ouvertes pendant la session de KB3 V3. 4. Lancement de KB3 V3 4.1 Choix d une base de données Au lancement de KB3 V3, une fenêtre (cf. Figure 1) s affiche ; elle propose les bases de données.mdb présentes dans le répertoire db (les «backup» ne sont pas proposés). 2 Les paramétrages de traitement proposés dépendent des BDC. Certaines ne sont conçues par exemple que pour la génération d arbres de défaillances, auquel cas, les autres types de traitement ne seront pas accessibles.

9 Page 9/100 Figure 1 : Fenêtre de choix de la base de données Sur sélection d une base de données, le bouton OK devient actif et un clic sur ce bouton affiche l interface de KB3 V3 (cf. 5) avec l espace de travail (bases de connaissances et études) associé à la base de données choisie (cf. 5.3). Mise en garde : Si, sur sélection d une base de données, le bouton OK reste inactif, il peut y avoir deux raisons : le nom de la base de données comporte le caractère point (ne pas utiliser le caractère point dans les noms des bases de données) ou la version de la base de données choisie ne correspond pas à celle attendue par KB3 V3 (il faut alors mettre à jour la base de données, cf. 4.2). Remarque : Si le fichier de licence est absent ou erroné, KB3 V3 se lance en version de démonstration (le nombre d objets créés par l utilisateur est limité à 80 objets). 4.2 Mise à jour d une base de données Pour mettre à jour une base de données, il faut lancer l outil de mise à jour KB3DatabaseUpdater.exe fourni avec KB3 V3 ; cela provoque l ouverture d une fenêtre de mise à jour des bases de données (cf. Figure 2). Nous ne disposons actuellement que d une version anglaise de cette fenêtre. Sélectionner la base de données dans la liste Database to update. Dans le champ Current Version, est affiché le n de la version courante de la base de données sélectionnée, dans le champ Target Version, est affiché le n de la version attendue par KB3 V3. Figure 2 : Fenêtre de mise à jour des bases de données Après avoir cliqué sur le bouton Update, la base de données est mise à jour. Un message indique que l opération s est déroulée correctement. Remarque : La mise à jour de la base de données peut échouer si la base de données est ouverte, ou si sa structure est incorrecte (en général, à la suite d une intervention manuelle, ce qui est déconseillé). Plus de détails sont alors fournis dans le fichier kb3databaseupdater.log placé dans le répertoire log.

10 Page 10/ Structure générale de l interface KB3 V3 L interface homme machine de KB3 V3 est constituée d une fenêtre principale comprenant les éléments suivants : une barre de menus (cf. 5.1), une ou plusieurs barres d outils qui sont affichées sur décision de l utilisateur (cf. 5.2), un espace de travail divisé en deux zones de largeur ajustable : la zone gauche se présente comme un ensemble d explorateurs contenus dans des onglets. Ces explorateurs permettent d évoluer dans l environnement général (onglet GE [Gestionnaire d Environnement] décrit au 5.3), dans une étude (onglet étude décrit au 5.5), dans un arbre de défaillances (onglet ADD décrit au 5.6). La zone droite donne accès à plusieurs types d onglets : onglet Information toujours présent décrit au 5.7, onglet Page de schéma décrit au 5.8 (l onglet gauche au 1 er plan est un onglet étude), onglet Page d arbre décrit au 5.9 (l onglet gauche au 1 er plan est un onglet étude ou un onglet ADD). Figure 3 : Fenêtre principale de KB3 V3 Il est possible d ouvrir plusieurs espaces de travail (via la commande Nouvelle fenêtre du menu Fenêtre) que l on peut présenter en cascade ou en mosaïque. Cette fonctionnalité permet, par exemple, de comparer des contenus d études. Il est interdit d ouvrir une même étude dans deux espaces de travail. Nous donnons ci-dessous un exemple.

11 Page 11/ Menus Figure 4 : Exemple d utilisation de deux espaces de travail La barre de menus est toujours présente. Quels que soient les affichages dans l espace de travail, les noms et l ordre d affichage des menus proposés sont toujours les mêmes. En revanche, les commandes proposées dans les menus sont actives en fonction des onglets et des éditeurs ouverts dans l espace de travail. Les commandes donnent accès à d autres fenêtres utiles à la définition d objets, de données d une étude (profils, variantes, renvois, etc.), de spécifications de traitement, de recherche d informations La plupart de ces fenêtres sont décrites lors de la description des étapes de construction d une étude (cf. 8), des phases de validation (cf. 9) et d exploitation d une étude (cf. 10). La grande majorité de ces fenêtres est modale, c est-à-dire que le reste du logiciel est inactif tant que la fenêtre n a pas été fermée Les menus et leurs fonctions principales sont décrits ci-dessous : le menu Fichier permet d importer une base de connaissances, de gérer l ensemble d une étude (création, export, import, fermeture, sauvegarde, ouverture), d imprimer des pages (de schéma d étude ou d arbre), de quitter KB3 V3, le menu Édition permet d effectuer les opérations classiques d édition (copier, couper, coller, renommer, supprimer, sélectionner) et d accéder aux outils de recherche, le menu Insertion permet, à partir de la sélection d un élément dans les onglets de la zone gauche de l espace de travail : d insérer des dossiers 3 dans l onglet GE, d insérer des variables propres à un objet (attribut, panne, effet, constante), d insérer des éléments propres à une étude (objet, profil, variante, défaillances de cause commune, groupes de pannes génériques, etc.), d insérer des éléments propres à un arbre (événement indésirable, règle manuelle, porte, drapeau, renvoi système, renvoi externe, etc.), 3 Ces dossiers permettent de structurer le contenu de l onglet GE.

12 Page 12/100 le menu Affichage propose des options d affichage sur : les barres d outils, les descriptions et commentaires des éléments de l espace de travail, les échanges avec le serveur de traitement 4, les arborescences des répertoires (déployée ou réduite, filtrée), les pages de schéma et les pages d arbre, le menu Outils donne l accès à diverses fonctions de traitement telles que : afficher la console pour visualiser d éventuels messages (signalés par un bip), lier une base de connaissances à une étude et inversement, mettre dans le domaine public une étude, nettoyer un arbre EI/RM pour en supprimer les éléments non référencés, générer un ou des arbres de défaillances, simuler, instancier un modèle Figaro 0, générer un rapport, exporter un ou des arbres de défaillances (ADD) vers un code de quantification, lancer un traitement externe, le menu Dessin ajoute des fonctions de dessin associées à l éditeur graphique de schéma de système ou à l éditeur graphique des pages d arbre. La plupart sont présentes dans les barres d outil étude et arbre, le menu Fenêtre donne la possibilité à l utilisateur d ouvrir plusieurs espaces de travail et propose des options de présentation de ces espaces, Le menu? apporte des informations sur le logiciel KB3. Le clic droit de la souris donne accès à des menus contextuels regroupant un ensemble de commandes actives sur la sélection courante. Ces commandes, déjà accessibles par d autres moyens (menus, barres d outils), permettent de raccourcir les temps d accès aux fonctionnalités de KB3 V Barres d outils Les barres d outils apparaissent par défaut sous la barre de menus, mais l utilisateur peut les redimensionner et les placer n importe où à l écran. Les barres d outils peuvent être cachées en décochant les items correspondants du menu Affichage. Les outils symbolisés par les icônes des barres sont actifs dès lors que l action qui leur est attachée est réalisable sur les éléments affichés et/ou sélectionnés dans l espace de travail. Positionner le curseur de la souris sur une icône de barre d outils permet de voir l intitulé de la commande associée. Il y a trois barres d outils : la barre d outils KB3 : elle propose les outils les plus courants de gestion de fichiers et d édition, des options de présentation des explorateurs des onglets gauche (développer, réduire), la barre d outils étude (n est active que lorsqu un onglet étude est actif, i.e. au 1 er plan) : elle propose des outils de présentation d un schéma de système et des outils de création d éléments constitutifs d une étude (profil, variante, groupe de pannes génériques, etc.), la barre d outils arbre (n est active que lorsqu un onglet ADD ou un onglet étude est actif, dans le second cas, le sous-onglet gauche actif doit être le sous-onglet Données) : elle propose les outils de création des éléments constitutifs d un arbre (pages, portes, renvois internes et externes, drapeaux, ajout de négation), des outils de gestion de ces éléments (nettoyage). Remarque : Défaire et Refaire sont toujours inactifs dans cette version de KB3 V3. 4 La commande Échanges avec serveur de traitement n est active que si la variable d environnement KB3_EXPERT_MODE a la valeur 1, elle affiche alors une fenêtre qui permet de suivre les échanges de requêtes entre l IHM de KB3 V3 et le serveur de traitement. Cette fonctionnalité est utilisée essentiellement par les concepteurs de BDC ou pour déboguer.

13 Page 13/ Onglet GE (Gestionnaire d environnement) L onglet GE (sigle de Gestionnaire d Environnement) est le seul onglet toujours présent dans l espace de travail, il est proposé à l ouverture d une session de KB3 V3. Il contient : un dossier Espace BDC : ce dossier présente les bases de connaissances contenues dans la base de données sélectionnée au lancement de KB3 V3 (elles sont identifiables par l icône, leurs noms apparaissent en bleu car elles ne sont pas éditables). Si on développe l arborescence du dossier Espace BDC, on visualise son contenu (nous donnons un exemple ci-dessous), Figure 5 : Visualisation du contenu du dossier Espace BDC de l onglet GE un dossier Espace Etude : ce dossier présente les études contenues dans la base de données sélectionnée au lancement de KB3 V3 (elles sont identifiables par l icône ). Les études dont les noms apparaissent en bleu sont publiées (cf. 7.3) et sont non modifiables, celles dont les noms apparaissent en rouge sont en cours de construction et sont donc encore modifiables. Chaque étude contient ses arbres de défaillances (identifiables par l icône ). Si on développe l arborescence du dossier Espace Etude, on visualise son contenu (nous donnons un exemple ci-dessous). Figure 6 : Visualisation du contenu du dossier Espace Etude de l onglet GE Les études et les bases de connaissances peuvent être placées dans des sous-dossiers des dossiers Espace Etude et Espace BDC (cf. exemples ci-dessus). Pour créer un sous-dossier, sélectionner le dossier dans lequel on souhaite créer un sous-dossier puis choisir la commande Dossier du menu Insertion. Pour déplacer un élément (étude, BDC ou sous-dossier) dans un dossier, le sélectionner et le faire glisser sur le dossier souhaité. Remarques : KB3 V3 ne permet pas de déplacer des BDC dans le dossier Espace Etude et des études dans le dossier Espace BDC. Pour développer entièrement l arborescence d un onglet de la zone gauche de l espace de travail, utiliser la commande Développer tout du menu Affichage, ou l icône associée de la barre d outils KB3. Pour réduire entièrement l arborescence d un onglet de la zone gauche de l espace de travail, utiliser la commande Réduire tout du menu Affichage, ou l icône associée de la barre d outils KB3.

14 5.4 Barres d état Page 14/100 La barre d état GE n est présente que si l onglet GE est au 1 er plan, elle est présentée en bas de la fenêtre KB3. Les informations qu elle présente n ont pas d intérêt particulier dans cette version de KB3 V3, c est pourquoi nous ne détaillons pas plus le contenu de cette barre d états. La barre d état étude n est présente que si un onglet étude est au 1 er plan, elle est présentée en haut de la zone de travail, au-dessus des onglets. Les informations qu elle présente sont détaillées dans 9. Figure 7 : Barre d état étude La barre d état ADD n est présente que si un onglet ADD est au 1 er plan, elle est présentée en haut de la zone de travail, au-dessus des onglets. Les informations qu elle présente sont détaillées dans Onglet étude Figure 8 : Barre d état ADD Un onglet étude, qui porte le nom de l étude associée, n est visible que si l étude a été ouverte. Dans l onglet, le nom de l étude apparaît accompagné d un carré bleu si l étude est publiée 5 (cf. 7.3). Cet onglet contient trois sous-onglets (le contenu de ces sous-onglets sera détaillé dans les 8 et 10) : le sous-onglet Objets qui regroupe les éléments relatifs aux objets du système, le sous-onglet Données qui regroupe les éléments relatifs à des données internes du système (profils et variantes, événements indésirables, règles manuelles, etc.), le sous-onglet Traitements qui regroupe les éléments relatifs aux différents modes d exploitation d une étude. 5.6 Onglet Arbre de défaillances (ADD) Un onglet ADD, dont le nom est construit à partir de ceux de l étude qui contient l arbre de défaillances et de l arbre de défaillances associé, n est visible que si l arbre de défaillances a été ouvert. Son nom apparaît accompagné d un carré bleu car un arbre de défaillances généré par KB3 V3 n est pas modifiable. 5 Une étude publiée n est éditable qu en lecture seule i.e. aucune modification ne pourra être apportée.