E.P. Emelchenkov – Ph.D.(Phys.-Math.), Associate Professor, Smolensk State University E-mail: ypy1001@gmail.com
V.I. Munerman – Ph.D.(Eng.), Associate Professor, Department of Informatics, Smolensk State University E-mail: vimoon@gmail.com
The approach to the analysis of high availability systems (HAS) based on the use of graph invariants is considered in the article. Therefore, it is one of the most relevant. To solve the problem of increasing the reliability of HAS mathematical models are proposed, with the help of which it is possible to formalize the system, formulate and effectively solve optimization problems, with a target function that characterizes the reliability of the system. Graphs are used for the formal representation, and invariants of the graph theory for the estimation of quality. It is shown that the problem of transferring information can be solved using matrices of attainability and counter-feasibility of a graph. To solve the problem of analyzing and improving the information structure of the HAS, the number of strong components of the graph is invariant. Examples illustrating the proposed approach are given. The conclusion is made that the proposed approach makes it possible to analyze the existing HAS with the aim of modernizing the projected SVDs at the stage of prototypes in order to identify the errors that are unavoidable in the development of systems.
- Budzko V.I. Ot redaktora // Sistemy vysokoy dostupnosti. 2013. № 1. S. 4−5.
- Kristofides N. Teoriya grafov. Algoritmicheskiy podkhod: Per. s angl. M.: Mir. 1978. 432 s.
- Zykov A.A. Osnovy teorii grafov. M.: Nauka. 1987. 384 s.
- Emelchenkov E.P., Boyarinov D.A., Kozlov S.V. Informatsionnyye sistemy avtomatizirovannoy podderzhki innovatsionnoy deyatelnosti: modeli. proyektirovaniye i realizatsiya: monografiya. Smolensk: SmolGU. 2011. 164 s.