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

У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації.