Принципы и методы создания надежного программного обеспечения АСУТП. 3-е изд.

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