• знати основні відомості про метод простору станів та марковські випадкові процеси;
• знати традиційну технологію розроблення дискретно-неперервної стохастичної моделі алгоритму поведінки програмно-апаратної системи, розуміти проблеми, які її супроводжують;
• знати удосконалену технологію розроблення дискретно-неперервних стохастичних моделей алгоритмів поведінки програмно-апаратних систем (концепція, порядок формування вербальної моделі, методику розроблення структурно-автоматних моделей);
• уміти визначати відповідність алгоритму поведінки об’єкта дослідження дискретно-неперервній стохастичній системі;
• уміти здійснити формування вербальної моделі об’єкта дослідження (проектування);
• уміти здійснювати розроблення структурно-автоматної моделі об’єкта дослідження (проектування);
• уміти користуватися проблемно-орієнтованим програмним засобом ASNA.

Теорія ймовірностей та випадкові процеси

Дисципліна є базовою для вивчен-ня дисципліни "Системотехнічне проектування телекомунікаційних систем та мереж". Вивченню підля-гають засоби для розв’язання задач проектування алгоритмів поведінки програмно-апаратних систем. Поведінка програмно-апаратних систем має два аспекти: функціона-льний та надійнісний. Моделювання функціональної поведінки програм-но-апаратних систем має на меті в першу чергу забезпечити можли-вість перевірки ефективності запро-понованих (придуманих) або відомих алгоритмів в умовах їх реального функціонування. Алгоритми можуть бути як детермінованими, так і адап-тивними. Надійнісна поведінка влас-тива програмно-апаратним систе-мам, які проектуються з властивістю відмовостійкості. Моделювання на-дійнісної поведінки відмовостійких програмно-апаратних систем має на меті розв’язання задач їх надійніс-ного проектування. Тобто визначен-ня додаткових засобів, які треба ввести в програмно-апаратну систе-му для забезпечення заданого зна-чення показників її надійності. Вивчення технології розпочина-ється з ознайомлення з методом простору станів на прикладі відмо-востійкої системи з однократним резервуванням. Для практичного розв’язання задач функціонального (системи масового обслуговування) та надійнісного (відмовостійкі систе-ми) проектування алгоритмів пове-дінки програмно-апаратних систем вивчається технологія моделювання, в якій автоматизовано наступні ета-пи: • розроблення моделі у вигляді графа станів і переходів; • формування і розв’язання систем диференціальних рівнянь Колмогорова-Чепмена; • визначення і представлення показників ефективності. Основна увага приділяється ви-вченню методики розроблення стру-ктурно-автоматних моделей дослі-джуваних програмно-апаратних систем (їх формалізоване представ-лення) і практичного їх застосуван-ня. Розглянута технологія моделю-вання дозволила автоматизувати процес розв’язання задач системо-технічного проектування алгоритмів поведінки програмно-апаратних систем і студент має можливість освоїти програмний засіб ASNA.

1. Волочій Б.Ю. Технологія моделювання алгоритмів поведінки інформаційних систем. – Львів: Вид-во Національного університету "Львівська політехніка", 2004. – 220 с.
2. Волочій Б.Ю., Озірковський Л.Д. Системотехнічне проектування телекомунікаційних мереж. Практикум. – Львів: Видавництво Львівської політехніки, 2012. - 128 с.
3. Федасюк, Д. В. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення / Д. В. Федасюк, С. Б. Волочій // Вісник Національного університету «Львівська політехніка» : «Комп'ютерні науки та інформа¬ційні технології». – Львів : вид-во Львівської політехніки. – 2017. ? № 864. – С. 49 - 62.

• поточний контроль: письмові звіти з лабораторних робіт, усне опитуван-ня, контрольна робота (30%);
• підсумковий контроль: контрольний захід (екзамен), письмово-усна фор-ма (70%).