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