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

  Повний текст PDF - 437.871 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"