Показана актуальность проблемы повышения надежности программного обеспечения. Приведены основные определения, перечислены факторы, влияющие на надежность ПО, рассмотрены принципы и методы проектирования, разработки
и реализации надежного ПО, даны практические рекомендации с примерами из области АСУТП АЭС. Подробно раскрыты требования, которым должно отвечать надежное ПО.
Для студентов соответствующих специальностей, а также специалистов, занимающихся разработкой ПО для критически важных объектов.