Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
The development of states-transitions model is an important stage in the technology of
the development of the discrete-continuous stochastic models of fault-tolerant systems. There
is a known method of developing the states-transitions model, which is based on an algorithm
of constructing the state-transitions models out of so-called “structural-automaton model”.
This method is implemented in a software tool prototype called “ASNA”. If structuralautomaton
model is errorless, resulting states-transitions model will be errorless as well.