GRIF 2012 Markov Graph User Manual - GRIF
Contents
1. Move to page Bring forward send backward T align top View toolsBar gt Gif Align middle Display state bar lp Align bottom Document options Application options Connect to a CSY file User Manual 5 50 4 The Document menu gives access to all the documents being created or modified Document Hext Ctrl F6 Previous Ctrl hl aj Fei F CiBusiness JaGrif 4 08 0 RC 1iMarkoviMarkovi jma 5 The Markov Graph 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 Markov Graph commands cf vertical tool bar Markov Graphs IM Select Li Transition ony one 1 Transitions many E 7 1 Comment O Dynamic display 1 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 Compute options Edit Parameters Phases chains Update from database Mark EXD Mark SMP Mark XPR one phase Mark XPR multi phases Mark XPR Plot one phase Mark XPR Plot multi phases Equivalent failure rate Equivalent failure rate multi phase NB The Verify function detects any errors in the model data without values equal to NaN states with an identica2. 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 Markov Graph is to use the Group concept This is made possible by the shortcuts and 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 User Manual 16 50 Landaa Group l Change name F2 l I Ungroup paro LUE Labo rob 001 E Gir Comment Fl Edit group 10K 2 001 ne iar O 1 Quit group edition 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 exit
3. D TOTAL GRIF 2012 Markov Graph mir a GRaphiques interactifs pour la Fiabili Markov _ _ Pa al a k AA Ma a s User Manual Version 27 March 2012 Copyright 2012 Total Table of Contents L Presentation OF the MNMLCTIACE siii di 4 1 1 Main window of the Markov Graph module cece cece cence eee c ence ence ee ee eases eeeeeeneeaeneeeeaeneeas 4 112 DESEA pool he Monus ro lat 4 ce ol AAA A D a dd ee N 7 2 Creatim Markov S oraphi sr 8 2d Pte ie Whe CLAD eosar aE e O a 8 LEL RL LE LEURS LE Le D E 8 Dole as nn a DO Ode de ie 8 a o AA an en de o di noie 9 DR OS E 10 22 Boas e Po UE oO ee 11 2 21 ia AAA re PP O o a 11 De OO ina DIS LEA O bia ne le ie one de bee tn hs ee 11 2 D Edme TaDIES e E A a E 12 2 Le AD SCPBUON OL ile ADI a a a te not ie cie 12 A O LADIES AA e e oi PUES O E UE 14 ER O AMA a oi 14 A A e E PF EE E e E E 15 Zi MIDES COMES toos rte 15 2 5 Shortcuts to the states repeated States Us 15 220 PASS CLOMO Mana Scene solos tao atico en E E 16 Dede D A papa 17 2 7 1 Copy Paste 7 Renumber without shortcut errors licita 17 2 7 2 Copy Paste Renumber with shortcut oooooococcoconcnnonconcnnoncnnoncononnononnonnononnoncnnonnnnonos 18 2 dO O O AA o nd ue 20 A e o y O 20 NG fs IE CUA CANDO isis 21 2 7 6 Document properties Images management c ccc ce cece eee ee ec eee ee eee eases eens eneeaenseeeaeneeas 21 2 Dod A E In
4. Name Localization 31 201 2 TOTAL You can chose displayed tables with a right clic on the title of the tabs 2 3 3 Table Cleaning 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 User Manual 14 50 Unused data deletion x Following data are not used in model Parameters Lambda Lambda 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 E a ay variable Parameter creation Name Lambda Domain Value 2 4 Arborescence Ei MySystem o Page 1 m 6rp1 o 3 Sub Grp1 o 3 Grp CI Page 2 CI Page 3 To help users to walk through the document pages groups ans sub groups a tree 1s 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
5. o RSS ESS ID NOM VALEUR DESCRIPTION 1 Lpicomp 0 006 comment 2 Lp lt comp 0 004 comment 3 Lpscomp 0 002 comments 4 Lp4comp 0 001 comment 8 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 Markov Graphs module org relique jdbe csy CsyvDriver jdbc religue csy WoolsiDatabase ID NOM VALEUR DESCRIPTION FROM REX MC VALEUR DESCRIPTION O x ee te 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 43 50 2 Toral 8 3 Operation The aim 1s 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 Columns manager Y Linked to Jala L JASE Then double click in the Linked to column to display the database items When one of these items has been selected click OK to validate the connection The parame
6. te M2 3 Ng prob 1 0 prob 0 0 prob 0 0 prob 0 0 eff 1 0 eff 1 0 ef 0 0 ef 0 0 Localisation 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 complexity It is also possible to access a certain number configurable of recently modified files User Manual 4 50 C5 New Open Save Save as Close Ctrl F4 Page layout Es Print Save in RTE file Fichiers r cents 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 Ctri hd aj Z Ctrl C Ctrl Ctrl G Paste and renumber Cti F I Remove Supprimer Find Replace Overall change Selection change Reverse transitions Select all Ctrl 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 0 New Page Page manager
7. 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 1s the following 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 7 Commentaire result bank default Moca target Vvariable STAT TYPES availability value last User Manual 10 50 2 TOTAL 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 2 2 1 Configuring the states When you click right on a state you can modify any one of these parameters change the name Pa 3 Properties Number 1 Name Marche Probability att 0 10 Comment Initial state ofthe system system is available and its effeciency is 1 System is available Efficiency 1 0 OK cance Hem change the number making s
8. e Number of recent files Specifies number of files in recent files list 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 Use net protection 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 10 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 10 6 Digital format Digital format tab enables to customize digits display e Display of parameters Specifies the display of parameters number of digits 10 7 States States tab enables to change state display e Display name Enables to display name
9. the tree 2 5 Shortcuts to the states repeated states The concept of a shortcut or repeated element was introduced in the Markov Graph module for four main reasons e To link together portions of 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 state be called State4 To create a shortcut to this state simply User Manual 15 50 1 select the corresponding icon on the vertical toolbar 2 click on the state to be duplicated Note when a state has been shortcut it is marked with an inner circle Although linked from the computational logic point of view the two states are now graphically completely independent They can now be placed on different pages or in different groups see further on Note obviously if the original state is deleted then its shortcut is also deleted 2 6 Page and group management The use of shortcuts allowed us to obtain two Markov Graph 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
10. Avalability Avalability of the system 1 Unavalability e Unefficiency Unefficiency of the system e Efficiency Efficiency of the system 1 Unefficiency e UFI Intensit Inconditionnel de D faillance W Use CFI t et A t User Manual 30 50 e CFI Conditional Failure Intensity Equivalent Lambda The last option activate post treatment for average and sum calculations 5 2 Tables and Panels to display results 5 2 1 Result tables Result tables are made of data and a top part to set table up Time Value Average Integral 0 1 1 0 DA E E IEE cs Columns can be sort by clicking on their header The Y filter icon activates a filter set up with the following window Creation of data filter E Associate tests with AND OR Add a criteria est Walue greater than ji When filter is activated a small is diplayed near column title Filter can be remove with button 5 2 2 Export data Values that are visible in this table can be exported in CSV file format with button User Manual 31 50 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 window 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 FE GE 5E1 4E1 3E1 2E1 1E1 o 1E4 2E4 3E4 4E4 5E4 BE4 7E4 8E4 GE4 1E5 Time Type T83
11. EEE 46 S We SCS ck te ttre EE EE OA E eg A ee A EE E OA I A A ST 47 DS NY SS AE A EAEE 47 10 Options of GRIF Markov Graph sin 48 TO dee FCA SS sins A AA A 48 Ho DDI e a E ee a A E E A E E edad 48 OS ET A E E E E EEE E nce E E E E NS tage E E E 48 OO to co 48 LO EEE 49 LOS DA OA sence decene Memcoanuednrhanetancotea 49 o e ae ee a ne er 49 LS LK ara ataco 40 A a de nd 49 User Manual 3 50 1 Presentation of the interface 1 1 Main window of the Markov Graph 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 File Edit Tools Document Markov Graphs Data and Computations Group Help modes y hs gt e e gt ai All amp ae TA E b 0 Lambda a Val a 3 4 _ Sify 2 de Sa de 3 A
12. If you wish to create several in a row without having to reselect the transition creation icon you can use the icon which is right below Transitions several It is important to note that by default the curve of the arcs is defined as follows e the arcs drawn from left to right have a convex upward shape e the arcs drawn from right to left have a convex downward shape If necessary you can then modify this property manually see further on 2 1 3 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 H Comment x Mew system User Manual 9 50 2 TOTAL 2 1 4 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 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 T Commentaire data 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
13. 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 32 50 2 TOTAL 5 2 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 Name Marche 1 1 Jr Jasa a e o e h hae o o h pege o A he o o h ee ae o eaae oOo 2 fesse o b B b e k 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 33 50 5 3 Markovian results Every result is displayed in a tab in a multifunctions table for each computation type Results of computation 2a 08 008 re E 7261 a 0 90986 arate 9661 o o y ba o b pssatet O GE CCE OT Y a sr me ooo o pa LS A 26462 TT 1 A
14. The Print function allows you to export pdf document pages Graphics are exports in a vectorial format in order to scale its whithout deterioration BE GRIF Fault Tree Module Print whole document Print current page e Print select m CJ icons bool o 8 FaultTree 1 9 Mie EventTree 1 Partially selected page Ed graphiques o y Ej matrices o _ fed SafetyLoop 1 gt i BlocDiagram 1 vw BS EventTree 2 x v Print partially selected pages Printing properties Print border K Print filename x Print page number R 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 User Manual 37 50 2 TOTAL e The Save in RTF file function initially gives access to a window called Printing properties Then to another called Inf
15. 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 24 50 3 Multi phase Markov graphs The Markov module makes it possible to implement two different markovian approaches e Ordinary modelling involving a single Markov graph single phase Markov graphs e Modelling involving several Markov graphs linked together and joined by transition matrices multi phase Markov graphs 3 1 Creation deletion of the different models In the Markov module the notions Page and Model are intimately related To simplify the management of the various graphs each one is to be represented on a different page and on one page only This is why in this module the notion of Model present in all GRIF modules is equivalent to the notion of Model Each page will contain a behavior model of the system Each phase corresponds to a specific individual and complete Markov graph To create a new phase or to delete one proceed in the same way as for the pages same icons and same menu Tools New Page Note Numbering states in a phase has no link with other phases That is why users must pay attention States of models must have the same n
16. data parameters variables etc tables are available in the Data and Computations menu All the GRIF 2012 data tables operate in the same manner Edit Parameters Mil a IR FE Mame Value Lambdat 1 5E 4 OE 4 Lambda Mu 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 1s used for Saves the table in a text file R Opens the table in a text editor that defined in the Options Opens the column manager When the display selection button is pressed a click in the table leads to the selection in the input area E T Displays the data filtering part FE Multiple modifications made to all the selected data pe Creates new data ETETE 4 Deletes the selected data one or many User Manual 12 50 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 o 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
17. di eo ie 23 220 MUNI Sole CLON estr o cemoonsmapdouatansccunen eaten den cn maneeenionteeeneeuaasaiee 23 2 SECAS conne adjacent palle riadas 23 AIN AAPP catewa sue PE PEO E e USO E 23 A AAA A Pi RE EC E a 23 2 112 Gnin ASSOCIANMS PAPAS ter riipi E ra ean E EE Na E Oaai 24 E ES E OC o PP E oO 24 3 Multi phase Markov graphs iria 25 3 1 Creation deletion of the different models onnsonnnsssnnsssseessnsrssssresssressssresssresssoresssreesseresseo 25 32 Phase Ul als LOM Se QU NC anye A a UU E E 0 25 ell CO E E A 23 le Tain Old OES a EEE EEEE E 25 4 Example Of a Markov SIDO srta 27 S COMPULAMIONS serrana ero 30 Ll Caniche COMMU OMS Se ee tono 30 5 2 Tables and Panels to display results dd esse nie dede 31 2 ie A e e E A e PE ne 31 A A e or E E ooo IA 31 Lo IR SUIS FAM Us io D ee a 33 Sa LO AAN O A TOA 34 o es A II A 35 SR o II cg A TE A T A T 36 0 MRIS acs EEE 37 Tn O1 DE SR e O E T 39 User Manual 2 50 TAL Chants OO aa 39 7 2 Curves from data in r sult Dank isssacscaussaissdersdudsseadentydersiessanicandsdateacbenicanigiersanseoessseighalenanen 41 NS MPACAWASCS PE ee 42 Sl Convecion Toa ESV Ti aan 42 SLL PORO GINS ALAS Cie ice 42 D CODEC A a ie 42 8 2 Connection via a JDBC link example with ODBC connector oooooococconcnconcnnoncononconcnnoncnnonnononos 43 2 ls OA OL he danba iria ae 43 A OM COI A 5 43 E O AO E e e ne Po E E e 44 Oy IVC A ia 46 A A en et a a EEA 46 RES 46 AMUN GANA
18. graph modelling the behaviour of any system that has five possible states work degraded A degraded B failure and repair 5TATE_2 oma 0 1 Degraded OA 10 EN 0 8 Liz 22d Pics STATE 3 oma 0 1 Degraded E OA 10 EN 05 Systen OH ow 4 0 iid EF d STATE d oma 0 0 System failed OA 0 0 HOG Name Value bag EB Rep 04166666 The above Markov graph has five states e State 1 e Number 1 e Name STATE I e Probability 0 8 e Comment System OK e Properties OK 1 0 and Eff 1 0 e State 2 e Number 2 User Manual 27 50 e Name STATE 2 e Probability 0 1 e Comment Degraded A e Properties OK 1 0 and Eff 0 8 e State 3 e Number 3 e Name STATE_3 e Probability 0 1 e Comment Degraded B e Properties OK 1 0 and Eff 0 5 e State 4 e Number 4 e Name STATE 4 e Probability O e Comment System Failed e Properties OK 0 and Eff 0 e State 5 e Number 5 e Name STATE 5 e Probability O e Comment Repair e Properties OK 0 and Eff 0 It is easy to check whether the sum of probabilities of the graph s five states is equal to 1 Indeed Proba STATE_1 Proba STATE_2 Proba STATE_3 Proba STATE_4 Proba STATE_5 0 8 0 14 0 1 0 0 1 0 The logic of the Markov graph is governed by six transitions e transition from State_1 to State_2 with rate L12 e transition from State_1 to State_3 with rate L1
19. or not e Label size Specifies label font size e Display description Enables to display description or not e Display number Enables to display number or not e Display probability Enables to display initial probability of a state e Display efficiency Enables to display efficiency of a state 10 8 Links Links tab enables to change links display e Label size Specifies label font size e Link arrow width Specifies arrow width e Link arrow height Specifies arrow height e Display formula Enable to display transition rate under transition e Transition excenticity Enable to specify excentricity of line for transition 10 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 User Manual 49 50 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 50 50
20. 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 Markov Graph 1t may be necessary to change a large 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 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
21. 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 22 50 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 function 3 Choose the type of alignment Align center 4 Click left on the mouse T S 0 New Page 1 l l I I Page manager l De b 00 ees on Move to page BW 0 0 IS amp gt Refresh eed et Align gt Align left E Zoom Align center p Bring forward E Align right x x Comment Sendbackward JT align top Comment View toolsBar EE Align middle F Display state bar Document options fp Align bottom Date 1r 0r 20 r Application options Connect to a CSY file Similarly to align elements hor
22. the ENTER key User Manual 20 50 H GRIF 4 Markoy Graphs module Presentnumber Presentname Futurmumber Futurmame 2 7 5 Selection change 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 6 Document properties Images management File Doucument properties menu enable to save information about document name version comment These informations are available in General tab User Manual 21 50 Document properties File CilisersicfolleautworspacelSRIFStmunmiBFiabiBlocFiabe bd Name System X1E4 Version 1 3 PID V123R4 Author cfolleau Date 15 July 2011 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
23. 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 When 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 Column manager Select columns that have to be displayed and their order Last database _ Desactivate data sorting fastest AI 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
24. 1 at the beginning of phase 1 1 is equal to 0 3 e in state 1 the probability of being in state 3 at the beginning of phase 1 1 is equal to 0 7 e when in state 2 the probability of being in state 3 at the beginning of phase 1 1 is equal to 1 e when in state 3 the probability of being in state 2 at the beginning of phase 1 1 is equal to 0 5 e when in state 3 the probability of being in state 1 at the beginning of phase 1 1 is equal to 0 5 e in state 4 the probability of being in state 1 at the beginning of phase 1 1 is equal to 1 It is important to note that when a same state in phase 1 points towards several states of phase 1 1 states 1 and 3 then the sum of probabilities is strictly equal to 1 In the above example for state 1 we have 0 3 0 7 1 and for state 3 0 5 0 5 1 INPUT To start with the transition matrix of all the phases of the model has no lines So you first have to generate lines using the button Note the button right next enables you to delete the selected line The line that you have created has a default configuration This default configuration specifies that state num j will be found in the state num j of the next phase whether these states exist or not with a probability equal to 1 To then modify one of the three fields in the line simply double click on the targeted element and enter the new value User Manual 26 50 4 Example of a Markov graph Here is a single phase Markov
25. 2 L13 e transition from State_1 to State_4 with rate L14 e transition from State_2 to State_4 with rate 2 L24 e transition from State_3 to State_4 with rate 3 L34 e transition from State_5 to State_1 with rate Rep Even though this model only has one phase it 1s still possible to define a transition matrix to manage the transition of this phase to itself multi phase mode For example this method can be used to model periodically tested systems Phase 1 will go round in a loop and the above transition matrix will manage the transitions that take place every 5 years that is every 43 800 hours duration of phase 1 User Manual 28 50 2 TOTAL If the system is still in a Work state after five years it will remain so for the next phase If however it is in a degraded failure or repair state highly unlikely given the value of parameter Rep then it will necessarily be in a repair state at the beginning of the next phase With the help of this simple example it is interesting to see how useful the multi phase function is Multi phase Markov graphs make it possible to model a change in behaviour of the system with respect to a recurrent and regular event For example the day night effect on maintenance the effect of seasons on repair time or the impact of periodical tests on security systems etc Using this model it is now possible to launch various computation engines to evaluate the system s efficiency for e
26. E A AS 4 AS Ll AE a A OO Ss RE ga6e2 ge EIN IN Ve a 0882 a Rs 48E2 ABACO ESA e 9752 491512 0 9741 lundi 20 juin 2011 16 20 05 CEST Fl pat witout ating User Manual 34 50 2 TOTAL 5 4 Batch computation 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 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 computa
27. 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 changes User Manual 13 50 Multiple changes Multiple changes of Parameters Field Value Mame alue SS Last database AAA AIN CA 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 Biel ES Mu 10 0114 Other
28. ame and number if they represent the same state of the system in the real life 3 2 Phase transition sequence 3 2 1 General data Once the Markov graphs relating to the various phases have been entered it is necessary to indicate how they will be linked to each other Do do this we need chaining matrixes The Matrixes tab on the right and the Data and Computations Phase transition menu is meant for this purpose PEL E Matrixes Baa a ite st Start gt festend fia omegaT The list of chaining matrix or transition matrixes is displayed in a table As every data table user can add new matrix with You can edit all matrix field at a time with the button in the last column The window is divided into four parts e The first three part let you enter ID name and Comments e The right hand part enables you to enter the transition matrix of the selected sequence 3 2 2 Transition matrices DEFINITION User Manual 25 50 2 TOTAL The function of the transition matrix of phase 1 to phase 1 1 is to specify the probability that a state j at the end of phase 1 will give a state k at the beginning of phase 1 1 To make this definition clearer here is an example of a transition matrix of a phase 1 with 4 states to a phase 1 1 with 3 states 1 3 3 1 0 2 1 1 lili Here 1s how this matrix should be read At the end of phase 1 e in state 1 the probability of being in state
29. aph Mark PR multi phase 2 E e ES El FES ES EI E Silo fe User Manual 47 50 10 Options of GRIF Markov Graph Tools Application Options menu opens a window containing the following tabs 10 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 MarkXPR path Path of Mark XPR engine e Additional point at beginning of phase at Additional point beginning of phase at e epsilon for MarkXPR This parameter is used to determine when a computation has reached its fixpoint e Automatic dtratio for MarkXPR Let GRIF choose the best dtRatio for the model e dtratio for MarkXPR Rate used by Mark XPR to choose the computation step dtRatio max rate 10 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 E
30. arts Edit Ea Charts title Charts Data List ES Recompute EX Mi x La E El Curve le Informal 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 39 50 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 E ya Add sends you to a Curve type window to add a curve to the chart cf following chapter Edit modifies the selected curve Delete A 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 each curve you can specify its colour its style of points its thickness and its display options 3 Compu
31. ding symbol on the vertical toolbar A new element is then created whenever you left click on the graphical entry area Each of the graph s states has five parameters 1 A number this number located at the centre of the circle representing the states is automatically generated and in principle you do not have to modify it It is the true identifier of the state the one that will be used by the computation engine This is why when you wish to change the number of certain states you must remember that two states cannot have an identical number no duplicates The numbers of all of the states of the graph must imperatively be consecutive Note numbers are automatically incremented as new states are created name it is just a succession of characters which can be changed at will and which does not undergo any specific verification It simply makes it easier to read and understand the model By default states do not have names An initial probability it is the probability that the system being studied will be in this state at time t 0 value necessarily found between 0 and 1 You must remember that the sum of the initial probabilities of all the states in the model must also be equal to 1 If this is not the case the computation engine will detect an error The states that have a probability that is not equal to O will be represented in brown the others will be in beige A comment this field adds text below the state This
32. function makes the model more legible by giving the specific features of the elements for example Properties a change in the value of the variables can be associated with each state Each state has two default properties that are Eff and OK prob 10 OF 1 0 ER 7 0 prob 0 0 OF 1 0 ER 0 0 prob 0 0 OF 1 0 ER 0 0 prob 0 0 OF 1 0 ER 0 0 By default the first state created is given an initial probability and efficiency variable Eff that are equal to 1 The other states are given a default initial probability and efficiency that are equal to 0 2 1 2 Entering transitions Once the various states of the system have been created they have to be interconnected by directional arcs to establish the Markov graph s logic To make these connections called Transitions simply User Manual Click on the corresponding icon on the vertical tool bar Select a start element by a left click on the circle and hold the button down drag the mouse to the arrival element release the button hh D Each of the transitions in the model is characterised by a Transition rate which is the value of the parameter of the exponential law that governs the random aspect of the represented change of state For each of the model s arcs this value appears at the centre of the curve prob 0 0 OF 1 0 ER 0 0 NB the above icon makes it possible to create only one transition at a time
33. hey will remain unchanged in the copy They will always point towards the same state 1f the latter is not part of the copy E if Uma In the above example all of the states have been renumbered The shortcut to state 4 has not been modified When a state that has been shortcut is part of the selection to be copied pasted and renumbered but the shortcut itself is not included it will be renumbered in a classical fashion In the above example all of the states have been renumbered normally State 4 has given a new state for the copy that has no particular specificity When shortcuts and their initial state are part of the selection to be copied pasted and renumbered new shortcuts will be created that will be linked to the new states User Manual 19 50 SE cr 4 se ME ee Il a a In the above example the state that has been shortcut has been renumbered 4 gt 8 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 Y ou 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
34. ing 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 2 Data Entry Aids To simplify model creation the Markov Graph 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 Markov Graph Copy Paste and Renumber mechanisms have been provided This operation 1s 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 DQ BW D n Move the copy to the desired location In the above example each one of the graph s states has been renumbered for the copy It is the only modification to have been carried out The comments the names of the states the values of the transition rates etc have not been changed User Manual 17 50 When copying to a new document any data conflicts are handled in the following window Data conflict E Some data has same name in destination document Please manage conflic
35. izontally 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 can 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 23 50 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
36. l number etc 7 The Group menu concerns the input and management of submodels grouped into independent subassemblies The icon bar just under the menus proposes shortcuts for two of the Group commands Group Change name Ungroup amp Edit group Quit group edition 8 9 Finally the Help menu accesses the on line Help the Help topics and to About User Manual 6 50 2 TOTAL 1 3 Vertical toolbar Each model used for operating safety has its own icons All of the graphical symbols for the Markov graphs are shown on the vertical icon bar on the left of the input window Markov Graphs A Select 7 States O Transition ony one O Transitions many C Repeated state 1 Comment O Enmamic display 1 Charts The vertical toolbar contains the following items e Select to select the desired elements e States represented by circles e Transitions represented by arrows with two possibilities of input one transition at a time or several transitions in a row e Repeated state to duplicate a state in order to add links between the different parts o a same model on different pages or groups e Comment to directly add text to the graphic e Dynamic display to display the value of a model element e Charts to draw curves representing computations on the model User Manual 7 50 2 Creating Markov s graph 2 1 Entering the graph 2 1 1 Entering states To enter the various States select the correspon
37. nter 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 connect 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 10 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 10 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 User Manual 48 50 2 TOTAL 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
38. 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 1 sLpecomp 0 004 commente 3 Lp3scomp O0 002 comments 4 Lp cornp 0 001 comment 4 8 1 2 Connection To connect GRIF to this database go into menu Tools Connection to a CSV file A dialogue box is then displayed ORC Markov toolsiD atahaselrex csv VALEUR DESCRIPTION This window 1s 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 42 50 2 Torat 8 2 Connection via a JDBC link example with ODBC connector 8 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 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
39. ormation And thirdly a window is displayed allowing you to choose the folder in which the RTF Printing properties xi Print border file 1s 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 E 1 Print current view _ Print current page Print whole document out 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 38 50 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 7 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 in menu Data and computations The Charts Edit window 1s the same for all the GRIF modules Ch
40. possible to save and reload the models which are made To do this go into menu File Save or into File Save as E New Open Save Lave as Close Ctrl F4 E Page layout E Print Save in RIF file Statistics of document Document properties Quit 9 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 La New Open Save Save as Close Ctrl F4 E Page layout E Print Ctrl P Save in RIF file Statistics of document Document properties Quit Ctrl G 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 9 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 User Manual 46 50 9 4 Results The results file can also be saved in order to be used in EXCEL for exemple 9 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 computations Gr
41. t in order to paste Use data of destination document Create a copy for each data in conflict O Manually manage conflict Source document Destination document Use existing Lambda A Es A dd 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 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 1s the data which 1s 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 sub graphs similar to the sub graphs copied e Same graphical structure e Same parameters e The states numbers change e Same comments User Manual 18 50 a TOTAL When repeated states are part of the selection to be copied pasted and renumbered t
42. tation 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 O 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 computation target of computation further information generic values that be be displayed or not under the cur
43. ter then takes the value of the item to which it is now connected H Database x o o ID Nameindatabase Newvalue Description 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 44 50 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 3 Database testXL5 cs _Unsetectani _ _Setect an E 2 2 2 Rep 0 0010 0 Lp4comp id 4 Lp comp 00010 ooo 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 45 50 9 Save Here is a summary of all the data which can be saved from a same model 9 1 Model It is obviously
44. tions 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 always reset up to an initial state without modification User Manual 35 50 5 5 Result BAnk Every GRIF computation is stored in result bank which is avalable on the right of the module Result Bank Computations Y defaultAlbizia 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 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 36 50 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 HE Papier Tale A Source S lection automatique y Orientation Marges millim tres Portrait Gauche 25 4 Droite 25 4 Paysage Haut 25 4 Bas 25 4 Annuler Imprimante e
45. ure not to give a number already being used by another state change the probability remembering that the sum of probabilities of all the states in the model must be strictly read and or modify the comment part specify if system is available or not specify efficiency between 0 and 1 of the sytem in this state 2 2 2 Configuring the transitions When you click right on a transition you can modify its various parameters e invert or not the eccentricity of the curve by ticking or un ticking the corresponding box e enter or modify the transition rate a RA 3 Properties Reverse exentricity Transition rate Lambd Lambda Lambda Star OK cance Hem The transition rate of an arc can take on several forms It can be e areal number e g 0 000412 e un parameter e g Lambda1 User Manual 11 50 2 TOTAL e a formula e g 2 L1 or L1 0 5 L3 or 2 L1 L2 In the case where the inputted transition rate includes a non existing parameter a window appears in which you can give 1t a value For example 1f you type NewValue in the transition rate window and that this element does not yet belong to the table of parameters the following window will appear pr ae a ee I Value of MyNewWalue 0 001 Once the value has been entered the parameter New Value can be found in the parameter table 2 3 Data Editing Tables 2 3 1 Description of the Tables To create or modify
46. ve Remark it s sometimes useful to refresh all charts in document Use the Tools Refresh command or press F5 or de icon User Manual 40 50 2 TOTAL 7 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 GRIF Markov Graphs module Legends Unavailability Computation selection Computations Y default markov Result to be displayed GJ States o 7 Probability 7 Sojourn time Ed System Y Unavailability B Unefficiency Y w X Axe Y Axe Value Value to be displayed Minimum Maximum Mean O ox a ee 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 41 50 8 Databases In each GRIF module a connection can be established to a database It is possible to have two different types of connections e connection to a CSV file e connection via a JDBC link 8 1 Connection to a CSV file 8 1 1 Form of the database This type
47. xample User Manual 29 50 5 Computations 5 1 Launching computations In Markov module you can obtain many informtions about states and system Configuration of computation 1s made in Data and computation Computation setup and launching 7 GRIF Markov Graphs module Computation times 0 iterate From lo To 87600 Step 730 O List of times Muliphases ER bel x Duration gt ext Phase chain 3 ode 760 03 matin B Modera 87600 1 Maa Probability Sojourn times _ Efficiency Unefficiency _ Availability Unavailability UFI Unconditional Failure Intensity W CFI Conditional Failure Intensity A equivalent Activate computation of average and integral This window is made of 3 parts e Computation times Iteration From A To B step C calculations are made for each value of time from A to B with a step of C List of times calculations are made for each value of time in the list separator is comma e Multiphase Using muliphase you can treat system whose behavior model is not always the same We call Phase the phase of the life of the system which is driven by a model M during a period T This table defines phases and the way to pass from one phase to another using phase chaining matrixes e Computations Probabilities to be in each state and sojourn time are always calculated You can also compute e Unavailability Unavalability of the system e
Download Pdf Manuals
Related Search