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

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