STRUCTURAL-AUTOMATON MODEL OF FAULT-TOLERANT SYSTEMS FOR AUTOMATED USAGE OF ERLANG DISTRIBUTION

Abstract

There is a known approach of developing models of reliability of fault-tolerant radioelectronic systems as dyscrete-continuous stochastic markov systems. For that approach, there is an important problem of improving models by considering realistic distribution of durations of procedures and time intervals between events in the process. For developing state-transition models with hundreds or thousands of states, this problem becomes significant. Moreover, this problem becomes critical for reliability synthesis when it’s necessary to develop tens of state-transition models. This problem can be solved by using the approach, based on so-called “structural-automaton model”. This approach improves the analytical modeling techniques by automating the process of state-transition models development. This article describes an improvement of the process of structural-automaton model development. Presented improvement allows to automate the usage of Erlang distribution for developing the state-transition model of the statistical representation of the process of fault-tolerant systems exploitation.

Keywords

• метод фаз ерланга, структурно-автоматна модель, автоматизація розроблення графа станів і переходів, відмовостійка система.