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

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