states and transitions graph

The article analyses the literature sources, which investigate the existing methods and means of calculating reliability indicators of complex technical (in particular, software) systems. The reliability model of a modern complex technical system is often depicted in the form of a reliability block diagram (RBD), which may contain thousands of elements, each transitioning between different states (e.g., operational, failed, restored). This leads to a vast space of possible states in the corresponding Markov model.

The existing means of calculating reliability indicators of software systems are analyzed. It has been established that to determine the reliability indicators of software systems, it is advisable to use the structural-logical analysis of reliability block diagrams, since it clearly and most adequately reflects the process of calculating the reliability indicators of the software system as a whole and its components in particular.