Висвітлено основні поняття і визначення теорії надійності, загальну характеристику надійності ПЗ, критерії надійності невідновлюваних та відновлюваних систем, найпоширеніші в теорії надійності закони розподілу часу до відмови. Наведено методи розрахунку надійності технічних систем, розкрито характеристики надійності програмних і апаратних засобів та наведено класифікацію моделей надійності ПЗ. Ґрунтовано висвітлено моделі надійності ПЗ на основі неоднорідного пуассонового процесу, на основі недосконалого відлагодження та компонентних. Описано засоби інженерії програмних систем з урахуванням вимог до надійності ПЗ.
Посібник призначений для студентів другого (магістерського) рівня вищої освіти спеціальності «Інженерія програмного забезпечення» та фахівців, що працюють у галузі надійнісного проектування.