Algorithm on generating optimal state space for reliability of computer systems

الملخص EN

The paper presents an algorithm for generating reduced state space (RSS) of computer and electronic systems in order to make the implementation of the Markov solution possible for problems in the reliability investigations.

The algorithm deals with the construction of the state space and is based on the fact that most of the states of the system are so "far" from the initial state of the system that they have very small probability of occurrence in the life time of the system.

The generating process starts with only one given state (The perfect or initial state) and then gradually expands the state space by adding new state in each step to the existing subset of states.

In each step, the probability that the system will leave this subset of states within the life time of the system is calculated and compared with a user-defined value which is the critierion of the goodness of this RSS.

The process will result in a significant reduction on the number of states considered for the further investigations.

Numerical examples demonstrate this statement.