У технології розроблення дискретно-неперервних стохастичних моделей відмово-
стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою
методика розроблення графу станів і переходів, в основу якої покладено структурно-
автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови
графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк-
турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але
актуальною залишається задача безпомилкового розроблення структурно-автоматної
моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій-
ких систем з альтернативними продовженнями випадкових процесів після закінчення
процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх
побудову і в якій трудомісткі процедури піддаються автоматизації.
1. Program complex Windchill Quality Solutions (formerly Relex). Available at:
ttp://www.crimsonquality.com/products/markov/. (аccessed 28.03.2016).
2. Program complex ITEM
Software. Available at: http://www.itemuk.com/markov.html. (аccessed 28.03.2016).
3. Program
complex RAM Commander − Markov Chains Module. Available at: http://www.sohar.com/
downloads/download-reliability-and-safety-software.html. (аccessed 28.03.2016).
4. Program
complex ISOGRAPH. Available at: http://www.isograph.com/software/reliability-workbench/markovanalysis/
(аccessed 31.03.2016).
5. Федасюк, Д. В. Методика розроблення структурно-
автоматних моделей дискретно-неперервних стохастичних систем [Текст] / Д. В. Федасюк,
С. Б. Волочій // Радіоелектронні та комп’ютерні системи. − Харків: Національний
аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, 2016. −
№ 6 (80). − С. 24−34.
6. Волочій Б. Ю. Технологія моделювання алгоритмів поведінки
інформаційних систем [Текст] / Б. Ю. Волочій. – Львів: Вид-во Національного університету
„Львівська політехніка”, 2004. – 220 с.
7. Fedasyuk D. Method of developing the behavior models
in form of states diagram for complex information systems [Text] / D. Fedasyuk, S. Volochiy //
Computer science and information technologies: Proceedings of the X International Scientific and
Technical Conference CSIT 2015. − Lviv, 2015. − P. 5–8.
8. Яковина В. С. Програмний модуль для
розробки моделей поведінки складних технічних систем [Текст] / В. С. Яковина, С. Б. Волочій //
Сучасні інформаційні технології в економіці, менеджменті та освіті (СІТЕМ-2012) :
Матеріали III Всеукраїнської науково-практичної конференції. − Львів, 2012. − С. 234–237.
9. Волочій Б. Ю. Системотехнічне проектування телекомунікаційних мереж. Практикум:
навчальний посібник / Б. Ю. Волочій, Л. Д. Озірковський. − Львів: Видавництво Львівської
політехніки, 2012. − 128 с.
10. Федасюк Д. В. Структурно-автоматна модель відмовостійких
систем для автоматизації використання методу фаз Ерланга [Текст] / Д. В. Федасюк,
С. Б. Волочій // Радіоелектронні та комп’ютерні системи. − Харків: Національний
аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, 2016. −
№ 3 (77). − С. 78−92.