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