Знання:
- здатність продемонструвати поглибленні знання основних понять і визначень теорії надійності, критеріїв надійності, законів розподілу часу до відмови;
- здатність продемонструвати глибинні знання методів аналізу надійності технічних систем;
- здатність продемонструвати поглиблені знання математичних моделей надійності програмних систем;
- здатність продемонструвати глибинні знання основних методів забезпечення і підвищення надійності техніки.
Уміння:
- застосовувати математичний апарат теорії надійності для визначення показників надійності програмних систем за експериментальними даними;
- здійснювати аналіз та дослідження надійності і ризику відновлюваних та невідновлюваних систем;
- здійснювати аналіз надійності програмно-апаратних систем складної структури.

- пререквізити: Аналітичні та чисельні методи досліджень, Методи аналізу та оптимізації складних систем
- кореквізит: Модельно-орієнтовані методи розробки програмних систем

Фундаментальні поняття і визначення теорії надійності. Проблеми аналізу надійності складних технічних систем. Математичні моделі функціонування технічних елементів і систем в сенсі їх надійності. Надійність інформаційних систем. Моделювання та аналіз надійності ПЗ. Моделі надійності ПЗ з урахуванням недосконалого відлагодження. Моделі надійності складних відмовостійких програмних систем.

1. Бобало Ю.Я., Волочій Б.Ю., Лозинський О.Ю., Мандзій Б.А., Озірковський Л.Д., Федасюк Д.В., Щербовських С.В., Яковина В.С. Математичні моделі та методи аналізу надійності радіоелектронних, електротехнічних та програмних систем: монографія. – Львів: Видавництво Львівської політехніки, 2013. – 300 с.
2. Яковина В. С. Моделі, методи та засоби аналізу надійності програмних систем : монографія / Яковина В. С., Федасюк Д. В., Сенів М. М., Нитребич О. О. – Львів : Видавництво Львівської політехніки, 2015. – 220 с.
3. Волочій Б.Ю. Технологія моделювання алгоритмів поведінки інформаційних систем. – Львів: Вид-во НУ "Львівська політехніка", 2004. – 220 с.
4. Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 2008. – 704 c.
5. Pham H. System Software Reliability. – Springer Series in Reliability Engineering, Springer London, 2007.
6. Software Reliability (https://users.ece.cmu.edu/~koopman/des_s99/sw_reliability/)
7. Michael R. Lyu, Handbook of Software Reliability Engineering, (http://www.cse.cuhk.edu.hk/~lyu/book/reliability/)

- Поточний контроль (40%): письмові звіти з лабораторних робіт, виконання індивідуального науково-дослідного завдання, усне опитування
- Підсумковий контроль (60 %, екзамен): тестування (60%)