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