Мякишев Дмитрий Владимирович: Принципы и методы создания надежного программного обеспечения АСУТП. Учебное пособие. 3-е издание

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