ITEM TOOLKIT

210 ITEM ToolKit Getting Started Guide
18. From the popup menu, select the State Parameters… option. A dialog box will appear.
19. In the dialog box, enter “both available” for the Name and check the ‘Initial State’ option, and click OK.
State parameters include the following.
• Name: a label used to identify the state. The names of each state must be unique among all the states in a Markov
model.
• Initial state probability: a value between 0 and 1, representing the probability that the system is in the specific state at
t = 0. The initial probabilities of all states in a model must add up to 1.
• Unavailability state: a flag indicating whether the state represents a system state in which the system is unavailable.
The Markov model diagram indicates states for which this option is selected by a small circle next to the state.
• Initial state: a flag indicating whether the state is the sole initial state.
Repeat the steps 17 to 19 for the remaining states with the parameters listed below.
Original Name New Name Unavailability State Initial State
S 2 Primary Failed X
S 3 Both Failed X
S 4 Standby Failed X