Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення

Abstract

У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації.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. Therefore, there is an actual problem of developing an errorless structural-automaton model. This paper presents the method of developing the structural-automaton models of faulttolerant systems, which considers alternate outcomes of stochastic processes after completion of switching, recovering and controlling procedures. Presented method allows to develop errorless models as well as to automate laborious procedures.