Home

GRIF 2012 Fault Tree User Manual - GRIF

1. User Manual 40 65 2 TOTAL e The Save in RTF file function initially gives access to a window called Printing properties Then to another called Information And thirdly a window is displayed allowing you to choose the folder in which the RTF Printing properties xi Print border file is to be saved Print filename is Print page number Is S Print date Cancel When you select the Save in RTF file function the first box to appear is that shown above You can then select your preference Print border Print filename Print page number and or Print date Information xi v Print current view _ Print current page Print whole document Cou non Secondly an Information window appears It allows you to indicate whether you wish to print the current view print the current page or print the whole document User Manual 41 65 7 Computations The following two computation engines can be used in the Fault Tree module e Albizia e MOCA These two computation options are accessible in the Data and Computations menu on the task bar 7 1 Albizia computations The computations by Albizia are performed in two main steps e general configuration of compuation e reading the results in the bank of results 7 1 1 Configuring the computations The computation configuration window can be accessed in two different ways either via Data and Computations Com
2. are always in hours lt listitem gt User Manual 47 65 2 TOTAL 4 General e Number of histories Number of histories NH to be simulated each history has a time t indicated below e First random number It is the seed of random number generator e Maximum computation time MT The computations are stopped and the results are printed even if the requested number of histories has not been reached Note the unit of time MT is the second e Automatic history duration If this box is checked GRIF will compute history duration using computation time of variables and statistical states If not user can choose a specific History duration e Multi processors computing Enables or not the multi processor computing when available e Activate uncertainty propagation Enables or not the uncertainty propagation computations two stage simulation in this case we must specify the number of sets of parameters played the real number of histories thus simulated will be the number of sets of parameters x number of histories to be simulated and will be displayed in the Total number of histories field 5 Variables This tabs reminds comuting configuration of variables If document contains some statistical states another tab is available 6 Output used to configure the output e Prints the description of the Petri Net in the results file or not e Prints the results file allowing it to be loaded using a spreadsheet applic
3. work failed or available unavailable The aim is thus to construct a tree allowing us to evaluate the system s mean unavailability Ori Kot H3 O Cy Os At LS R exponential Lambda GLO 1E 4 lui 5w 31 551 penodic test Lambda Test GLI Gamma Lambda hiu penodic test Lambda Lambdal hui 4 3863 4 38630 10010 ST 52 552 penodic test Lambda Test 10 GLI Gamma Lambda hiu penodic test Lambda Lambdal hui 4 3863 100 10010 53 GU Gamma Lambdal hz The above tree has nine events e LS e Number 1 e Comment Logic e Law exponential law with Lambda Lambdal User Manual 37 65 SV1 e Number 2 e Comment Valve 1 e Law simple periodic test law with Lambda Lambda2 Tau Test and TO 0 SV2 e Number 3 e Comment Valve 2 e Law simple periodic test law with Lambda Lambda2 Tau Test and TO 10 S1 e Number 4 e Comment Sensor 1 e Law unavailability with Gamma Gamma Lambda Lambdal and Mu Mu2 S2 e Number 5 e Comment Sensor 2 e Law unavailability with Gamma Gamma Lambda Lambdal and Mu Mu2 S3 e Number 6 e Comment Sensor 3 e Law unavailability with Gamma Gamma Lambda Lambdal and Mu Mu2 R e Number 7 e Comment Relay e Law unavailability with Gamma 0 Lambda 10e 4 and Mu Mul SS_1 e Number 8 e Comment Sub system 1 e Law full periodic test law with Lambda Lambdal Lamb
4. a repair rate Mu and a delay Delay For non repairable components it gives the probability of not succeeding to recover the component before a delay Delay NB This law does not depend on the time it is a short version of a constant law Parameters e Mu Rate repair rate e d Duration recovery time The law is defined as follows O t p He 4 1 9 GLM GLM Asymptotic law for Albizia asymptotic exponential law This law is a variation of the IND Unavailability law It corresponds to the probability of a IND Unavailability law computed at t infinity NB This law does not depend on the time it is a short version of a constant law Parameters e Lambda Rate failure rate e Mu Rate repair rate The law is defined as follows v QU At Li 4 1 10 DOR Dormant This law has three parameters a failure rate a mean repair time and a delay In addition it does not depend on the time Parameters e Lambda Rate failure rate e MTTR Duration average repair time User Manual 34 65 e d Duration delay The law is defined as follows Ad At O t Ad Ad 1MTTR I e 4 1 11 CMT Temps de mission constant This law is a simplified case of the IND Unavailability law It corresponds to an exponential law with a fixed time given as parameter Notel This law does not depend on the time it is a short version of a constant law Note2 The parameter Q is optiona
5. E dd ee 64 UE U a E AA ENEE EEE EAA E AE EENAA EEA 64 115 GAS S MOr enini aa a a nt a R bd ere 64 E E Eii a EEA A E AA OE AA OOA A per ere N AA A E T 65 User Manual 3 65 1 Presentation of the interface 1 1 Main window of the Fault Tree module The main window is divided into several parts e Title bar The title bar shows the names of the module and file being edited e Menu bar The menu bar gives access to all the application s functions e Icon bar shortcuts The shortcut bar is an icon bar horizontal which gives faster access to the most common functions e Tool bar The tool bar vertical allows you to select the elements for modeling e Input zone A maximum amount of space has been left for the graphical input zone for creating the model e Tree A tree is hiden between input zone and tool bar It enables to walk through pages and groups of the document e Set of tables Tables are gathered in hiden tabs on the right GRIF 4 Fault Tree Module Tree1 jtr File Edit Tools Document Fault Tree Data and Computations Group Help i BBE DOM E JN aa aa o cauaa non A 1 2 Description of the Menus 1 The File menu contains the standard commands used in this type of menu open close save print etc The properties name creation date created by description version can be accessed and modified by selecting Document properties The Document statistics provide information on the model s co
6. Manual 32 65 Here is a small graph representing the different phases of the component s life TEST TEST TEST t 0 TO t T0 Ta t Tau T t 2Tau T0 operation operation operation law exp A NB This law is a simplified version of the TPC Full Periodic Test law 4 1 6 TPE Extended Periodic Test law This law allows a component which fails to be represented according to an exponential distribution law and whose failure is found during a periodic test The repair phase is then modelled by an exponential of the Mu parameter Parameters e Lambda Rate failure rate e Mu Rate repair rate when the failure has been found during a test e Tau Duration test period time interval between two consecutive tests e TO Time date of first test Here is a small graph representing the different phases of the component s life TEST TEST TEST t 0 To t T Tau Tau 10 Tau t 2Tau T operation operation operation law exp A repair repair law exp H NB This law is a simplified version of the TPC Full Periodic Test law 4 1 7 TPC Full Periodic Test law This law allows a periodically tested component to be represented as completely as possible There are many parameters in play Parameters e Lambda Rate failure rate during operation or on standby e Lambda Rate failure rate during the test e Mu Rate repair rate once the test has shown up the failure e Ta
7. SOS Computation times Automatic list of points between 0 and D Iterate From To Step Listoftimes 8760 _ Display discontinuity points Times in Hours _ Activate propagation of uncertainty Number of histones Dispersion interval at oo ta Quantiles chosen fonthetert bound quantile 0 bound quantile 90 Computation types L Birnbaum MIF C Risk Achievement Worth RAW _ Critical CIF _ Risk Reduction Worth RRW _ Fussel Vesely DIF e Target times uncertinties cf probabilities calculation e Computation type specifies the importance factors to compute e Birnbaum MIF Critical CIF e Fussel Vesely DIF e Risk Achievement Worth RAW Risk Reduction Worth RRW User Manual 45 65 2 TOTAL 7 1 2 Albizia Results The Probabily tab gathers all probability computations The top part displays the percentage of time spent in each zone if needed Then a synthesis tablea diplays minimum maximum mean average and sum If it is a computaion with propagation of uncertainties a column diplays the confidence range of the average GRIF Fault Tree Module Products SIL4 0 1E 4 WLS sae 1E 3 1E 2 ALi 1E 2 1E 1 SILO 1E 1 1 0 00045 0 366 99 5759 e_ 0 0011 0 0103 p08 gaar n CR 0 001 1 0 0103 oaoa 1 088 38 7973 momma ee E atete DO Min Max Mean sum Mean 0 1 En es 0 9473 0 9473 RevealedSafeFailure_ 0 9 0909E 2 iis 788062 8 996
8. lt guibouton gt button on table data 2 Use the contextual menu on logical entities CCF Add new CCF CHEX Ctri C A Coller et renum roter CHER m Supprimer Supprimer Positi i Aligner ot Aligner et repartir Deplacer dans une page Tro o F F F PES a oasi SOC es ae oiai oaa CE ed oasa CU RE Donea paasi Coasa SO REX CE ET Ets Cis a eee er ge ten nf yaa een nf nome en af a oana er ror pane rar Attacher une CCF existante pare D tacher les CCF _ Ajouter a la liste des l ments observes 3 2 Editing a CCF You can edit the properties of a CCF in different ways 1 Double Click on a cell of the CCF table and edit 2 Use the contextual menu on a table raw and click on Property action User Manual 29 65 Hoe fee Ok von rt commentare pc i H Enregitrer le tableau complet txt H Enregitrer le tableau filtr txt Editer Gestionnaire des colonnes vy Filtrer En Modification multiple Ajouter Dupliquer X Supprimer A configuration window opens he rerio Num ro Nom Automatique Commentaire Two types of laws are now possible for a CCF 1 The beta total law Beta parameter is applied to the laws of concerned components Singularities a A component can be concerned by several CCF using beta total law b The sum of the beta set on the CCF must be strictly less than for a component c The supported laws for a compone
9. selected click OK to validate the connection The parameter then takes the value of the item to which it is now connected Database xi a Gamma 105 Examples A Proda 1000 0 Example 4 Remove link to database OO o Cam Hp Note The button called Remove link to database at the bottom of the table breaks the link between the parameter and the database item User Manual 59 65 2 TOTAL If some of the database values to which GRIF is linked are modified the parameters connected to this database can be updated To do this select Data and computations Update from database and display the Database window Database Select all Update selection Gamma 0 68 Gamma id 3 Prod_ini 1000 0 ProdMax id 4 ProdMax 500 0 Cancel The parameters whose values are not up to date are automatically detected and indicated in bold One or more of these parameters can then be selected for updating using the Update selection button Two other buttons are available to simplify the selection process Unselect all deselects all the table s parameters and Select all selects all the table s parameters Remark you can also directly copy parameter from database using menu Data and Computation Database Copy parameters from database A window is displayed you can select parameters you want to copy into document Parameter will be automatically linked to the right paremeter in database User Manual 60 65 10 Save Here is a summary o
10. the case of WINDOWS for example this operation is performed in menu Control Panel Administration tools data source ODBC Here is an example of an EXCEL database 1D NOM VALEUR DESCRIPTION 1 Lpicomp 0 006 comment 2 Lpzcomp 0 004 comment 3 Lpscomp 0 002 comments 4 Lo4dcomp 0 001 comment 9 2 2 Connection To connect GRIF to this ODBC database go into menu Tools Application options Database A window is then displayed which must be filled in as follows GRIF 4 Fault Tree Module x org relique jdhc csv CsvOriver 18554JaGrif 4 06 0 ROTTree MoolsiDatahase TID NOM VALEUR DESCRIPTION FROM rex VARCHAR 2 MC VALEUR DESCRIPTION Test Connection CU cm mp Notes 1 sun jdbc odbc JdbcOdbcDriver is the driver name 2 jdbc odbc REX specifies that REX is the name of the ODBC link 3 The fields Connection options Login et Password are unnecessary here 4 SELECT ID NOM VALEUR DESCRIPTION FROM Feuil1 is called the query where Feuill is the name of the EXCEL sheet containing the data User Manual 58 65 2 TOTAL 9 3 Operation The aim is now to link some of the model s parameters to the database To do this start by displaying the column Linked to in the parameters table click right on the top of the columns 1 Columns manager ee Ed MLinkedto E canco Hp Then double click in the Linked to column to display the database items When one of these items has been
11. to the case where the only failure considered for the components 1s that of a refusal to change state e g Fails to start stop etc 4 1 2 EXP Exponential law This law only has a one parameter the component s failure rate Supposed to be constant over time It describes the time interval before the first failure for a non repairable component Parameters e Lambda Rate failure rate The law is defined as follows e O t l e This law is widely used since it is almost the only one to make it possible to obtain analytical results In addition it describes the lifetime of a non repairable component very well at least when there are a large number of components when the component is no longer young 4 1 3 IND Unavailability law for Albizia GLM This law describes the behaviour of a component repairable or not with or without failure to start using exponential expressions It generalises the exponential law with the Lambda parameter failure rate User Manual 31 65 Parameters e Gamma Probability probability of initial start failure at t 0 e Lambda Rate failure rate e Mu Rate repair rate The law is defined as follows O A LL _ A ut __ __ 7 Q G 5 A Ll A Ml The Gamma and Mu parameters are optional Depending on the case they can be zero e Ifthe component is not repairable set Mu to zero e If the component cannot fail to start set Gamma to z
12. with a name with the suffix copy 3 Manually manage conflict this allows you to choose whether you use the existing data or not depending on the data You can also specify the name of the copy by double clicking on the box in the destination document column The names in this column are normally masked when the Use existing check box is selected since it is the data which is already in the destination document which will be used 2 7 2 Copy Paste Renumber with shortcut The Copy Paste and Renumber command creates new instances 1 e new subtree similar to the subtree copied e Same graphical structure e Same parameters e The number and name of the events and gates change new name Evti for events and type of gate i for the gates where i is the new number e Same comments When identical transfer gates are part of the selection to be Copied Pasted and Renumbered they will then remain unchanged for the copy They shall always point to the same gate if this gate is not part included in the selection to be copied In the above example gate Orl an event Evt1 have been renumbered normally The shortcut to gate And2 has not been modified When a gate that part of a shortcut is also part of a selection hat is going to be Copied Pasted and Renumbered and if the shortcut itself is not present then the gate will be renumbered in the conventional manner SENSORS Sensor 1 fails User Manual 23 65 2 TOTA
13. 1E 2 8 9961E 2 ss ee aa eee 7760163 8859 0 885 Hide l MQ o o i aaa CC REQ HidenFailure 1 Type PR Name Sensor 1 RevealedDangerousFailure 2 L Pat lesez basez ba lo e 0776 2 emez IE aei piza see Biz o 01 os zat om2 esse 5744 b 1772 pare ese1_ o2235 o1203 1155361 o 02236 2 ozsa otas2 jrramet o Los jose aea 0 3044 0 1685 24268E1 O o30o44 0 3044 168E2 0 3401 0 1905 3 2002E1_ o 03401 19262 EC faras pars 21622 04043 0 231 49895E1 jO 0 4043 0 4043 242 pasas ox lso p ans Das 4 a E mercredi 26 janvier 2011 16 31 35 CET Exit without saving Importance factors tab displays importance factors for each events and for each system Products shows results of cuts products computations In synthesis a cut with a 0 order means that the top event is always true It may happen if some parts are forced to 1 XML tab contains Albizia output 7 2 MOCA computations The computations using MOCA RP V12 are performed in three main steps e general configuration of parameters User Manual 46 65 e the launch itself e reading the results file 7 2 1 Configuring the computations The computation configuration window can be accessed in two different ways either via menu Data and Computations Moca Data or via Data and Computations Launch Moca 12 The difference between the two is that in the second case the configuration step is directly followed by the co
14. 1jtr 5 The Fault Tree menu contains all the commands needed to produce the graphical part of the current model The vertical icon bar on the left of the application provides shortcuts for each of the Fault Tree commands cf vertical tool bar Fault Tree H Select 1 Gate And I Gate Or l Gate K Out Of H l Gate Comment O Elementary event 1 Basic event Li To be developed event 1 Home event O Negation O Link onhby one O Links many O Identical transfer gate O Repeated event I Comment O Enmamic display O Charts 6 The Data and Computations menu is divided into two parts data management creation and management of the different parameters and configuration computation launch computation time desired computation etc Data and Computations Edit Parameters Update from database Verity Launch JA ralia 2 Launch Aralia V2 Launch JA ralia 4 Aralia V4 data Launch Aralia V4 Moca data Launch Moca 12 NB The Verify function detects any errors in the model data without values equal to NaN events having the same name etc 7 The Group menu concerns the input and management of submodels grouped into independent subassemblies User Manual 6 65 The icon bar just under the menus proposes shortcuts for two of the Group commands Group Change name Ungroup 8 9 Finally the Help menu accesses the on line Help the Help topics and to About 1
15. 2 TOTAL GRIF 2012 Fault Tree Sai GRaphiques Interactifs pour la Fiabilit Tree User Manual Version 27 March 2012 Copyright 2012 Total Table of Contents L Pr sentation OF the MI TIACE soscnsieietceeiateccasicectiavcstatscideberideletieuddanwses hyesasewestodeusdesieioninensessenasees 4 1 1 Main window of the Fault Tree module 20 0 0 0 ce cece cence eee n ence eee e eee teases eases e eee eee ea teeta es 4 12 D S BOOM ol he Menus oseng a ene panel meen weet degdenntaaeses 4 SN OO DA no 7 2 C reaime a PAG CCC PP SE RE CET PR A RE OT 9 OR a utente a dicusersutcorenatcenaleenoouunanieudeeameauansac 9 Me Mg Ne UT LS Re iuseebaqesjatneueeatauecdaascue tysacoaaueegetsenseaceuoceanect 9 Dale MSU EN E casera EEE 9 Le WaT RS in 10 NO csumacnacumncaneneeneadt oncnuenacanmeenaccneecenscane omens 11 D es PA Me 1 QUO DURS AS RS aatiecetatus a t 11 2 Oy NV MONG MOTOS a ae Da a a a 11 22 COMMODE GC e E E ne ae de 12 2 241 COMPARE 13 DDD Coni OUT i he CVEN a aan ee dau tee led dt ne ei cdi 14 2 Data Edine ADS a a 15 2 il D SCHDUON Ol Unie ADRESSE 0 nd de 15 22 AO OO ADS OE 17 ys es aa OO CO nn E ee De a ee co 18 Ae Daa AO ea a eu 18 i eae Ud 06 sic Se Cl 2 eee ee error eee ree ere eee eee ers eer ee 19 De U mne SOIC Ss gece cna eoeate nee nance aternsecaneccvad einen cau enesseaneainuearene i 19 2 5 1 Identical Transfer Gates or Shortcuts on gates 21 0 cece cece cence ee ee en
16. 3 2 1 3 Entering links When the gates and events have been created they must be interconnected to establish the tree s logic There are two possible types of connections gate gt gate and gate gt event connections To make a connection proceed as follows 1 Click the corresponding icon on the vertical toolbar 2 Select the start gate by a click left on the specific zone a dot for AND gates a cross for OR gates etc and keep the button pressed Move the mouse to the element to be connected 4 Release the mouse button W Evt 1 exponential 1E 3 NB The above icon only allows a single link to be created at a time If you wish to create several links in succession without having to reselect the link creation icon each time use the icon shown below Links several User Manual 10 65 2 1 4 NOT gate It is a very specific gate which inverts the logic of the subtree which is downstream of it To insert a Negation in a tree proceed as follows e change the type of an existing gate by using the drop down list e OR create a new a new gate with the type Negation 1 Click left on the corresponding icon on the vertical toolbar 2 A new element will then be created whenever you click left on the graphical entry area 3 You then just have to configure and connect the Negation like a conventional gate link the top part above the circle to the bottom part of a gate and link the bottom part below th
17. 3 Vertical toolbar Each operating safety model has its own icons All the graphical symbols for the fault trees are shown on the vertical icon bar on the left of the data input screen Gate K Out Of H Gate Comment _ Elementary event 11 To be developed event J Negation J Link only one _ Links many _ Identical transfer gate _ Repeated event P Dynamic display The vertical toolbar contains the following items e Select selects the desired elements e AND gate to add a logic gate of the type AND represented by a flat based geometrical figure e Or gate to add a logic gate of the type OR represented by a curved based geometrical figure e K out of N to add a logic gate of the type K out of N represented by a geometrical figure with a double flat base e Comment gate to insert a block represented by a rectangle containing only comments in the model e Elementary event represented by a diamond shape User Manual 7 65 e Basic event represented by a circle e To be developed event represented by two diamond shapes one inside the other e Home event represented by a shape vaguely resembling a house e Negation represented by a small circle e Link one only to create one connection and only one between an input gate and an output gate or event e Links many to create connections between the inputs gates and the outputs gates and events e Identical transfer gate represent
18. L In the above example all of the events and gates have been renumbered normally When identical transfer gate and their corresponding original gate are included in the selection to be Copied Pasted and Renumbered then new shortcuts will be created and they will be linked to the new gates SENSORS SENSORS In the above example the gate that is linked to a shortcut has been renumbered And2 gt And4 and so its shortcut has also been modified You can navigate between an element s different shortcuts using menu Tools Navigate to shortcuts A window opens and displays the list of shortcuts Clicking on a shortcut automatically positions the view on this shortcut You can return to the original element by clicking on its name at the top of the window 2 7 3 Ordinary Copy Paste In addition to the Copy Paste and Renumber command there is an ordinary Copy Paste function It is used to make a single copy without renumbering We thus obtain double elements which from a formal viewpoint is incorrect but which must be temporarily tolerated to simplify data entry Where possible the Copy Paste and Renumber function must be used in preference to the simple Copy Paste function to minimise the risk of errors But when it is used you must take the necessary precautions to re establish the correct numbering to eliminate the duplicates 2 7 4 Overall change When creating the Fault Tree it may be necessary to change a lar
19. OnMeuning The COMPUTAHONS 24e tes desc denses ceci ienieer dite h citer tetes 47 7 22 Reading the results New GUI ee r che cite 48 1 5 Lables and Panels 10 display TOSS 2 ashire Ern E EE E EEE 49 Teade WRC SUAS e ae de a E EE e AE E 0 D 49 Td PAPO WALA EEE 49 Taai RESEP ane S en de aa ae ne EE E a D E EE en ne en 51 CE COM aa O a EE T T E 52 Te MR SU DAE eE AE A EEEE me E E EE 53 o CUNO EEE 54 8 1 Charts Edit Window cccc cece cece cece cence eenceeeceeseueeeeueeeeseeeegeeeeeeeeueseeseeeeueeueeecueeeeueeeseeeeeuaes 54 6 2 Curves front data 1 result Dank nes sienne scies atetoiaha seniors 56 Ds PDI E EE 57 D 1 Connection toa CS VIS nn nn aaa aa iaa aaa a a aai 57 L O orme CDS NEE A A EEE EE 57 ROMO COM piara A E Ea 57 9 2 Connection via a JDBC link example with ODBC connector oonssssnnsssunssssresssressssresssresssee 58 9 2 1 Form OF the dalaDase ae ose coins lice a den de esaia 58 De 2 A I CRON E A EEA E ENE E N ENE E ane 58 Die CDE O A E A E A A E 59 NO AVE ea E A S 61 OR D ees 61 DORE Re onus chee aaeced wotoae ee aecintenc mean Geet eeaae ec aeteaeeuseeneace seen ceeeseast 61 LOS WAU A sie one encenaweaunosniasdeenemiemonee 61 OR eo aes 61 CS a n 62 1i Opis OF GRIF PAUL Froe ne ad cos due sn eat on e 63 LE m 1a E E E I E N OA E ee eee E ene ene eee 63 Fe DaD Cian cannes E E O EE O ENE R O a 63 Se a A E tate 63 RO DOS E E E S 63 EEEE MMOS A E E S EN E E N E E OE N A 64 L O Dir al TOPMIAL ean E de
20. ation such as EXCEL e Prints the censored delays or not e Number of outputs during simulation If 2 outputs there will be an output at NH 2 and at NH 7 Advanced options used to configure the advanced options e You can choose the limit of transitions fired at the same time before loop detection 2 2 Reading the results New GUI Since GRIF 2010 results are displayed in a windows with many tabs and tables 7 2 2 1 Moca Results Moca results atre displayed in a window containing 6 main tabs variables places transitions XML stantard output info 7 2 2 1 1 Tab of Variables The Variables tab contains every information computed for each variable or statistical state e Value Contains every value of a variable for every type of statistic e History at the end of histories contains historical values for each computed statitic e Fixed size Histogram Contains histograms computed by Moca cf chapter about histograms e Equiprobable classes Histogram Contains histograms computed by Moca cf chapter about histograms e User defined Histogram Contains histograms computed by Moca cf chapter about histograms e Timeline Contains a timeline for each variable Times are automatically computed by Moca 7 2 2 1 2 Tab of Places It contains sojourn duration and mean mark for each place of Petri Net 7 2 2 1 3 Tab of Transitions It contains firing frequencies for each transition and firing history for each hi
21. ations oe a Graph 1 a mil ES E Curve illu Informatio Show Color Ste Heaw Cancel Help User Manual 62 65 11 Options of GRIF Fault Tree Tools Application Options menu opens a window containing the following tabs 11 1 Executables Executables tab enables to specify path to external executables e Editor path Specifies text editor path e Automatically open PDF files Specifies if PDF reports must be openned avec generation e Style sheet from XML to DocBook Style sheet allowing converting from XML report to docbook file e Style sheet from XML to HTML Style sheet allowing converting from XML report to HTML file e Style sheet from DocBook to PDF Style sheet allowing converting from docbook file to PDF file e Moca RPC path Specifies Moca version 12 path e Javaw path Path of javaw exe executable 11 2 Database Database tab enables to configure database connection e Use DataBase connection for parameters Select if database must be use e Name Database name will be put into parameter during its update It enables to know from which database parameter has been lastly updated e JDBC Driver Enter name of JDBC driver to be used sun jdbc odbc JdbcOdbcDriver oracle jdbc driver OracleDriver e Connection to database Database Url e Connection options Connection properties e Login Login to be used to connect to database e Password Password to be used to conne
22. ays reset up to an initial state without modification User Manual 52 65 7 5 Result BAnk Every GRIF computation is stored in result bank which is avalable on the right of the module Result Bank Computations default Albizia B default Moca IB Batch for Sensitivity analysis Computationt with lambda 1E 5 B Computation with lambda 5E 6 B Computation3 with lambda 1E 6 4 Frozen computation for curves B Frozen Testi 1 fal ea X e You can display a result with a double click on it There is a default result for each computation engine it is the place where standard complutation are stored Then each is a batch computation directory it contains as many results as computations aked for the batch Finally the directory contains results for curves that have been frozen User Manual 53 65 8 Curves The curves can be drawn to study the model and the results better To do this click left on the corresponding icon on the vertical task bar then draw a box This box will be the space assigned to displaying the curve s Initially it is only a white box with two axes without graduation Charts icon We must now define the curves to be drawn To do this click right on the box to display the Charts Edit window 8 1 Charts Edit window Note It is important to specify that drawing curves requires a computation to be launched which is completely independent of that accessible i
23. ce ence eeseeeeeeeeeeeneenees 19 2 5 2 Repeated events or Shortcuts on events cece cece cence eee e nent ee eee eee e ee eee eases ee eeeeeeeaeneenes 20 2 0 age and COMO Mal aCcIUCit e ane a De cle Dec le do eh 21 Dod D PA 22 2 7 1 Copy Paste Renumber without shortcut sonenssssnssennessssresseressseresssressseresseressseress 22 2 7 2 Copy Paste Renumber with shortcut ccc cece cece cence eee e eee ee ee ences eee eases eases eeeeaeneenes 23 Dede SECA MODY PAS ania biinea tens eee a eo tt ce 24 OL 24 25 DOICCHOM CAMES de ee ee tee Dates don ae et eo aie ee 25 2 7 6 Document properties Images management c ccc ce cece eee ee ec eee eee ee eens eens enseaeeseeeaenneas 25 AS TAU aa esetesancaseco wns sactbaaceeeute ta bee skates a nc de 21 25 20s GDS SE COR E E 24 2 184 Se ICCIINS conne AC ACETIC BARS a anne tee eee sc Re ea tes 27 PETA a e E E 21 2d OS A ee 2i 27 AZ Gluing Associating SraphiCS seems cer enens ss cena cresson iues este he 28 LE nes pa A eset 28 3 Help with common cause failures sccicewesenccavvercseverscusersvsssnesevswnessiiewcsavssesuseeswevsneesesuncessveseseveeseuce 29 C OC os ie E sane 29 a MONI OC po oie ge ere este ne ae E snenyeel 29 As Lows and COE LU LC PT ER E EEES 31 Al Descripuion OF the laws Le nn ces nner der EE EEEE 31 4 1 1 ALD On demand law for Albizia constant law 0 c ccc ccc cece cece ceeceeeeeeeeeeeceeeseee
24. ct to database e SQL Request Request that have to be executed to retrieve data from database e Name of ID field Name of field containing data ID e Type of ID Type of ID field INTEGER FLOAT VARCHAR 32 e Name of name field Name of field containing data name e Name of value field Name of field containing data value e Name of description field Name of field containing data description e Name of dimension field Name of field containing data dimension e Test Connection Name of field containing data description 11 3 Language Language tab enables to choice language e Language Language changes are taken into account when option windows is closed Available language are French and English 11 4 Options Options tab enables to tune application behavior e Save working document options as default options in application Save options of current doc as application default options e Application manage default options of documents Apply defaut options to current document Apply Application options to current document e Number of undo Specifies number of possible undo redo e Number of recent files Specifies number of files in recent files list User Manual 63 65 2 TOTAL e Window display Enables separate tables external or linked tables internal e Columns to be resized in tables Enables to specify the columns on which space will be taken for resizing e Use net protec
25. da Lambdal Mu Mul Tau 4380 Teta 4380 Gamma 0 Pi 10 X 0 Sigma 1 and Omega 0 SS_2 e Number 9 e Comment Sub system 2 e Law full periodic test law with Lambda Lambdal Lambda Lambdal Mu Mul Tau 4380 Teta 10 Gamma 0 Pi 10 X 0 Sigma 1 and Omega 0 The tree s logic is governed by four gates e Divl e Number 1 e Name Orl e Comment ER e Type OR e Divl e Number 2 e Name And2 e Comment VALVES e Type AND e Divl e Number 3 e Name KofN3 e Comment SENSORS e Type K out of N User Manual 38 65 e Divl e Number 4 e Name Ord e Comment Sub systems e Type OR In this example different types of more or less simple laws have been used It was produced in a short time and allowed several more or less complex components to be modelled non repairable repairable periodically tested with probability of failure on demand etc Using this tree we can now run various computations on the different gates or events unavailability computations unreliability computations etc User Manual 39 65 6 Printing For printing you have several commands at your disposal in the File menu File e The Page setup function function allows you to choose the page orientation the size of the margins etc Mise en page ET xi Papier Tale CR Source S lection automatique O
26. e circle to the top part of an event or gate 2 1 5 Entering Comments To add a comment anywhere on the chart click the pencil icon and place yourself on a point in the graphical input zone The Comment dialogue box opens where you can enter the desired comment Note Character is a reserved character it must be type twice in order to display 1 2 Comment x Mew system PNR New system amp 2 1 6 Dynamic fields It may be useful to observe the change in the different parameters of the model It is also usefull to see a result next to its corresponding system To do this use dynamic fields by selecting the corresponding icon on the vertical tool bar User Manual 11 65 2 TOTAL The dynamic fields are a type of Improved comments They can be used not only to enter words or phrases but also to insert model values or results 4data parameter name Lambda value If you want to display informations about a data of the model you must use the following syntax data type of data field used o search data value that the field must match information you want to display for the selected data We can analyze the above windows as follows I am looking for a parameter which name is lambda and I want to display its value When you type the first letters a completion system helps to type script without error If you want to display a result of the result bank the syntax is the f
27. ed Eyant Name of the event of origin Page number of the event of origin The event which has just been duplicated is now marked in dark grey whereas the duplicated event is shown in light grey The name and number of the original event s page are shown beside the shortcut User Manual 20 65 2 TOTAL The repeated event must now be inserted in the model given that at each instant its state will be equal to that of the original event NB Obviously if the original event is deleted then the duplicated event is also deleted 2 6 Page and group management The use of shortcuts allowed us to obtain two Fault Tree which have no graphical link between them They communicate only by shortcuts This can be used for example to place each subpart on a different page 1 Create a new page by clicking the corresponding icon in the icon bar or use menu Tools New Page A page number 2 is thus created 2 Return to page 1 by selecting the page using the page selector in the ideographic command bar or use menu Tools Page manager 3 Select the part to be moved 4 Open menu Tools Change page 5 Select page 2 and click OK The part selected is transferred to page 2 but it continues to communicate with page 1 via the shortcuts Note For large models the division method described above is very useful Another possibility for entering large Fault Tree is to use the Group concept This is made possible by the shortcuts a
28. ed by a triangle e Repeated event represented by a circle e Comment to add text directly to the graphic e Dynamic display to display the value of a model element e Charts to draw charts representing computations on the model User Manual 8 65 2 Creating a fault tree 2 1 Entering the tree 2 1 1 Entering gates To enter the different Gates select the corresponding symbol on the vertical toolbar A new element is then created whenever you click right on the graphical entry area Each of the model s gates has five parameters l A number These numbers are with the type the gates true identifiers those which will be used by the computation engine That is why when you wish to change the numbers of certain gates you must remember that two gates cannot have an identical number They are automatically incremented as new elements are created A name It is a parameter which is defined automatically and which cannot be modified by the user The name of each gate consists of its type followed by its number e g And1 or KofN3 A K out of N integer This field is only accessible in the case of K out of N gates It allows you to choose the value of K K equals 1 by default A comment This field adds text inside the gate This function makes the model more legible by giving the specific features of these elements A type When a gate has been created its type can be modified to one of the five t
29. eeeeeeess 31 ANd EXP 7 ES DORA AN esac eens an erueeeneean eyes 31 4 1 3 IND Unavailability law for Albizia GLM s eneeeeeeeneeaeneenes 31 ANA WBE We bulles unten ed ntau nent het tierce dos iean tite ter ces 32 4 15 FPS Simple Periodic Test lame dirinin aner dense coince EEEE 32 4 106 TPE 7 7 Extended Periodic Test TAN meee ancied 33 AAs PPC FUE Periodic Test AM ed een ec eos 33 4 1 6 NRD 7 No Recovery Betore Delay We ii aies tite oies 34 4 1 9 GLM GLM Asymptotic law for Albizia asymptotic exponential law 34 User Manual 2 65 TO D OR DOR AMA ec a E N E ENE una snus E ETEA ENE E EEA 34 4 1 11 CMT Temps de mission constant 4 44 s 35 el cles UNL Ot FAW er a a E E A EAE een AE AAE 35 A AAS NLOG Log OMAN dns aa iaa a a aaa es 35 ALII NORM ION UG US cerca cca a a a EE E TENTA E 36 4 2 Uncertainties on the parameters 24 cont veeseGersenoaentsaaehontsnascasteeesegalseascontiaassoriawarcasteeasi eds 36 S Example of a Fault Tree seccvasscsvavarcucessovovevasneeseassasssoveveonversderauavovsenseqoseesseunvansbaassovaonessoerbeouserss 37 DEEE 40 Te COMPU LU DE D EP ST EE E EE somsoustecussceveusnaset ess 42 Tek A DIAACOMPUAUONS dd encadre sean one de desert treated ei tee 42 7 1 1 COMMSUTIN S the computations ni nie ined ican eee dx bind ness encoder ententes 42 Mg PVA Oe a D ot bed sip a peo eee san die aya E T 46 2 MOC COMPOSER cdi 46 7 241 C
30. ero NB The failure to start is only taken into account at t 0 4 1 4 WBL Weibull This law has three parameters alpha beta and t0 It describes the behaviour of a component which is not repairable and which does not fail to start Its specific feature is that it takes account of the component s young and old periods Parameters e Alpha Factor scale parameter e Beta Factor form parameter e TO Time location parameter The law is defined as follows p t t O f 1 exp a The significance of this law is that new distributions can be tested by varying the beta factor e If Beta is less than 1 the failure rate decreases and the law then allows the period when the component is young to be taken into account e If Beta is greater than 1 the failure rate increases and the law then allows the component s ageing period to be taken into account e If Beta is equal to 1 the Weibull law is equivalent to the exponential law 4 1 5 TPS Simple Periodic Test law This law allows a component which fails to be represented according to an exponential distribution law and whose failure is found during a periodic test The repair is then carried out instantaneously Parameters e Lambda Rate failure rate e Tau Duration test period time interval between two consecutive tests e TO Time date of first test The law is defined as follows t 0 t t mod r i E otherwise User
31. es Multiple changes Multiple changes of Parameters Field Value Mame alue Last database RE CNT NET Items which cannot be modified are greyed The white lines indicate that the selected data does not have the same value for the field in question new value can be entered which will be taken into account for all the selected data The lines with no background colour indicate that all the selected data has the same value for this field in this example the selected data is all Float they can be changed to give a new value to all the selected data The bottom table in the data table indicates which elements in the model use the selected data The first column of this table gives the name of these elements the second indicates their location in the document page group Clicking on a line in this bottom table opens the page where the element is located and selects the element 2 3 2 Arrangement of tables As said before tables are available in Data and Computations menu In this case each table is openned in a separate window To decrease number of openned windows tables are gathered in a tabbed pane at the right of the application The pane can be hiden with the little arrows at the top of split pane User Manual 17 65 Bowe _ Filter A 31 201 D TOTAL You can chose displayed tables with a right clic on the title of the tabs 2 3 3 Table Clean
32. f all the data which can be saved from a same model 10 1 Model It is obviously possible to save and reload the models which are made To do this go into menu File Save or into File Save as La New Open Save Lave as Close Ctrl F4 amp Page layout B Print Save in RTF file 10 2 RTF File A model can also be saved in RTF format This allows the saved model to be reloaded in WORD to insert the graphical part of the model in any document To do this go into menu File Save in RTF file File Ci New Ctrl Open Ctrl 0 Save Ctrl Save as Close Ctrl F4 Page layout amp Print Ctrl F Save in RTF file Guit Ctrl Q Note There is another way to insert model in a report Select the part of the model copy it and paste it in Microsoft WORD or other software 10 3 Input data When the input data for the computation engine is generated it can be saved This type of file has the don extension These files can therefore be modified using a text editor then reloaded to launch computations on them for example This action should be made only by advanced user 10 4 Results The results file can also be saved in order to be used in EXCEL for exemple User Manual 61 65 2 TOTAL 10 5 Curves For each curve drawn the points which have been computed in CSV format can be saved This list of points can then be used to draw new curves or to perform further comput
33. ge part of the elements in the models changing the names numbers etc The Replace all function in the Edit menu allows you to perform overall changes e Use the Edit Overall changes function e Choose the type of elements to be modified among available tabs e The Find Replace part changes a character string present in one or more variable labels place labels or transition labels It is replaced by the string entered in the Replace part e The Renumber part only concerns the places It is used to change place numbers You indicate a Start number then specify a constant Step or Add a constant value to the current numbers User Manual 24 65 2 TOTAL e Click OK to return to the chart The changes are validated Note The name changes and renumbering can be done manually if the necessary precautions are taken avoiding duplicates etc You click the Future number or Future name column and enter the change Do not forget to validate it with the ENTER key GRIF 4 Fault Tree Module z Renumber Renumbe allr Renumber Renumbe allr 2 7 5 Selection change The Replace selection function is equivalent to a Replace all but only applied to the selected elements Only the selected gates and events can be replaced NB The Replace selection function does not allow the model s parameters to be replaced 2 7 6 Document properties Images management File Doucument properties menu enable to save informa
34. h curve you can specify its colour its style of points its thickness and its display options 3 Computation options allows you to configure the computation optional depending on the module used 4 Style This part deals with displaying curves Style type specifies the type of all the chart s curves line or histogram Intervals on X and Y Specifies the display interval for the X and Y axes default interval or user defined interval This last function can for example be used to zoom in on the most interesting parts of the curve The log check boxes are used to enable the logarithmic scale on the axis concerned Important 0 cannot be represented on a log scale remember to give a strictly positive starting point e g E 10 If O is given the log scale will start with an arbitrary value E 15 When domain axe deals with time you can choose time unit among hours days months years Default display is hours because it is the usualy used unit for modeling It s only available in SIL module When computation engine allows it you can display confidence range checking the checkbox With historam style a checkbox allows to do a cumulated histogram 5 Display options enables or not the Display title function displays the title of the chart and the Display generic values function displays the min max and mean values of each curve When a curve is edited its edition window contains 3 parts times used for computa
35. hen the filter is enabled its value is displayed between lt and gt The data in a column can be sorted by double clicking the header of this column The first double click will sort the data in ascending order small triangle pointing upwards The second double click on the same header will sort the column in descending order small triangle pointing downwards A table can contain many columns some columns may be unnecessary in certain cases The linked to database column is unnecessary when no database is available It is thus possible to choose the columns to be displayed and their order To do this click right on a table header or click the Columns Manager button the following window opens User Manual 16 65 Columns manager Select columns that have to be displayed and their order Last database _ Desactivate data sorting fastest ee ee You can choose the columns to be displayed by selecting or deselecting the corresponding check boxes The arrows on the right are used to move the columns up or down in the list to choose the order of the columns The Disable data sorting check box disables the data sorting This improves the application s performance with very complex models To modify data double click the box to be modified When several lines are selected using the CTRL or SHIFT keys changes can be made to all the selected data by using Multiple changes A window then opens to allow you to make these chang
36. ing Data may not be used anymore it can be used usefull to delete every unused data To facilitate removal use Data and Computations Unused data deletion menu Unused data deletion x Following data are not used in model Parameters Lambda1 Lambda2 Mu Select all Unselect all Select data you want to delete and click OK This window displays unused data Select data you realy yan to delete and click OK 2 3 4 Data creation The Parameter editor is used to create real parameters The following window is only used to choose the name of the new parameter Its value must be entered later directly in the parameter table Value User Manual 18 65 2 4 Arborescence Ed My vster E Page 1 E Grpt EJ Sub Grpt c Grp c Page 2 C Page 3 To help users to walk through the document pages groups ans sub groups a tree is available of the leaf of the application By default every element is displayed you can use Filter button in order to select elements you want to display or not You can expand or collapse a node in a recursive way with a right click on the node As explained for tables on the right you can hide the tree 2 5 Using shortcuts 2 5 1 Identical Transfer Gates or Shortcuts on gates The concept of a shortcut or repeated element was introduced in the Fault Tree module for four main reasons e To link together portions of
37. is carried out in 6 steps Select the part to be copied Click the Copy icon or use menu Edit Copy or the shortcut Ctrl C Click the Paste and Renumber icon or use menu Edit Paste and Renumber or the shortcut Ctrl R A window appears where you choose the start number for the renumbering The previously selected part is copied and the copy is selected Move the copy to the desired location AnRWN We then obtain the tree shown in the figure below e Orl and And2 gates from original tree are become Or3 and Andd for the copy e Evtl Evt2 and Evt3 events from original tree are become Evt4 Evt5 and Evt6 for the copy When copying to a new document any data conflicts are handled in the following window Data conflict Some data has same name in destination document Please manage conflict in order to paste Use data of destination document Create a copy for each data in conflict O Manually manage conflict source document Lambda Lambdat User Manual 22 65 2 TOTAL This window shows all the data which has the same name in the source document and the destination document There are three choices 1 Use data of destination document this will replace the occurrences of the data in the source document by the data with the same name in the destination document 2 Create a copy for each data in conflict this will replace the occurrences of the data in the source document by a copy
38. l Parameters e Lambda Rate failure rate e T Duration mission time e Q Probability optional law The law is defined as follows O t O l e 4 1 12 UNI Uniform law This law has two parameters and upper limit and a lower limit Parameters e a upper limit b lower limit The law is defined as follows t a b a Ot 4 1 13 NLOG Log normal law This law has two parameters the mean and the standard deviation Parameters e Mu mean e Sigma standard deviation The law is defined as follows J nt y1 o 20 j ON ft e 0 LOV 27 User Manual 35 65 4 1 14 NORM Normale This law has two parameters the mean and the standard deviation Parameters e Mu mean e Sigma standard deviation The law is defined as follows t OW And f t 0 O27 4 2 Uncertainties on the parameters For each probability law used in the model it 1s possible to introduce an uncertainty on each of the parameters There are three laws available to model them e NLOG Lognormal law e UNIF Uniform law e NORM Normal law NB Each of these laws is described in the previous subchapter Using this method it is thus possible to introduce the impact of the uncertainties on the data into the final result User Manual 36 65 5 Example of a Fault Tree Here is a fault tree modeling the behaviour of any safety system with two possible states
39. lue Lambdat 5E 4 DE 4 hame ooo mo O i Oo RE EEE ame Localization The data editing table panel is divided into 3 parts e The top part containing the buttons e The main part containing the data table e The bottom part indicating what the selected data is used for Saves the table in a text file Opens the table in a text editor that defined in the Options User Manual 15 65 DE Opens the column manager When the display selection button is pressed a click in the table leads to the selection in the input area F Displays the data filtering part FE Multiple modifications made to all the selected data ye Creates new data Bennan HA Deletes the selected data one or many Enables data filtering or not Filtrer Defines the filter to be applied to the data Filtering allows you to display only what is necessary in a table Several filtering criteria can be combined as shown below Creation of data filter x Associate tests with AND OR Add a criteria oo Select AND or OR to choose the type of association between each line filter criterion A line is a Boolean expression divided into 3 parts 1 the first is the column on which the filter is used 2 the second is the comparator 3 the third is the value to which the data will be compared If the Boolean expression is true the data will be kept displayed otherwise the data will be masked W
40. me Display name of the matching gate under identical transfer gate e Display shortcut source page Display page of the matching gate under identical transfer gate 11 9 Curves Charts tab enables to change charts drawing e Set graphics borders Add borders to charts e Set generic values borders Add borders to generic values under charts e Display grid Display grid on curves area e Display legends Display legends under curves e Drawing zone transparency Activate curves area transparency e Graphic transparency Activate charts transparency e Title size Specifies charts title font size e Generic values size Specifies generic values font size e Point size Specifies point size on curves e Coordinates size Specifies coordinates font size e Legend size Specifies legends font size User Manual 65 65
41. meters number of digits 11 7 Events Events tab enables to change gates reports display e Label size Specifies label font size e Display name Enables to display name or not e Display description Enables to display description or not e Display average probability Enables to display or not the average probability e Display probability at the end of mission Enables to display or not the probability at the end of mission e Display computation time Enables to display or not the computation time e Display law Enables to display law or not e Display CCF Enables to diplay or not commons causes failures e Use a default law Enables to use a specific law as default law e Default law Enables to define the default law to be used 11 8 Gates Shortcuts Gates Shortcuts tab enables to change gates reports display e Label size Specifies label font size e Display name Enables to display name or not e Display description Enables to display description or not e Display K N Enables to display K N or not e Display shortcut location Display the set of reports for a gate e Display average probability Enables to display or not the average probability e Display probability at the end of mission Enables to display or not the probability at the end of mission e Display computation time Enables to display or not the computation time User Manual 64 65 2 TOTAL e Display shortcut source na
42. mplexity It is also possible to access a certain number configurable of recently modified files User Manual 4 65 Save Save as Close Ctrl F4 amp Page layout Print Save in RIF file a r a Lirthiore fror oe rICMers TECEMS 2 The Edit menu contains all the commands needed to edit the model being input graphically The icon bar just under the menus proposes shortcuts for most of the Edit commands Ctrl Z Ctrl hd aj Z Ctrl C Ctrl Ctrl Paste and renumber Ctrl R i Remove Supprimer Overall change Selection change Select all Ctrl A Properties Alt Entr e 3 The Tools menu contains all the commands needed to manage the current model page management alignments options etc The icon bar just under the menus proposes shortcuts for most of the Tools commands 7 New Page Page manager Move to page Refresh fe FE A 7 ETER Pi a tl Ley Oy LA UL Ni LA 1 OR SE Esl KON ae HAE pi a be E ee He 5 ANSE MeN Align left oom Align center Bring forward za Align right send backward E align top View toolsBar HH Align middle Display state bar lp Align bottom Document options Application options Connect to a CSY file User Manual 5 65 4 The Document menu gives access to all the documents being created or modified Ctrl Fe Ctrl hil aj Fe F C BusinessJaGrif 4 08 0 RC 1iTreetlree
43. mputation In order to do fast sensibility analysis or to compare some results with different parameters it can be very usefull to do calculation one after another automatically To do this use the Data and Computation Batch computation menu Name of computation Computation 1 Computation Options Modify Modifications on the model Add modifications Remove modifications parameters gt jamban gt vame 105 parameters gt m gt vane The batch launching window is made of two part the first is for the name of the batch and the number of computations in the batch Then each computation can be set up e Name of computation for identification in results e Computation options contains every options related to this computation times types e Modifications on the model specifies modifications that will be made on the model before computation launching You can add as many modification as you want with the button Each modification is made of 4 parts 1 1 drop down menu for object type 2 1 drop down menu for the object that will be modified 3 1 drop down menu to sp cify what will be modified on this object value for a parameter law for other object 4 Then you must enter the new value in the cell The above exemple shows a batch with 2 computations the first is made with a lambda parameter with 1 0E 5 value and a mu parameter with 0 1 value After a computation the model is alw
44. mputation launch step The configuration window which opens is called General Information Title PPetrit jpp Default compute times Times or list of times separator terate From lo To brao Step 720 Computation made at t after triggering transition a General Variables Output Options Advanced Options Humber of histories 10 1strandom Humber 1 2345681Er Maximum calculation time sec 1 0 0 Automatic history duration History duration _ Multi processors computing aM _ Activate uncertainty propagation Humber of tries Total number of histories This configuration window is divided into five parts 1 Title allows you to give a title to the results file 2 Default statistics configuration defines the types of computations which will be performed by default for all the statistic states 3 Default computation times for statistic states e Iterate From A to B step C the computations will be performed for values of t ranging from A to B with a step of C e List of times the computations will be performed for the values of t given in this list lt listitem gt Computation made at by default computations are made immediatly after trantion triggering but you can do computation et t Epsilon just before triggering or at both lt listitem gt lt listitem gt Unit default times unit is hour You can choose a unit that will be used for computation times N b results
45. n 3 Choose the type of alignment Align center 4 Click left on the mouse 1 New Page Page manager Move to page are gt Refresh l l Comment j 7 Comment 7 a ue a Align left cA Align center Align right jE Align top View toolsBar EG Align middle Display state bar i align bottom Document options Application options Connect to a CSY file Similarly to align elements horizontally select the type Align middle which aligns the ordinates while keeping the abscissa constant The principle is the same as that described above 2 7 8 Multiple selection It may sometimes be useful to select several elements located in the four corners of the input zone To simplify this type of selection click on each of the desired elements one by one while holding down the Shift key on the keyboard 2 7 9 Selecting connex adjacent parts It is sometimes difficult to select an additional part of a model To simplify the selection process select a graphical element then use menu Select connex part in the Edit menu The additional part can be selected directly by clicking on the element while keeping the Control button pressed 2 7 10 Page size If during modeling the page size is insufficient it can be changed using menus Increase page size Reduce page size or Page size in the Tools menu 2 7 11 Cross hair To be able to create an ordered and legible model quickly the cross hair ca
46. n be used to align the different elements with each other but less accurately than the Align function in the Tools menu The cross hair is enabled or disabled in the Graphics tab of the Option menu User Manual 27 1 65 The following picture show how to quickly align two element of the model In order to align horizontally select Align au middle which align keeping constant abscissa 2 7 12 Gluing Associating graphics When objects are where you want you can glue a set of object by right clicking and selecting Glue This command create a group a graphical one not a hierarchical one with selected objects so that moving one moves the others 2 7 13 Line To be able to draw a line polyline or arrow the Line can be used Draw the line and edit properties of line to make an arrow User Manual 28 65 3 Help with common cause failures To facilitate the creation of model the Fault Tree module allows the creation of CCF Common Cause Failure and to link a logical entity Event Block to one or more common cause failures CCF are available in the data table There is no graphical entity associated with CCF The logical entity associated with an active CCF are graphically marked by a yellow flash J E n I i i i a ee fa E fi a 7 Fal E Erii 1E 1E Olea 7 CHA 7 awg T Awa ee CCF 1 ee CCF 1 3 1 Creating a CCF The creation of a new CCF is possible in different ways 1 click lt guibouton gt Add
47. n menu Data and computations The Charts Edit window is the same for all the GRIF modules Charts Edit Ea Charts title Charts Data List Recompute Be LA x 4 E Curve le Informati ce Color Stile can hart PIPES Black Mo point Style svete nese gt Automatic interval Interval on X begin end Log Interval on Y begin end Log Display options Display title Display generic values _ This window is divided into several parts 1 Charts Title allows you to give a title to the graphic User Manual 54 65 2 TOTAL 2 Data List This part contains a three column table listing the chart s different curves name description display curve colour curve style curve thickness Several buttons are available above this table me par Add sends you to a Curve type window to add a curve to the chart cf following chapter Edit modifies the selected curve Delete ras deletes the selected curve from the chart Up LT moves the selected curve upwards in the list Save the list of points computed for the selected curve in CSV format This export doesn t contains generic values In order to export with generic values use right click and select Separate export Down moves the selected curve downwards in the list Duplicate creates a new curve identical to the selected curve Results display in a text editor the results of the selected curve For eac
48. nd the fact that the data is global for a document This allows quite separate subparts to be created 1 Select a subpart 2 Use menu Group Group A dialogue box then opens asking for the name to be given to the group being created 3 Enter the desired name and click OK e g System 1 The group is created the subnet is replaced by a rectangle assigned with the chosen name You can also create an empty group with Group New Group menu or group tool in the left toolbar Change name Ungroup Each group can then be edited renamed or ungrouped using the commands in the Group menu The group can also be edited with a click right or using the cursor down arrow on the left of the page manager In Edit mode the submodel can then be modified as you wish When the modification is terminated you return to the previous figure by exiting group editing by menu Group Quit Group Edition or using the cursor up arrow on the left of the page manager It s also possible to choose a picture for a group by using Group Change Picture menu Note Groups can be grouped recursively User Manual 21 65 2 TOTAL 2 Data Entry Aids To simplify model creation the Fault Tree module has different data entry aids to automate time consuming operations 2 7 1 Copy Paste Renumber without shortcut To assist with the entry of the repeated parts of the Fault Tree Copy Paste and Renumber mechanisms have been provided This operation
49. ndow Set curve up se mes v 7 Vue fr _ Confidence range CE bd o Cancel Then chart is displayed in a window Value 1E2 GE BE1 TET 6E1 5E1 4E1 3E1 2E1 1E1 E 1E4 2E4 3E4 4E4 5E4 6E4 FE4 SE4 GE4 1E5 Time Type T83 Name prod Save curve into document Chart can be saved in the current document with the button at the bottom Nb when chart is in document points are no more modifiable User Manual 50 65 2 TOTAL 7 3 3 Result Panels Result panels have been created to facilitate data access in tables with many columns The aim is to make a prior filter to keep wanted data CPR Type PR Name PT indiv Time Value Average Integral 210 0 0 0 feo A T Jo CSC 7 PCC TT EFC EE 4 CE 4 GET 9 a This panel is made of a combo box in the upper left corner which enables to remove the column from the table and creates a list on the left which contains every values in the removed column When you select a value in the left list it modifies the table in order to show lines whose removed column contains the selected value The combo box in the upper right corner enables to choose which column C will be used to cut table The table will be cut in many tables each one in a tab whose title is equal to the value used to filter the C column Then C column is removed since it contains only the one value in a given tab User Manual 51 65 2 TOTAL 7 4 Batch co
50. ng the events When you click right on a gate you can modify any parameter except the name Properties x e to change the number e to enter the event name e to read and or modify the comment part e to read and or modify the law governing the event e to modify the type to one of the four available types in the drop down list e Elementary event e Basic event e To be developed event e Home event The names of these events simply have a graphical impact on the tree structure There is no impact on the logic function which will be generated to perform the computations The aim is simply to simplify re reading the fault tree The law part is configured in several steps 1 Choose the law from the twenty three available in the drop down list User Manual 14 65 2 TOTAL 2 Configure the law a drop down list of the module s parameters is available for each field to be filled in 3 Uncertainty computations can be introduced for each of the parameters with a choice of the law and of the corresponding parameters cf later on in this document a detailed description of the uncertainty computations on the parameters 1 A Law choice x E o eme 2 3 Data Editing Tables 2 3 1 Description of the Tables To create or modify data parameters variables etc tables are available in the Data and Computations menu All the GRIF 2012 data tables operate in the same manner RL ate Mame Va
51. nnection to a CSV file e connection via a JDBC link 9 1 Connection to a CSV file 9 1 1 Form of the database This type of connection is the simplest to make A CSV file has the extension csv It is a simple text file where the different fields are separated by commas tabs or semi colons It is the simplest form of database IID NOM VALEUR DESCRIPTION 1 Lplcomp 0 006 comment i 2 Lp cormnp 0 004 commente 3 Lpicormp 0 002 comments 4 Lp cornp 0 001 comment 4 9 1 2 Connection To connect GRIF to this database go into menu Tools Connection to a CSV file A dialogue box is then displayed Database Ea 18 0 RC1Treei toolsiDatabasetrex csv m l Test VALEUR DESCRIPTION Cancel This window is divided into three parts e You must initially enter the path leading to the CSV file To do this there is an explorer available button A Test function is used to check the connection e You must then enter the names of the four fields of the CSV file e Finally specify the types of separators used in the CSV file Note A CVS connection must be made with a CVS File which means generated from only one sheet of a EXCEL File User Manual 57 65 2 TOTAL 9 2 Connection via a JDBC link example with ODBC connector 9 2 1 Form of the database The database can initially be in the form of an EXCEL or ACCESS file Then using the operating system an ODBC system data source must be created In
52. nt are exponential constant and test periodic 2 The beta nuclear law The laws of the components are replaced by the law defined by the CCF Singularities a A component must be linked to only one CCF using beta nuclear law b Laws of components are no longer used c The supported laws for CCF are exponential constant and periodic test User Manual 30 65 4 Laws and uncertainties 4 1 Description of the laws A total of twenty three laws are available in the Fault Tree module Each of these laws has one or more corresponding parameters Here is a list of the different types possible e Probability value between O and 1 inclusive e Rate value greater than or equal to corresponding to a failure rate e Duration value greater than or equal to O corresponding to a duration or to a time e Factor value strictly greater than 0 e NatInt integer value greater than or equal to 0 e Boolean can take a value of 0 or 1 corresponding to an option parameter e Other any value In the remainder of this chapter the parameter types will be specified for each law 4 1 1 ALD On demand law for Albizia constant law This law has two parameters the probability q and the inconditional failure rate w of the event Whatever the time the probability of the component failing is constant Parameter e q Probability e w Inconditional failure rate The law is defined as follows O t q This law generally corresponds
53. ollowing result bank path in the bank target target result what you want to display at what time We can analyze the next picture as follows I am looking for a result which path in the bank is default Moca I want results for TS3 for available valriable and I want its value for the last time If last is replaced by time 10 we obtain value at t 10 Commentaire result bank defaul Moca targetivariable STAT TYPESavailability value last 2 2 Configuring the elements All the graphical elements can normally be edited with a double click on them or using the Edit Properties menu or using the shortcut Alt Enter User Manual 12 65 2 2 1 Configuring the gates When you click right on a gate you can modify any parameter except the name Properties x e change the number e specify the value of K if the gate is a K out of N type e read and or modify the comment part e modify the type of gate to one of the five types available in the drop down list OR gate an OR type logic gate is applied to the elements connected downstream AND gate an AND type logic is applied to the elements connected downstream K of N a K of N type logic is applied to the elements connected upstream Comment gate this gate has no effect from the logic viewpoint and is only used to comment on the branch where it is located NOT gate cf above User Manual 13 65 2 2 2 Configuri
54. on engine takes into account the discontinuity points if the option is selected e Times in The values entered are supposed to be hours The unit can be specify among hours days months years e Compute mean value through 0 t the computation engine computes the mean value of each variable to compute for each computation times e Compute integral value through 0 t the computation engine computes the integral of each variable to compute for each computation times e Activate propagation of uncertainty activate the propagtion of uncertainties and specifies parameters of computation and wanted results e Number of histories Number of histories Monte Carlo simulation that have to be made e Confidence range at specifies the percentage of resultats that will be included in the confidence range e Quantiles chosen With all results of histoires the software do a quantile computation But there are always many ways to chose bounds of an interval containing X of the results Here you can chose on the left lower bound is minimum upper bound is the quantile at X onthe right lower bound is the quantile at 100 X upper bound is the maximum and in the middle User Manual 43 65 e Probabilities specifies probabilities to compute e Probability Q e Unconditional Failure Intensity W e Conditional Failure Intensity Lambda eq e Calculation of time spent in zones for the three value aboves this enable gives
55. percentages of times spent in different intervals These intervals can be setup with the configuration button A windows is displayed for configuring intervals by default intervals are selected for SIL computations bd GRIF Fault Tree Module Probabilities fone Names of zones Probability Q Zone for PFD m UFI W Zone for PFH a cr touan tone O w J o e 7 1 1 2 Configuration of cut sets calculations Launching Albizia computation Probabilities Minimal cuts Importance factors get foo Le SSS Number of cuts Number of cuts per order List of cuts Limit order of displayed cuts ho Compute probability of products at t 8760 e Number of cuts number of minimal cuts of the system no maximum order limitation e Number of cuts per order summary of the number of cuts for each order no maximum order limitation e List of cuts list of minimal cuts of the system The maximum order can be set thanks to the Limit order of displayed cuts option User Manual 44 65 2 TOTAL e Limit order of displayed cuts specifies the maximum order of the displayed cuts Cuts with order greater than the maximum order are not displayed e Compute probability of products at t specifies which time will be used to compute probabilities of cut sets 7 1 1 3 Configuration of importance factor calculations Launching Albizia computation Probabilities Minimal cuts Importance factors reset foo r f
56. putation settings menu or via Data and Computations Launch Computation menu The difference between both is that in the second case the configuration step is directly followed by the computation launch step The configuration window which opens is called Lauching Albizia computation The configuration window is divided into 3 tabs 1 for each type ofcomputation User Manual 42 65 7 1 1 1 Configuration of probabilities computation Launching Albizia computation Ea Probabilities Minimal cuts Importance factors Computation times C Automatic list of points between 0 and O iterate From To Step Listoftimes 8760 _ Display discontinuity points Times in Hours _ Compute mean value and integral through 0 t _ Activate propagation of uncertainty Computation types Probability Q _ UFI Unconditional Failure Intensity VV _ CFI Conditional Failure Intensity Equivalent A _ Calculation of time spent in zones e Target specifies the target of the computations Two choices are possible Top for the top s of the tree and Selected node for the node currently selected in the tree e Computation times specifies the computation options e Iterate From A to B step C the computations will be performed for values of t ranging from A to B with a step of C e List of times the computations will be performed for the values of t given in this list e Display discontinuity points the computati
57. rientation Marges millim tres Portrait Gauche 25 4 Droite 25 4 Paysage Haut 25 4 Bas 25 4 Annuler Imprimante e The Print function allows you to export pdf document pages Graphics are exports in a vectorial format in order to scale its whithout deterioration BA GRIF Fault Tree Module Print whole document Print current page e Print select m CJ icons bool o _ 8 FaultTree 1 m E EventTree 1 amp Partially Selected page gt EJ graphiques o gt r Ej matrices gt _ fed SafetyLoop 1 gt C i BlocDiagram 1 r EventTree 2 xJ Print partially selected pages Printing properties m Print border lv Print filename x Print page number Print date The print window appears and user can selected pages to print and configuration e Print whole document Allows to print whole document e Print current page Allows to print the current page e Print select Allows to print the selected pages The Print partially selected pages allows you to print pages marked by a blue square e Print border Print a border on each page e Print filename Print the filename on the top left corner of each page e Print page number Print the page name and number on the bottom of each page e Print date Print the date on the top right corner of each page
58. story User Manual 48 65 2 TOTAL 7 2 2 1 4 Other tabs Other tabs display raw results XML tab contains XML output of Moca it is the file used to retrieve data This file can be used for further post threatments Standard output display the standard output of Moca available only afer computing Info tab contains usefull information about computation simulation time number of histories that have been done 7 3 Tables and Panels to display results 7 3 1 Result tables Result tables are made of data and a top part to set table up Type 153 Name failures Time C190 Standard Devi 0 0 0 17520 7 1 7215 47585E 2 1 2976 35040 E 3 4355 6 815E 2 1 8584 35040 3 4355 6 815E 2 1 8584 43800 431 7 7188E 2 21048 2 1048 2328 3136 G1320 6 018 F0080 6 9245 Columns can be sort by clicking on their header The filter icon activates a filter set up with the following window Creation of data filter x Associate tests with AND OR Add a criteria vae gt femme fl 1 When filter is activated a small is diplayed near column title Filter can be remove with button 7 3 2 Export data Values that are visible in this table can be exported in CSV file format with button User Manual 49 65 2 TOTAL Results can also be displayed with a Curve by clicking on Data used for x axe and y axe must be specified in the following wi
59. the model e To avoid graphicaly complex model and keep readability e To simplify the use of the Group function cf below e To highlight what is essential and what is not Let a fault tree contain three base events one OR gate critical event and one AND gate Sensor 1 fails Sensor 2 tails Evt Evt3 The aim here is to create a shortcut to the gate identical trasfert gate called And2 to be able to dissociate the And2 subtree from the main tree Proceed as follows 1 Delete the existing link between gate Orl and gate And2 User Manual 19 65 2 TOTAL 2 Click left on the Transfert Gate de la barre d outils verticale puis cliquer sur la porte And2 Pod 1 Page 11 Evt2 Evt3 Name of the gate of origin Page number of the gate of origin Evt2 Evt3 The name of the original gate and the page number where the original gate is located are shown beside the shortcut to gate And2 Although linked from the computational logic viewpoint the two trees are now totally graphically independent They can now be placed on different pages or in different groups cf later on in this document 2 5 2 Repeated events or Shortcuts on events From the logic viewpoint an event can have an impact on several branches of the same tree To correctly model this case this event must be duplicated To do this select the corresponding icon on the vertical toolbar then click the event to be duplicat
60. tion target of computation further information generic values that be be displayed or not under the curve Remark it s sometimes useful to refresh all charts in document Use the Tools Refresh command or press F5 or T icon User Manual 55 65 2 TOTAL 8 2 Curves from data in result bank When you click the Add button in the Data list part you reach a window for curves setup Each curve displays data stored in the result bank The following window helps users to specify how to retrieve data bs id GRIF Fault Tree Module Legends Unavailability Computation selection ue eg Frozen computation for curves Batch1 D B Computation Result to be displayed EI Gates and Events C Probability Q And EJ UFI Unconditional Failure Intensity W ave Y Axe Value Value to be displayed Minimum Maximum Mean ok cance Hem e Legend legend of the curve e Computation selection select the computation in the result bank e Result to be displayed each computation contains many results Select the one you want to be drawn e Axes When a result is selected select what must be in X Axe and what must be in Y Axe e Value to be displayed Then you can display addition informations about the result min max moyenne User Manual 56 65 9 Databases In each GRIF module a connection can be established to a database It is possible to have two different types of connections e co
61. tion about document name version comment These informations are available in General tab User Manual 25 65 Document properties File CUsersicfolleauworkspaceiGRiFoiuniBFiabiBlocFiab jod Name SystemX1E4 Version 1 3 PID V123R4 Author cfolleau Date 15 July2011 Comment Images may be very useful to represent sub system GRIF 2012 enables to save images that can be used in different parts of software groupes prototypes Images management is made in Images tab To add a new picture into document use icon A double click in File column enables to select an picture jpg gif or png A double click in Description column enables to give a name or a description to selected image Once in document picture can be linked to a groupe with Group Picture change menu Images are saved indide document pay attention to picture size Because images are inside document you have to re add picture if picture is modified erternaly User Manual 26 65 2 TOTAL 2 7 7 Alignment To improve the legibility of the model the selected elements can be aligned vertically or horizontally To do this use the Align command in the Tools menu The following figure shows how the command works For example to align selected places and transitions vertically proceed as follows 1 Select the elements places transitions comments etc to be aligned 2 Go into the Tools menu and select the Align functio
62. tion key Red Check this box only if a network key is used reg key e Manage new names to avoid name conflict Tries to avoid name conflict creating new objects whose name is unik when pasting for example e Synchronize view with tables Select objects in tables on the right when they are selected in view e Synchronize view with explorer Select objects in explorer on the left when they are selected in view e In results window display description instead of default name Enable displaying of Comment Description of objects in results window I can be better than a default name may be without meaning e Automatic cutting of imported files Automacally cuts of tree when a new file is imported xml or dag e Automatic cutting when deaper than When automatic cutting N is the number or doors after which the link is cut 11 5 Graphics Graphics tab enables to modify GUI look e Element Zoom Changes graphics size e Comment size Changes comment font size e Activate cross hair Activate cross hair which enables object alignment e Activate smoothing for texts Activate anti aliasing smoothing for texts it can slow the display e Activate smoothing for images Activate anti aliasing smoothing for images it can slow the display e Activate tooltips Activate tooltip system 11 6 Digital format Digital format tab enables to customize digits display e Display of parameters Specifies the display of para
63. u Duration test period time interval between two consecutive tests e Teta Time date of first test ignore parameter value Tau e Gamma Probability probability of failure due to starting the test ignore parameter value 0 starting the test does not cause a failure e Pi Duration duration of test ignore parameter value 0 instantaneous test e X Boolean indicator of component availability during the test 0 component unavailable during the test 1 component available ignore parameter value 1 available during the test e Sigma Probability test cover rate probability that the component failure is detected during the test ignore parameter value the test covers all the possible failures e Omega 1 Probability probability of forgetting to reconfigure after the test ignore parameter value 0 no reconfiguration problem e Omega 2 Probability probability of forgetting to reconfigure after the repairing ignore parameter value 0 no reconfiguration problem User Manual 33 65 2 TOTAL NB the ignore parameter value is the value to type if you want parameter to do not affect component availability Here is a small graph representing the different phases of the component s life TEST TEST t T0 t T0 tT t Tau T0 t Tau 710 77 operation operation operation law exp A repair repair law exp H 4 1 8 NRD No Recovery Before Delay law This law takes two parameters
64. ypes available in the drop down list A fod1 Name Rmk 2 1 2 Entering events To enter the model s Events select the corresponding symbol on the vertical toolbar A new element is then created whenever you click left on the graphical entry area Each of the model s events has five parameters L A number These numbers are with the type the events true identifiers those used by the computation engine That is why when you wish to modify the numbers of certain events you must remember that two events cannot have an identical number They are automatically incremented as new elements are created name The default name assigned to the events is Evti for the i the element created You are recommended to replace this name by something more mnemonic to increase the model s legibility A comment This field adds text inside the event This function increases the model s legibility by giving the specific features of these elements User Manual 9 65 2 TOTAL 4 Alaw This element is used to model the event s random aspect You can choose from twenty three laws which must then be configured cf detailed description of the laws later on in this document 5 A type When an event has been created its type can be modified from the four types available in the drop down list Number nae Name ite 1 ia A a Santi 1E3 Evt3 exponential 1E 3 Comment ewt 4 Eutd exponential 1E

GRIF 2012 Fault Tree User Manual - GRIF

Contents

Download Pdf Manuals

Related Search

Related Contents