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