Рассматриваются исходные данные, основные понятия и факторы, характеристики объектов и среды, для которых должна обеспечиваться функциональная безопасность программных средств (ПС) и систем. Анализируются ресурсы необходимые для функциональной безопасности, а также причины и статистические характеристики проявления дефектов и ошибок в комплексах программ. Изложена организация и планирование разработки требований к функциональной безопасности и качеству ПС. Значительное внимание уделено технологическим процессам, разработке и документированию ПС, встроенных в системы, а также содержанию стандартов, регламентирующих обеспечение их функциональной безопасности в полном жизненном цикле. Представлены рекомендации по верификации требований к функциональной безопасности ПС, по тестированию модулей и программных компонентов, а также по квалификационному тестированию безопасных комплексов программ. Рекомендуются методы повышения функциональной безопасности путем оперативного контроля и восстановления (рестарта) компонентов ПС и систем, а также методы совершенствования и конфигурационного управления их функциональной безопасностью. Особое внимание уделено испытаниям, оцениванию и удостоверению функциональной безопасности сложных ПС при сертификации.
Книга предназначена для специалистов, обеспечивающих жизненный цикл сложных программных средств и систем, к которым предъявляются высокие требования к безопасности и надежности функционирования. Она может быть полезна исполнителям научных проектов и опытно-конструкторских работ, студентам и аспирантам, связанным с созданием сложных безопасных систем и программных средств высокого качества.